Practical aspects of declarative languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture Notes in Computer Science
9585 |
| Schlagworte: | |
| Online-Zugang: | HTW01 TUM01 UBR01 UBY01 Volltext Abstract |
| Beschreibung: | 1 Online Ressource (X, 187 Seiten) Illustrationen |
| ISBN: | 9783319282282 9783319282275 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-28228-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043408058 | ||
| 003 | DE-604 | ||
| 005 | 20170418 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160225s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319282282 |c Online |9 978-3-319-28228-2 | ||
| 020 | |a 9783319282275 |c Print |9 978-3-319-28227-5 | ||
| 024 | 7 | |a 10.1007/978-3-319-28228-2 |2 doi | |
| 035 | |a (OCoLC)936803426 | ||
| 035 | |a (DE-599)BVBBV043408058 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-861 |a DE-523 | ||
| 082 | 0 | |a 005.13 |2 23 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 111 | 2 | |a PADL |n 18. |d 2016 |c St. Petersburg, Fl. |j Verfasser |0 (DE-588)1081566221 |4 aut | |
| 245 | 1 | 0 | |a Practical aspects of declarative languages |b 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings |c edited by Marco Gavanelli, John Reppy |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online Ressource (X, 187 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v Volume 9585 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 18.01.2016-19.01.2016 |z St. Petersburg, Fl. |2 gnd-content | |
| 689 | 0 | 0 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gavanelli, Marco |d 1971- |0 (DE-588)1077077629 |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9585 |w (DE-604)BV014880109 |9 9585 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-28228-2 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028826404 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-28228-2 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l TUM01 |u https://doi.org/10.1007/978-3-319-28228-2 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-28228-2 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l UBY01 |u https://doi.org/10.1007/978-3-319-28228-2 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175996376580096 |
|---|---|
| adam_text | PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
/
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 18TH INTERNATIONAL
SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2016, HELD
IN ST. PETERSBURG, FL, USA, IN JANUARY 2016. THE 11 REVISED PAPERS
PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 17 INITIAL
SUBMISSIONS FOR INCLUSION IN THE BOOK. PADL IS A FORUM FOR RESEARCHERS
AND PRACTITIONERS TO PRESENT ORIGINAL WORK EMPHASIZING NOVEL
APPLICATIONS AND IMPLEMENTATION TECHNIQUES FOR ALL FORMS OF DECLARATIVE
CONCEPTS, INCLUDING, FUNCTIONAL, LOGIC, CONSTRAINTS, ETC
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Gavanelli, Marco 1971- |
| author2_role | edt |
| author2_variant | m g mg |
| author_GND | (DE-588)1077077629 |
| author_corporate | PADL St. Petersburg, Fl |
| author_corporate_role | aut |
| author_facet | Gavanelli, Marco 1971- PADL St. Petersburg, Fl |
| author_sort | PADL St. Petersburg, Fl |
| building | Verbundindex |
| bvnumber | BV043408058 |
| classification_tum | DAT 706f DAT 000 DAT 350f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)936803426 (DE-599)BVBBV043408058 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-28228-2 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03271nmm a2200697zcb4500</leader><controlfield tag="001">BV043408058</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170418 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160225s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319282282</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-28228-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319282275</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-28227-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-28228-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)936803426</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043408058</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">PADL</subfield><subfield code="n">18.</subfield><subfield code="d">2016</subfield><subfield code="c">St. Petersburg, Fl.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1081566221</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical aspects of declarative languages</subfield><subfield code="b">18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings</subfield><subfield code="c">edited by Marco Gavanelli, John Reppy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (X, 187 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">Volume 9585</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">18.01.2016-19.01.2016</subfield><subfield code="z">St. Petersburg, Fl.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gavanelli, Marco</subfield><subfield code="d">1971-</subfield><subfield code="0">(DE-588)1077077629</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9585</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9585</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-28228-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028826404</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-28228-2</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">TUM01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-28228-2</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-28228-2</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">UBY01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-28228-2</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)1071861417 Konferenzschrift 18.01.2016-19.01.2016 St. Petersburg, Fl. gnd-content |
| genre_facet | Konferenzschrift Konferenzschrift 18.01.2016-19.01.2016 St. Petersburg, Fl. |
| id | DE-604.BV043408058 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:25:09Z |
| institution | BVB |
| institution_GND | (DE-588)1081566221 |
| isbn | 9783319282282 9783319282275 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028826404 |
| oclc_num | 936803426 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| physical | 1 Online Ressource (X, 187 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | PADL 18. 2016 St. Petersburg, Fl. Verfasser (DE-588)1081566221 aut Practical aspects of declarative languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings edited by Marco Gavanelli, John Reppy Cham Springer [2016] © 2016 1 Online Ressource (X, 187 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science Volume 9585 0302-9743 Computer science Computer programming Software engineering Programming languages (Electronic computers) Algorithms Computer logic Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Informatik Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)1071861417 Konferenzschrift 18.01.2016-19.01.2016 St. Petersburg, Fl. gnd-content Deklarative Programmiersprache (DE-588)4293502-7 s DE-604 Gavanelli, Marco 1971- (DE-588)1077077629 edt Lecture Notes in Computer Science 9585 (DE-604)BV014880109 9585 https://doi.org/10.1007/978-3-319-28228-2 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Practical aspects of declarative languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings Lecture Notes in Computer Science Computer science Computer programming Software engineering Programming languages (Electronic computers) Algorithms Computer logic Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Informatik Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| subject_GND | (DE-588)4293502-7 (DE-588)1071861417 |
| title | Practical aspects of declarative languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings |
| title_auth | Practical aspects of declarative languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings |
| title_exact_search | Practical aspects of declarative languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings |
| title_full | Practical aspects of declarative languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings edited by Marco Gavanelli, John Reppy |
| title_fullStr | Practical aspects of declarative languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings edited by Marco Gavanelli, John Reppy |
| title_full_unstemmed | Practical aspects of declarative languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings edited by Marco Gavanelli, John Reppy |
| title_short | Practical aspects of declarative languages |
| title_sort | practical aspects of declarative languages 18th international symposium padl 2016 st petersburg fl usa january 18 19 2016 proceedings |
| title_sub | 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings |
| topic | Computer science Computer programming Software engineering Programming languages (Electronic computers) Algorithms Computer logic Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Informatik Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| topic_facet | Computer science Computer programming Software engineering Programming languages (Electronic computers) Algorithms Computer logic Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Informatik Deklarative Programmiersprache Konferenzschrift Konferenzschrift 18.01.2016-19.01.2016 St. Petersburg, Fl. |
| url | https://doi.org/10.1007/978-3-319-28228-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT padlstpetersburgfl practicalaspectsofdeclarativelanguages18thinternationalsymposiumpadl2016stpetersburgflusajanuary18192016proceedings AT gavanellimarco practicalaspectsofdeclarativelanguages18thinternationalsymposiumpadl2016stpetersburgflusajanuary18192016proceedings |