Logic, language, information and computation: 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture Notes in Computer Science
7456 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 335 S. graph. Darst. |
| ISBN: | 364232620X 9783642326202 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040367071 | ||
| 003 | DE-604 | ||
| 005 | 20120926 | ||
| 007 | t| | ||
| 008 | 120816s2012 gw d||| |||| 10||| eng d | ||
| 015 | |a 12,N31 |2 dnb | ||
| 016 | 7 | |a 1024548368 |2 DE-101 | |
| 020 | |a 364232620X |9 3-642-32620-X | ||
| 020 | |a 9783642326202 |c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.) |9 978-3-642-32620-2 | ||
| 024 | 3 | |a 9783642326202 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86150265 |
| 035 | |a (OCoLC)812235341 | ||
| 035 | |a (DE-599)DNB1024548368 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Logic, language, information and computation |b 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings |c Luke Ong ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XII, 335 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 7456 | |
| 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 Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |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 | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Buenos Aires |2 gnd-content | |
| 689 | 0 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Syntax |0 (DE-588)4312653-4 |D s |
| 689 | 2 | 1 | |a Formale Grammatik |0 (DE-588)4154991-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 3 | 1 | |a Formale Syntax |0 (DE-588)4312653-4 |D s |
| 689 | 3 | 2 | |a Formale Grammatik |0 (DE-588)4154991-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Ong, Luke |e Sonstige |4 oth | |
| 711 | 2 | |a WoLLIC |n 19 |d 2012 |c Buenos Aires |j Sonstige |0 (DE-588)1025162374 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-32621-9 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 7456 |w (DE-604)BV000000607 |9 7456 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4091927&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=025220764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025220764 | |
Datensatz im Suchindex
| _version_ | 1820875410112512000 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F CONTENTS
INVITED P A P E R S A N D A B S T R A C T S O F I N V I T E D L E C T U
R E S FORMALIZING TURING MACHINES 1
ANDREA ASPERTI AND WILMER RICCIOTTI
EQUIVALENCE RELATIONS T H A T ARE COMPLETE FOR COMPUTABLE REDUCIBILITY
(EXTENDED ABSTRACT) 26
EKATERINA FOKINA, S Y FRIEDMAN, AND ANDRE NIES
AN ANALYSIS OF DIRECTED MOTION EXPRESSIONS WITH LEXICALIZED TREE
ADJOINING GRAMMARS AND FRAME SEMANTICS 34
LAURA KALLMEYER AND RAINER OSSWALD
ADMISSIBLE RULES: FROM CHARACTERIZATIONS T O APPLICATIONS 56
GEORGE METCALFE
ON DISTRIBUTED MONITORING OF ASYNCHRONOUS SYSTEMS 70
VOLKER DIEKERT AND ANCA MUSCHOLL
ON THE EXPRESSIVE POWER OF LOGICS WITH INVARIANT USES OF ARITHMETIC
PREDICATES 85
NICOLE SCHWEIKARDT
LOGICAL METHODS IN QUANTUM INFORMATION THEORY 88
PETER SELINGER
QUANTIFYING NOTES 89
HANS VAN DITMARSCH
C O N T R I B U T E D P A P E R S
LINEARIZING BAD SEQUENCES: UPPER BOUNDS FOR THE PRODUCT AND MAJORING
WELL QUASI-ORDERS 110
SERGIO ABRIOLA, SANTIAGO FIGUEIRA, AND GABRIEL SENNO
INITIALITY FOR TYPED SYNTAX AND SEMANTICS 127
BENEDIKT AHRENS
MOVING ARROWS AND FOUR MODEL CHECKING RESULTS 142
CARLOS ARECES, RAUL FERVARI, AND GUILLAUME HOFFMANN
STANDARD COMPLETENESS FOR EXTENSIONS OF MTL: AN AUTOMATED APPROACH 154
PAOLO BALDI, AGATA CIABATTONI, AND LARA SPENDIER
HTTP://D-NB.INFO/1024548368
IMAGE 2
XII TABLE OF CONTENTS
T H E LOGIC OF JUSTIFIED BELIEF CHANGE, SOFT EVIDENCE AND DEFEASIBLE
KNOWLEDGE 168
ALEXANDRA BALTAG, BRYAN RENNE, AND SONJA SMETS
MINIMIZATION VIA DUALITY 191
NICK BEZHANISHVILI, CLEMENS KUPKE, AND PRAKASH PANANGADEN
ON SOME SUBCLASSES OF THE FODOR-ROUBENS FUZZY BI-IMPLICATION 206 CLAUDIO
CALLEJAS, JOAO MARCOS, AND BENJAMIN RENE CALLEJAS BEDREGAL
LINEARITY IN THE NON-DETERMINISTIC CALL-BY-VALUE SETTING 216
ALEJANDRO DIAZ-CARO AND BARBARA PETIT
POLYNOMIAL-TIME SOLUTION OF INITIAL VALUE PROBLEMS USING POLYNOMIAL
ENCLOSURES 232
A M I N FARJUDIAN
ALGORITHMIC RANDOMNESS AND RAMSEY PROPERTIES OF COUNTABLE HOMOGENEOUS
STRUCTURES 246
WILLEM L. FOUCHE
PROPOSITIONAL REASONING ABOUT SATURATED CONDITIONAL PROBABILISTIC
INDEPENDENCE 257
SEBASTIAN LINK
CONTRACTING LOGICS 268
MARCIO M. RIBEIRO AND MARCELO E. CONIGLIO
A TIGHT UPPER BOUND ON THE NUMBER OF VARIABLES FOR AVERAGE-CASE
FC-CLIQUE ON ORDERED GRAPHS 282
BENJAMIN ROSSMAN
PRESERVATION UNDER SUBSTRUCTURES MODULO BOUNDED CORES 291
ABHISEKH SANKARAN, BHARAT ADSUL, VIVEK MADAN, PRITISH KAMATH, AND
SUPRATIK CHAKRABORTY
A LOGIC OF PLAUSIBLE JUSTIFICATIONS 306
L. MENASCHE SCHECHTER
CLASSIC-LIKE CUT-BASED TABLEAU SYSTEMS FOR FINITE-VALUED LOGICS 321
MARCO VOLPE, JOAO MARCOS, AND CARLOS CALEIRO
A U T H O R I N D E X 337 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040367071 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)812235341 (DE-599)DNB1024548368 |
| 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">BV040367071</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120926</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120816s2012 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1024548368</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364232620X</subfield><subfield code="9">3-642-32620-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642326202</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-32620-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642326202</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86150265</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812235341</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1024548368</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, language, information and computation</subfield><subfield code="b">19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings</subfield><subfield code="c">Luke Ong ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 335 S.</subfield><subfield code="b">graph. Darst.</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">7456</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">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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Buenos Aires</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Syntax</subfield><subfield code="0">(DE-588)4312653-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Grammatik</subfield><subfield code="0">(DE-588)4154991-0</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ong, Luke</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WoLLIC</subfield><subfield code="n">19</subfield><subfield code="d">2012</subfield><subfield code="c">Buenos Aires</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1025162374</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-32621-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7456</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7456</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=4091927&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=025220764&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-025220764</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Brasília gnd-content (DE-588)1071861417 Konferenzschrift 2011 Philadelphia Pa. gnd-content (DE-588)1071861417 Konferenzschrift 2012 Buenos Aires gnd-content |
| genre_facet | Konferenzschrift 2010 Brasília Konferenzschrift 2011 Philadelphia Pa. Konferenzschrift 2012 Buenos Aires |
| id | DE-604.BV040367071 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:10Z |
| institution | BVB |
| institution_GND | (DE-588)1025162374 |
| isbn | 364232620X 9783642326202 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025220764 |
| oclc_num | 812235341 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XII, 335 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Logic, language, information and computation 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings Luke Ong ... (eds.) Berlin [u.a.] Springer 2012 XII, 335 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 7456 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 Programmierlogik (DE-588)4047408-2 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 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 (DE-588)1071861417 Konferenzschrift 2012 Buenos Aires gnd-content Berechnungstheorie (DE-588)4005581-4 s Logik (DE-588)4036202-4 s DE-604 Programmierlogik (DE-588)4047408-2 s Formale Syntax (DE-588)4312653-4 s Formale Grammatik (DE-588)4154991-0 s Natürliche Sprache (DE-588)4041354-8 s Formale Methode (DE-588)4333722-3 s Ong, Luke Sonstige oth WoLLIC 19 2012 Buenos Aires Sonstige (DE-588)1025162374 oth Erscheint auch als Online-Ausgabe 978-3-642-32621-9 Lecture Notes in Computer Science 7456 (DE-604)BV000000607 7456 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4091927&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=025220764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, language, information and computation 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; 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 Programmierlogik (DE-588)4047408-2 gnd Berechnungstheorie (DE-588)4005581-4 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)4047408-2 (DE-588)4005581-4 (DE-588)4036202-4 (DE-588)4041354-8 (DE-588)1071861417 |
| title | Logic, language, information and computation 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings |
| title_auth | Logic, language, information and computation 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings |
| title_exact_search | Logic, language, information and computation 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings |
| title_full | Logic, language, information and computation 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings Luke Ong ... (eds.) |
| title_fullStr | Logic, language, information and computation 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings Luke Ong ... (eds.) |
| title_full_unstemmed | Logic, language, information and computation 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings Luke Ong ... (eds.) |
| title_short | Logic, language, information and computation |
| title_sort | logic language information and computation 19th international workshop wollic 2012 buenos aires argentina september 3 6 2012 proceedings |
| title_sub | 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Formale Grammatik (DE-588)4154991-0 gnd Formale Syntax (DE-588)4312653-4 gnd Programmierlogik (DE-588)4047408-2 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd |
| topic_facet | Formale Methode Formale Grammatik Formale Syntax Programmierlogik Berechnungstheorie Logik Natürliche Sprache Konferenzschrift 2010 Brasília Konferenzschrift 2011 Philadelphia Pa. Konferenzschrift 2012 Buenos Aires |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4091927&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=025220764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ongluke logiclanguageinformationandcomputation19thinternationalworkshopwollic2012buenosairesargentinaseptember362012proceedings AT wollicbuenosaires logiclanguageinformationandcomputation19thinternationalworkshopwollic2012buenosairesargentinaseptember362012proceedings |