Logic, language, information, and computation: 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6642 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | X, 309 S. |
| ISBN: | 9783642209192 364220919X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037400830 | ||
| 003 | DE-604 | ||
| 005 | 20110803 | ||
| 007 | t| | ||
| 008 | 110516s2011 xx |||| 10||| eng d | ||
| 015 | |a 11,N15 |2 dnb | ||
| 016 | 7 | |a 1010922513 |2 DE-101 | |
| 020 | |a 9783642209192 |c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) |9 978-3-642-20919-2 | ||
| 020 | |a 364220919X |c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) |9 3-642-20919-X | ||
| 024 | 3 | |a 9783642209192 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80062308 |
| 035 | |a (OCoLC)725083709 | ||
| 035 | |a (DE-599)DNB1010922513 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a DAT 710f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logic, language, information, and computation |b 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings |c Lev D. Beklemishev ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a X, 309 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6642 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Grammatik |0 (DE-588)4154991-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Syntax |0 (DE-588)4312653-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Natürliche Sprache |0 (DE-588)4041354-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Brasília |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Philadelphia Pa. |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 1 | 1 | |a Formale Syntax |0 (DE-588)4312653-4 |D s |
| 689 | 1 | 2 | |a Formale Grammatik |0 (DE-588)4154991-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 3 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Beklemishev, Lev D. |d 1967- |e Sonstige |0 (DE-588)1024952835 |4 oth | |
| 711 | 2 | |a WoLLIC |n 18 |d 2011 |c Philadelphia, Pa. |j Sonstige |0 (DE-588)16156828-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6642 |w (DE-604)BV000000607 |9 6642 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3710638&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=022553520&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022553520 | |
Datensatz im Suchindex
| _version_ | 1820875315770032128 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
SECTION 1: INVITED TALKS
STREAMING STRING TRANSDUCERS 1
RAJEEV ALUR
UNIFICATION IN LOGIC 2
ROSALIE IEMHOFF
A SYMBOLIC LOGIC WITH EXACT BOUNDS FOR CRYPTOGRAPHIC PROTOCOLS 3 JOHN C.
MITCHELL
UNIVALENT FOUNDATIONS OF MATHEMATICS 4
VLADIMIR VOEVODSKY
RELATIONAL CONCEPTS AND THE LOGIC OF RECIPROCITY 5
YOAD WINTER
LOGIC IN THE TIME OF WWW: AN OWL VIEW 6
MICHAEL ZAKHARYASCHEV
SECTION 2: CONTRIBUTED PAPERS
A COMPLEXITY QUESTION IN JUSTIFICATION LOGIC 8
ANTONIS ACHILLEOS
BASIC MODEL THEORY FOR MEMORY LOGICS 20
CARLOS ARECES, FACUNDO CARREIRO, SANTIAGO FIGUEIRA, AND SERGIO MERA
PARTIAL REALIZATION IN DYNAMIC JUSTIFICATION LOGIC 35
SAMUEL BUCHELI, ROMAN KUZNETS, AND THOMAS STUDER
HOARE LOGIC FOR HIGHER ORDER STORE USING SIMPLE SEMANTICS 52 NATHANIEL
CHARLTON
NOMINAL LAWVERE THEORIES 67
RANALD CLOUSTON
TURING MACHINES ON CAYLEY GRAPHS 84
AUBREY DA CUNHA
INFORMATION FLOW ON DIRECTED ACYCLIC GRAPHS 95
MICHAEL DONDERS, SARA MINER MORE, AND PAVEL NAUMOV
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010922513
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
THE BOYCE-CODD-HEATH NORMAL FORM FOR SQL 110
FLAVIO FERRAROTTI, SVEN HARTMANN, HENNING KOEHLER, SEBASTIAN LINK, AND
MILLIST VINCENT
HYBRID LOGICS AND NP GRAPH PROPERTIES 123
FRANCICLEBER MARTINS FERREIRA, CIBELE MATOS FREIRE, MARIO R.F.
BENEVIDES, LUIS MENASCHE SCHECHTER, AND ANA TERESA MARTINS
ON THE EXPRESSIVE POWER OF IF-LOGIC WITH CLASSICAL NEGATION 135 SANTIAGO
FIGUEIRA, DANIEL GORKI, AND RAFAEL GRIMSON
CONCURRENT LOGIC GAMES ON PARTIAL ORDERS 146
JULIAN GUTIERREZ
DYNAMIC EPISTEMIC ALGEBRA WITH POST-CONDITIONS TO REASON ABOUT ROBOT
NAVIGATION 161
ALEXANDER HORN
UNTESTABLE PROPERTIES IN THE KAHR-MOORE-WANG CLASS 176
CHARLES JORDAN AND THOMAS ZEUGMANN
CHARACTERIZING DEFINABILITY OF SECOND-ORDER GENERALIZED QUANTIFIERS . .
. 187 JUHA KONTINEN AND JAKUB SZYMANIK
COUNTABLE VERSION OF OMEGA-RULE 201
GRIGORI MINTS
DECOMPOSING THE LATTICE OF MEANINGLESS SETS IN THE INFINITARY LAMBDA
CALCULUS 210
PAULA SEVERI AND FER-JAN DE VRIES
STRONG NORMALIZATION AND CONFLUENCE FOR REFLEXIVE COMBINATORY LOGIC 228
DANIYAR S. SHAMKANOV
ON POLYMORPHIC TYPES OF UNTYPED TERMS 239
RICK STATMAN
QUERYING THE FRAGMENTS OF ENGLISH 257
CAMILO THOME
STRONG PARACONSISTENCY BY SEPARATING COMPOSITION AND DECOMPOSITION IN
CLASSICAL LOGIC 272
PETER VERDEE
HOW MUCH EXPRESSIVE POWER IS NEEDED FOR NATURAL LANGUAGE TEMPORAL
INDEXICALITY? 293
IGOR YANOVICH
AUTHOR INDEX 311 |
| any_adam_object | 1 |
| author_GND | (DE-588)1024952835 |
| building | Verbundindex |
| bvnumber | BV037400830 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 710f DAT 540f |
| ctrlnum | (OCoLC)725083709 (DE-599)DNB1010922513 |
| dewey-full | 004.015113 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004.015113 005.131 |
| dewey-search | 004.015113 005.131 |
| dewey-sort | 14.015113 |
| 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">BV037400830</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110803</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110516s2011 xx |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N15</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1010922513</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642209192</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-20919-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364220919X</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">3-642-20919-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642209192</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80062308</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725083709</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1010922513</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 710f</subfield><subfield code="2">stub</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, language, information, and computation</subfield><subfield code="b">18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings</subfield><subfield code="c">Lev D. Beklemishev ... (eds.)</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">X, 309 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">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">6642 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-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">2010</subfield><subfield code="z">Brasília</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">2011</subfield><subfield code="z">Philadelphia Pa.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beklemishev, Lev D.</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1024952835</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WoLLIC</subfield><subfield code="n">18</subfield><subfield code="d">2011</subfield><subfield code="c">Philadelphia, Pa.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16156828-2</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">6642</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6642</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3710638&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=022553520&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-022553520</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Brasília gnd-content (DE-588)1071861417 Konferenzschrift 2011 Philadelphia Pa. gnd-content |
| genre_facet | Konferenzschrift 2010 Brasília Konferenzschrift 2011 Philadelphia Pa. |
| id | DE-604.BV037400830 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:13:41Z |
| institution | BVB |
| institution_GND | (DE-588)16156828-2 |
| isbn | 9783642209192 364220919X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022553520 |
| oclc_num | 725083709 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | X, 309 S. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic, language, information, and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Lev D. Beklemishev ... (eds.) Berlin [u.a.] Springer 2011 X, 309 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6642 : Lecture notes in artificial intelligence Formale Methode (DE-588)4333722-3 gnd rswk-swf Formale Grammatik (DE-588)4154991-0 gnd rswk-swf Formale Syntax (DE-588)4312653-4 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Brasília gnd-content (DE-588)1071861417 Konferenzschrift 2011 Philadelphia Pa. gnd-content Programmierlogik (DE-588)4047408-2 s DE-604 Natürliche Sprache (DE-588)4041354-8 s Formale Syntax (DE-588)4312653-4 s Formale Grammatik (DE-588)4154991-0 s Formale Methode (DE-588)4333722-3 s Berechnungstheorie (DE-588)4005581-4 s Logik (DE-588)4036202-4 s Beklemishev, Lev D. 1967- Sonstige (DE-588)1024952835 oth WoLLIC 18 2011 Philadelphia, Pa. Sonstige (DE-588)16156828-2 oth Lecture notes in computer science 6642 (DE-604)BV000000607 6642 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3710638&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=022553520&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, language, information, and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Formale Grammatik (DE-588)4154991-0 gnd Formale Syntax (DE-588)4312653-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4154991-0 (DE-588)4312653-4 (DE-588)4005581-4 (DE-588)4047408-2 (DE-588)4036202-4 (DE-588)4041354-8 (DE-588)1071861417 |
| title | Logic, language, information, and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings |
| title_auth | Logic, language, information, and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings |
| title_exact_search | Logic, language, information, and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings |
| title_full | Logic, language, information, and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Lev D. Beklemishev ... (eds.) |
| title_fullStr | Logic, language, information, and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Lev D. Beklemishev ... (eds.) |
| title_full_unstemmed | Logic, language, information, and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Lev D. Beklemishev ... (eds.) |
| title_short | Logic, language, information, and computation |
| title_sort | logic language information and computation 18th international workshop wollic 2011 philadelphia pa usa may 18 20 proceedings |
| title_sub | 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Formale Grammatik (DE-588)4154991-0 gnd Formale Syntax (DE-588)4312653-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd Programmierlogik (DE-588)4047408-2 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd |
| topic_facet | Formale Methode Formale Grammatik Formale Syntax Berechnungstheorie Programmierlogik Logik Natürliche Sprache Konferenzschrift 2010 Brasília Konferenzschrift 2011 Philadelphia Pa. |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3710638&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=022553520&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT beklemishevlevd logiclanguageinformationandcomputation18thinternationalworkshopwollic2011philadelphiapausamay1820proceedings AT wollicphiladelphiapa logiclanguageinformationandcomputation18thinternationalworkshopwollic2011philadelphiapausamay1820proceedings |