Functional and constraint logic programming: 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
5979 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VI, 178 S. graph. Darst. 24 cm |
| ISBN: | 9783642119989 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036126420 | ||
| 003 | DE-604 | ||
| 005 | 20100611 | ||
| 007 | t| | ||
| 008 | 100419s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N08 |2 dnb | ||
| 016 | 7 | |a 1000251942 |2 DE-101 | |
| 020 | |a 9783642119989 |c kart. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-11998-9 | ||
| 024 | 3 | |a 9783642119989 | |
| 028 | 5 | 2 | |a 80011076 |
| 035 | |a (OCoLC)607971239 | ||
| 035 | |a (DE-599)DNB1000251942 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.114 |2 22 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Functional and constraint logic programming |b 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers |c Santiago Escobar (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a VI, 178 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5979 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Constraint programming (Computer science) |v Congresses | |
| 650 | 4 | |a Functional programming (Computer science) |v Congresses | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Brasília |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Escobar, Santiago |e Sonstige |4 oth | |
| 711 | 2 | |a WFLP |n 18 |d 2009 |c Brasilia |j Sonstige |0 (DE-588)16062036-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5979 |w (DE-604)BV000000607 |9 5979 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3427658&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020208818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020208818 | |
Datensatz im Suchindex
| _version_ | 1820875223940988928 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED PAPERS PROGRAMMING WITH MULTIPLE PARADIGMS IN
LUA 1 ROBERTO IERUSALIMSCHY CONSTRAINT BASED STRATEGIES 13 CLAUDE
KIRCHNER, FLORENT KIRCHNER, AND HELENE KIRCHNER CONTRIBUTED PAPERS
INTEGRATING ILOG CP TECHNOLOGY INTO TOY 27 IGNACIO CASTINEIRAS AND
FERNANDO SAENZ-PEREZ TERMINATION OF CONTEXT-SENSITIVE REWRITING WITH
BUILT-IN NUMBERS AND COLLECTION DATA STRUCTURES 44 STEPHAN FALKE AND
DEEPAK KAPUR SEMANTIC LABELLING FOR PROVING TERMINATION OF COMBINATORY
REDUCTION SYSTEMS 62 MAKOTO HAMANA A TAXONOMY OF SOME RIGHT-TO-LEFT
STRING-MATCHING ALGORITHMS 79 MANUEL HERNANDEZ TYPE CHECKING AND
INFERENCE ARE EQUIVALENT IN LAMBDA CALCULI WITH EXISTENTIAL TYPES 96
YUKI KATO AND KOJI NAKAZAWA FAST AND ACCURATE STRONG TERMINATION
ANALYSIS WITH AN APPLICATION TO PARTIAL EVALUATION ILL MICHAEL LEUSCHEL,
SALVADOR TAMARIT, AND GERMAN VIDAL NEW RESULTS ON TYPE SYSTEMS FOR
FUNCTIONAL LOGIC PROGRAMMING 128 FRANCISCO J. LOPEZ-FRAGUAS, ENRIQUE
MARTIN-MARTIN, AND JUAN RODRIGUEZ-HORTALA A SIMPLE REGION INFERENCE
ALGORITHM FOR A FIRST-ORDER FUNCTIONAL LANGUAGE 145 MANUEL MONTENEGRO,
RICARDO PENA, AND CLARA SEGURA A BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1000251942 DIGITALISIERT DURCH |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036126420 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 544f DAT 706f |
| ctrlnum | (OCoLC)607971239 (DE-599)DNB1000251942 |
| dewey-full | 005.114 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.114 |
| dewey-search | 005.114 |
| dewey-sort | 15.114 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| 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">BV036126420</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100611</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100419s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1000251942</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642119989</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-11998-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642119989</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80011076</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)607971239</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1000251942</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-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.114</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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="245" ind1="1" ind2="0"><subfield code="a">Functional and constraint logic programming</subfield><subfield code="b">18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers</subfield><subfield code="c">Santiago Escobar (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 178 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">5979</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Brasília</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Escobar, Santiago</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">18</subfield><subfield code="d">2009</subfield><subfield code="c">Brasilia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16062036-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5979</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5979</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3427658&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=020208818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020208818</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Brasília gnd-content |
| genre_facet | Konferenzschrift 2009 Brasília |
| id | DE-604.BV036126420 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:13Z |
| institution | BVB |
| institution_GND | (DE-588)16062036-3 |
| isbn | 9783642119989 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020208818 |
| oclc_num | 607971239 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | VI, 178 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers Santiago Escobar (ed.) Berlin [u.a.] Springer 2010 VI, 178 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5979 Literaturangaben Constraint programming (Computer science) Congresses Functional programming (Computer science) Congresses Logic programming Congresses 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 (DE-588)1071861417 Konferenzschrift 2009 Brasília gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 Logische Programmierung (DE-588)4195096-3 s Constraint-Programmierung (DE-588)4567206-4 s Escobar, Santiago Sonstige oth WFLP 18 2009 Brasilia Sonstige (DE-588)16062036-3 oth Lecture notes in computer science 5979 (DE-604)BV000000607 5979 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3427658&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020208818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers Lecture notes in computer science Constraint programming (Computer science) Congresses Functional programming (Computer science) Congresses Logic programming Congresses 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 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers |
| title_auth | Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers |
| title_exact_search | Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers |
| title_full | Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers Santiago Escobar (ed.) |
| title_fullStr | Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers Santiago Escobar (ed.) |
| title_full_unstemmed | Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers Santiago Escobar (ed.) |
| title_short | Functional and constraint logic programming |
| title_sort | functional and constraint logic programming 18th international workshop wflp 2009 brasilia brazil june 28 2009 revised selected papers |
| title_sub | 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers |
| topic | Constraint programming (Computer science) Congresses Functional programming (Computer science) Congresses Logic programming Congresses Constraint-Programmierung (DE-588)4567206-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Constraint programming (Computer science) Congresses Functional programming (Computer science) Congresses Logic programming Congresses Constraint-Programmierung Logische Programmierung Funktionale Programmierung Konferenzschrift 2009 Brasília |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3427658&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020208818&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT escobarsantiago functionalandconstraintlogicprogramming18thinternationalworkshopwflp2009brasiliabraziljune282009revisedselectedpapers AT wflpbrasilia functionalandconstraintlogicprogramming18thinternationalworkshopwflp2009brasiliabraziljune282009revisedselectedpapers |