Logic, language, information, and computation: 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
9803 |
| Schlagworte: | |
| Online-Zugang: | http://www.springer.com/ Inhaltstext Inhaltsverzeichnis |
| ISBN: | 9783662529201 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV043731950 | ||
| 003 | DE-604 | ||
| 005 | 20161027 | ||
| 007 | t| | ||
| 008 | 160825s2016 gw |||| 10||| eng d | ||
| 015 | |a 16,N23 |2 dnb | ||
| 016 | 7 | |a 1102388254 |2 DE-101 | |
| 020 | |a 9783662529201 |9 978-3-662-52920-1 | ||
| 035 | |a (OCoLC)951636093 | ||
| 035 | |a (DE-599)DNB1102388254 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-83 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a WoLLIC |n 23. |d 2016 |c Puebla, Stadt |j Verfasser |0 (DE-588)1114148857 |4 aut | |
| 245 | 1 | 0 | |a Logic, language, information, and computation |b 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings |
| 264 | 1 | |a Berlin |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 9803 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 653 | |a Applications | ||
| 653 | |a Computer Science | ||
| 653 | |a Conference Proceedings | ||
| 653 | |a Informatics | ||
| 653 | |a Research | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 2 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Väänänen, Jouko |d 1950- |0 (DE-588)121630544 |4 edt | |
| 710 | 2 | |a Springer-Verlag GmbH |0 (DE-588)1065168780 |4 pbl | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-52921-8 |
| 830 | 0 | |a Lecture notes in computer science |v 9803 |w (DE-604)BV000000607 |9 9803 | |
| 856 | 4 | 0 | |u http://www.springer.com/ |x Verlag |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=9b5e8568fbd94cfcbb4fdaf9993643bc&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=029143797&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029143797 | |
Datensatz im Suchindex
| _version_ | 1820875690375905280 |
|---|---|
| adam_text |
CONTENTS
THE USEFUL MAM, A REASONABLE IMPLEMENTATION OF THE STRONG A-CALCULUS.
. 1
BENIAMINO ACCATTOLI
COMPACTNESS IN INFINITARY GOEDEL LOGICS
.
22
JUAN P. AGUILERA
CUT ELIMINATION FOR GOEDEL LOGIC WITH AN OPERATOR ADDING A CONSTANT
.
36
JUAN P. AGUILERA AND MATTHIAS BAAZ
A CLASSICAL PROPOSITIONAL LOGIC FOR REASONING ABOUT REVERSIBLE LOGIC
CIRCUITS.
52
HOLGER BOCK AXELSEN, ROBERT GLUECK, AND ROBIN KAARSGAARD
FOUNDATIONS OF MATHEMATICS: RELIABILITY AND CLARITY: THE EXPLANATORY
ROLE
OF MATHEMATICAL
INDUCTION.
68
JOHN T. BALDWIN
JUSTIFIED BELIEF AND THE TOPOLOGY OF
EVIDENCE. 83
ALEXANDRU BALTAG, NICK BEZHANISHVILI, AYBUEKE OEZGUEN, AND SONJA SMETS
SEMANTIC ACYCLICITY FOR CONJUNCTIVE QUERIES: APPROXIMATIONS AND
CONSTRAINTS
.
104
PABLO BARCELO
EXPRESSIVITY OF MANY-VALUED MODAL LOGICS, COALGEBRAICALLY
.
109
MARTA BUEKOVAE AND MATEJ DOSTAEL
SECOND-ORDER FALSE-BELIEF TASKS: ANALYSIS AND FORMALIZATION
.
125
TORBEN BRAUENER, PATRICK BLACKBURN, AND IRINA POLYANSKAYA
CATEGORIES: HOW I LEARNED TO STOP WORRYING AND LOVE TWO SORTS
.
145
WILLEM CONRADIE, SABINE FRITTELLA, ALESSANDRA PALMIGIANO,
MICHELE PIAZZAI, APOSTOLOS TZIMOULIS, AND NACHOEM M. WIJNBERG
A LOGICAL APPROACH TO CONTEXT-SPECIFIC INDEPENDENCE
.
165
JUKKA CORANDER, ANTTI HYTTINEN, JUHA KONTINEN, JOHAN PENSAR,
AND JOUKO VAEAENAENEN
DESCRIPTIVE COMPLEXITY OF GRAPH
SPECTRA.
183
ANUJ DAWAR, SIMONE SEVERING AND OCTAVIO ZAPATA
CAUSALITY IN BOUNDED PETRI NETS IS MSO
DEFINABLE. 200
MATEUS DE OLIVEIRA OLIVEIRA
XXII
CONTENTS
A MULTI-TYPE CALCULUS FOR INQUISITIVE
LOGIC. 215
SABINE FRITTELLA, GIUSEPPE GRECO, ALESSANDRA PALMIGIANO,
AND FAN YANG
A MODEL-THEORETIC CHARACTERIZATION OF CONSTANT-DEPTH ARITHMETIC CIRCUITS
. . . 234
ANSELM HAAK AND HERIBERT VOLLMER
TRUE CONCURRENCY OF DEEP INFERENCE
PROOFS. 249
OZAN KAHRAMANOGULLARI
ON THE COMPLEXITY OF THE EQUATIONAL THEORY OF RESIDUATED BOOLEAN
ALGEBRAS.
265
ZHE LIN AND MINGHUI MA
SEMANTIC EQUIVALENCE OF GRAPH POLYNOMIALS DEFINABLE
IN SECOND ORDER
LOGIC.
279
JOHANN A. MAKOWSKY AND ELENA V. RAVVE
SHEAVES OF METRIC STRUCTURES
.
297
MAICOL A. OCHOA AND ANDRES VILLAVECES
A CURRY-HOWARD VIEW OF BASIC JUSTIFICATION
LOGIC. 316
KONSTANTINOS POULIASIS
ON THE FORMALIZATION OF SOME RESULTS OF CONTEXT-FREE LANGUAGE THEORY .
338
MARCUS VIMCIUS MIDENA RAMOS, RUY J.G.B. DE QUEIROZ, NELMA MOREIRA,
AND JOSE CARLOS BACELAR ALMEIDA
THE SEMANTICS OF
CORRECTIONS.
358
DENIZ RUDIN, KARL DEVRIES, KAREN DUEK, KELSEY KRAUS,
AND ADRIAN BRASOVEANU
THE EXPRESSIVE POWER OF K-ARY EXCLUSION LOGIC
.
375
RAINE ROENNHOLM
CHARACTERIZING RELATIVE FRAME DEFINABILITY IN TEAM SEMANTICS
VIA THE UNIVERSAL
MODALITY.
392
KATSUHIKO SANO AND JONNI VIRTEMA
NEGATION AND PARTIAL AXIOMATIZATIONS OF DEPENDENCE AND INDEPENDENCE
LOGIC
REVISITED.
410
FAN YANG
ANAPHORS AND
QUANTIFIERS.
432
R. ZUBER
AUTHOR INDEX
447 |
| any_adam_object | 1 |
| author2 | Väänänen, Jouko 1950- |
| author2_role | edt |
| author2_variant | j v jv |
| author_GND | (DE-588)121630544 |
| author_corporate | WoLLIC Puebla, Stadt |
| author_corporate_role | aut |
| author_facet | Väänänen, Jouko 1950- WoLLIC Puebla, Stadt |
| author_sort | WoLLIC Puebla, Stadt |
| building | Verbundindex |
| bvnumber | BV043731950 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)951636093 (DE-599)DNB1102388254 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV043731950</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161027</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">160825s2016 gw |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">16,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1102388254</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662529201</subfield><subfield code="9">978-3-662-52920-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)951636093</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1102388254</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">WoLLIC</subfield><subfield code="n">23.</subfield><subfield code="d">2016</subfield><subfield code="c">Puebla, Stadt</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1114148857</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, language, information, and computation</subfield><subfield code="b">23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</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="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">9803</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Applications</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer Science</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Conference Proceedings</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Informatics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</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="689" ind1="0" ind2="0"><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="1"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-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">Väänänen, Jouko</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)121630544</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Springer-Verlag GmbH</subfield><subfield code="0">(DE-588)1065168780</subfield><subfield code="4">pbl</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-662-52921-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9803</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9803</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.springer.com/</subfield><subfield code="x">Verlag</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=9b5e8568fbd94cfcbb4fdaf9993643bc&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=029143797&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-029143797</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043731950 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:38Z |
| institution | BVB |
| institution_GND | (DE-588)1114148857 (DE-588)1065168780 |
| isbn | 9783662529201 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029143797 |
| oclc_num | 951636093 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | WoLLIC 23. 2016 Puebla, Stadt Verfasser (DE-588)1114148857 aut Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings Berlin Springer [2016] © 2016 txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9803 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Applications Computer Science Conference Proceedings Informatics Research (DE-588)1071861417 Konferenzschrift gnd-content Logik (DE-588)4036202-4 s Theoretische Informatik (DE-588)4196735-5 s Programmiersprache (DE-588)4047409-4 s DE-604 Väänänen, Jouko 1950- (DE-588)121630544 edt Springer-Verlag GmbH (DE-588)1065168780 pbl Erscheint auch als Online-Ausgabe 978-3-662-52921-8 Lecture notes in computer science 9803 (DE-604)BV000000607 9803 http://www.springer.com/ Verlag X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=9b5e8568fbd94cfcbb4fdaf9993643bc&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=029143797&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4036202-4 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings |
| title_auth | Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings |
| title_exact_search | Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings |
| title_full | Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings |
| title_fullStr | Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings |
| title_full_unstemmed | Logic, language, information, and computation 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings |
| title_short | Logic, language, information, and computation |
| title_sort | logic language information and computation 23rd international workshop wollic 2016 puebla mexico august 16 19th 2016 proceedings |
| title_sub | 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Theoretische Informatik Logik Programmiersprache Konferenzschrift |
| url | http://www.springer.com/ http://deposit.dnb.de/cgi-bin/dokserv?id=9b5e8568fbd94cfcbb4fdaf9993643bc&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=029143797&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT wollicpueblastadt logiclanguageinformationandcomputation23rdinternationalworkshopwollic2016pueblamexicoaugust1619th2016proceedings AT vaananenjouko logiclanguageinformationandcomputation23rdinternationalworkshopwollic2016pueblamexicoaugust1619th2016proceedings AT springerverlaggmbh logiclanguageinformationandcomputation23rdinternationalworkshopwollic2016pueblamexicoaugust1619th2016proceedings |