Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture Notes in Computer Science
6559 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 Online-Ressource (VII, 173 S.) |
| ISBN: | 9783642207754 |
| DOI: | 10.1007/978-3-642-20775-4 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039131465 | ||
| 003 | DE-604 | ||
| 005 | 20111115 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 110711s2011 xx o|||| 10||| eng d | ||
| 020 | |a 9783642207754 |c Online |9 978-3-642-20775-4 | ||
| 024 | 7 | |a 10.1007/978-3-642-20775-4 |2 doi | |
| 035 | |a (OCoLC)844921382 | ||
| 035 | |a (DE-599)BVBBV039131465 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-19 |a DE-91 |a DE-739 |a DE-384 |a DE-M347 |a DE-20 |a DE-703 |a DE-355 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-706 |a DE-634 | ||
| 082 | 0 | |a 004 | |
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Functional and Constraint Logic Programming |b 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers |c Julio Mariño (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a 1 Online-Ressource (VII, 173 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6559 | |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 653 | |a Paperback / softback | ||
| 653 | |a Research | ||
| 653 | |a Abstract Interpretation | ||
| 653 | |a Abstract Machines | ||
| 653 | |a Access Control | ||
| 653 | |a Compilation | ||
| 653 | |a Concurrent Computing | ||
| 653 | |a Constraint Languages | ||
| 653 | |a Declarative Programming | ||
| 653 | |a Denotational Logic | ||
| 653 | |a Formal Semantics | ||
| 653 | |a Monadic Programming | ||
| 653 | |a Nonmonotonic Reasoning | ||
| 653 | |a Program Assertions | ||
| 653 | |a Program Semantics | ||
| 653 | |a Program Transformation | ||
| 653 | |a Term Rewriting | ||
| 653 | |a Type Systems | ||
| 653 | |a Types | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Madrid |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 2 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mariño, Julio |e Sonstige |4 oth | |
| 711 | 2 | |a WFLP |n 19 |d 2010 |c Madrid |j Sonstige |0 (DE-588)16157671-0 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-20774-7 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6559 |w (DE-604)BV014880109 |9 6559 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-20775-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024149790 | |
Datensatz im Suchindex
| _version_ | 1820875329206484992 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV039131465 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 544f DAT 706f DAT 000 |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)844921382 (DE-599)BVBBV039131465 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-20775-4 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039131465</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">110711s2011 xx o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642207754</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-20775-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-20775-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844921382</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039131465</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</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="245" ind1="1" ind2="0"><subfield code="a">Functional and Constraint Logic Programming</subfield><subfield code="b">19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers</subfield><subfield code="c">Julio Mariño (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 173 S.)</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">6559</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Abstract Interpretation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Abstract Machines</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Access Control</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Compilation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Concurrent Computing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Constraint Languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Declarative Programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Denotational Logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal Semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Monadic Programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Nonmonotonic Reasoning</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Program Assertions</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Program Semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Program Transformation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Term Rewriting</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Type Systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Types</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Madrid</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</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">Mariño, Julio</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WFLP</subfield><subfield code="n">19</subfield><subfield code="d">2010</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16157671-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-20774-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6559</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6559</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-20775-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024149790</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Madrid gnd-content |
| genre_facet | Konferenzschrift 2010 Madrid |
| id | DE-604.BV039131465 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:13:54Z |
| institution | BVB |
| institution_GND | (DE-588)16157671-0 |
| isbn | 9783642207754 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024149790 |
| oclc_num | 844921382 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-706 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-706 DE-634 |
| physical | 1 Online-Ressource (VII, 173 S.) |
| psigel | ZDB-2-LNC ZDB-2-SCS |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers Julio Mariño (ed.) Berlin [u.a.] Springer 2011 1 Online-Ressource (VII, 173 S.) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 6559 Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Paperback / softback Research Abstract Interpretation Abstract Machines Access Control Compilation Concurrent Computing Constraint Languages Declarative Programming Denotational Logic Formal Semantics Monadic Programming Nonmonotonic Reasoning Program Assertions Program Semantics Program Transformation Term Rewriting Type Systems Types (DE-588)1071861417 Konferenzschrift 2010 Madrid gnd-content Funktionale Programmierung (DE-588)4198740-8 s Logische Programmierung (DE-588)4195096-3 s Constraint-Programmierung (DE-588)4567206-4 s DE-604 Mariño, Julio Sonstige oth WFLP 19 2010 Madrid Sonstige (DE-588)16157671-0 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-20774-7 Lecture Notes in Computer Science 6559 (DE-604)BV014880109 6559 https://doi.org/10.1007/978-3-642-20775-4 Verlag Volltext |
| spellingShingle | Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers Lecture Notes in Computer Science Constraint-Programmierung (DE-588)4567206-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4567206-4 (DE-588)4195096-3 (DE-588)4198740-8 (DE-588)1071861417 |
| title | Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers |
| title_auth | Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers |
| title_exact_search | Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers |
| title_full | Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers Julio Mariño (ed.) |
| title_fullStr | Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers Julio Mariño (ed.) |
| title_full_unstemmed | Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers Julio Mariño (ed.) |
| title_short | Functional and Constraint Logic Programming |
| title_sort | functional and constraint logic programming 19th international workshop wflp 2010 madrid spain january 17 2010 revised selected papers |
| title_sub | 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; Revised Selected Papers |
| topic | Constraint-Programmierung (DE-588)4567206-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Constraint-Programmierung Logische Programmierung Funktionale Programmierung Konferenzschrift 2010 Madrid |
| url | https://doi.org/10.1007/978-3-642-20775-4 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT marinojulio functionalandconstraintlogicprogramming19thinternationalworkshopwflp2010madridspainjanuary172010revisedselectedpapers AT wflpmadrid functionalandconstraintlogicprogramming19thinternationalworkshopwflp2010madridspainjanuary172010revisedselectedpapers |