Logic, language, and computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers
Gespeichert in:
Weitere Verfasser: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
Schriftenreihe: | Lecture notes in computer science
7758 |
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | XII, 276 S. Ill., graph. Darst. |
ISBN: | 9783642369759 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV040942150 | ||
003 | DE-604 | ||
005 | 20140509 | ||
007 | t| | ||
008 | 130412s2013 xx ad|| |||| 10||| eng d | ||
016 | 7 | |a 1031151168 |2 DE-101 | |
020 | |a 9783642369759 |9 978-3-642-36975-9 | ||
035 | |a (OCoLC)839357402 | ||
035 | |a (DE-599)DNB1031151168 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-11 |a DE-91G | ||
082 | 0 | |a 004.015113 |2 22/ger | |
082 | 0 | |a 006.35 |2 22/ger | |
084 | |a DAT 710f |2 stub | ||
084 | |a LIN 080f |2 stub | ||
084 | |a DAT 540f |2 stub | ||
245 | 1 | 0 | |a Logic, language, and computation |b 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers |c Guram Bezhanishvili ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
300 | |a XII, 276 S. |b Ill., 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 7758 | |
650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |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 |
650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Computerlinguistik |0 (DE-588)4035843-4 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Kutaissi |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 Natürliche Sprache |0 (DE-588)4041354-8 |D s |
689 | 1 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
689 | 1 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Computerlinguistik |0 (DE-588)4035843-4 |D s |
689 | 2 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
689 | 2 | |8 1\p |5 DE-604 | |
700 | 1 | |a Bezhanishvili, Guram |4 edt | |
711 | 2 | |a International Tbilisi Symposium on Logic, Language, and Computation |n 9 |d 2011 |c Kutaissi |j Sonstige |0 (DE-588)1033519138 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-36976-6 |
830 | 0 | |a Lecture notes in computer science |v 7758 |w (DE-604)BV000000607 |9 7758 | |
856 | 4 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4252353&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=025920885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025920885 |
Datensatz im Suchindex
_version_ | 1820875457878294528 |
---|---|
adam_text |
IMAGE 1
TABLE OF CONTENTS
PART 1: SUMMARIES OF TUTORIALS COMPUTATIONAL SOCIAL CHOICE (WITH A
SPECIAL EMPHASIS ON THE USE OF LOGIC) 1
ULLE ENDRISS
BINDING - DATA, THEORY, TYPOLOGY 4
DANIEL HOLE
LUKASIEWICZ LOGIC: AN INTRODUCTION 12
VINCENZO MARRA
PART 2: CONTRIBUTIONS IN LANGUAGE
THE INFORMATION STRUCTURE AND TYPOLOGICAL PECULIARITIES OF THE GEORGIAN
PASSIVE CONSTRUCTIONS 17
RUSUDAN ASATIANI
DISCOURSE STRUCTURING QUESTIONS AND SCALAR IMPLICATURES 35
ANTON BENZ AND FABIENNE SALFNER
TOWARDS A LOGIC OF INFORMATION EXCHANGE: AN INQUISITIVE WITNESS
SEMANTICS 51
IVANO CIARDELLI, JEROEN GROENENDIJK, AND FLORIS ROELOFSEN
SITTING, STANDING, AND LYING IN FRAMES: A FRAME-BASED APPROACH TO
POSTURE VERBS 73
THOMAS GAMERSEHLAG, WIEBKE PETERSEN, AND LIANE STRDBEL
ALLEGED ASSASSINS: REALIST AND CONSTRUCTIVIST SEMANTICS FOR MODAL
MODIFICATION 94
BJ0RN JESPERSEN AND GIUSEPPE PRIMIERO
AN OUTLINE OF A DYNAMIC THEORY OF FRAMES 115
RALF NAUMANN
WHAT DOES IT MEAN FOR AN INDEFINITE TO BE PRESUPPOSITIONAL? 138
UMUT OZGE
PART 3: CONTRIBUTIONS IN LOGIC AND COMPUTATION
DYNAMICS OF DEFEASIBLE AND TENTATIVE INFERENCE 155
PATRICK ALIO
HTTP://D-NB.INFO/1031151168
IMAGE 2
XII TABLE OF CONTENTS
DECIDABILITY FOR JUSTIFICATION LOGICS REVISITED 166
SAMUEL BUCHELI, ROMAN KUZNETS, AND THOMAS STUDER
INTERPRETED SYSTEMS SEMANTICS FOR PROCESS ALGEBRA WITH IDENTITY
ANNOTATIONS 182
FRANCIEN DECHESNE AND MOHAMMAD REZA MOUSAVI
THE DUALITY OF STATE AND OBSERVATION IN PROBABILISTIC TRANSITION SYSTEMS
206
MONICA DINCULESCU, CHRISTOPHER HUNDT, PRAKASH PANANGADEN, JOELLE PINEAU,
AND DOINA PRECUP
MODEL CHECKING FOR MODAL INTUITIONISTIC DEPENDENCE LOGIC 231
JOHANNES EBBING, PETER LOHRNANN, AND FAN YANG
COALGEBRAIC PREDICATE LOGIC: EQUIPOLLENCE RESULTS AND PROOF THEORY . . .
257 TADEUSZ LITAK, DIRK PATTINSON, AND KATSUHIKO SANO
AUTHOR INDEX 277 |
any_adam_object | 1 |
author2 | Bezhanishvili, Guram |
author2_role | edt |
author2_variant | g b gb |
author_facet | Bezhanishvili, Guram |
building | Verbundindex |
bvnumber | BV040942150 |
classification_rvk | SS 4800 |
classification_tum | DAT 710f LIN 080f DAT 540f |
ctrlnum | (OCoLC)839357402 (DE-599)DNB1031151168 |
dewey-full | 004.015113 006.35 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science 006 - Special computer methods |
dewey-raw | 004.015113 006.35 |
dewey-search | 004.015113 006.35 |
dewey-sort | 14.015113 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik Sprachwissenschaften |
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">BV040942150</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140509</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130412s2013 xx ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1031151168</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642369759</subfield><subfield code="9">978-3-642-36975-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839357402</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1031151168</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><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">006.35</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">LIN 080f</subfield><subfield code="2">stub</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, and computation</subfield><subfield code="b">9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers</subfield><subfield code="c">Guram Bezhanishvili ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 276 S.</subfield><subfield code="b">Ill., 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">7758</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">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="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</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">2011</subfield><subfield code="z">Kutaissi</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">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 Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bezhanishvili, Guram</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Tbilisi Symposium on Logic, Language, and Computation</subfield><subfield code="n">9</subfield><subfield code="d">2011</subfield><subfield code="c">Kutaissi</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033519138</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-36976-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7758</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7758</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4252353&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=025920885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025920885</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2011 Kutaissi gnd-content |
genre_facet | Konferenzschrift 2011 Kutaissi |
id | DE-604.BV040942150 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:15:57Z |
institution | BVB |
institution_GND | (DE-588)1033519138 |
isbn | 9783642369759 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025920885 |
oclc_num | 839357402 |
open_access_boolean | |
owner | DE-11 DE-91G DE-BY-TUM |
owner_facet | DE-11 DE-91G DE-BY-TUM |
physical | XII, 276 S. Ill., graph. Darst. |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Guram Bezhanishvili ... (eds.) Berlin [u.a.] Springer 2013 XII, 276 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7758 Formale Methode (DE-588)4333722-3 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 Formale Semantik (DE-588)4122144-8 gnd rswk-swf Computerlinguistik (DE-588)4035843-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Kutaissi gnd-content Berechnungstheorie (DE-588)4005581-4 s Logik (DE-588)4036202-4 s DE-604 Natürliche Sprache (DE-588)4041354-8 s Formale Semantik (DE-588)4122144-8 s Computerlinguistik (DE-588)4035843-4 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Bezhanishvili, Guram edt International Tbilisi Symposium on Logic, Language, and Computation 9 2011 Kutaissi Sonstige (DE-588)1033519138 oth Erscheint auch als Online-Ausgabe 978-3-642-36976-6 Lecture notes in computer science 7758 (DE-604)BV000000607 7758 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4252353&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=025920885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Computerlinguistik (DE-588)4035843-4 gnd |
subject_GND | (DE-588)4333722-3 (DE-588)4005581-4 (DE-588)4036202-4 (DE-588)4041354-8 (DE-588)4122144-8 (DE-588)4035843-4 (DE-588)1071861417 |
title | Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers |
title_auth | Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers |
title_exact_search | Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers |
title_full | Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Guram Bezhanishvili ... (eds.) |
title_fullStr | Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Guram Bezhanishvili ... (eds.) |
title_full_unstemmed | Logic, language, and computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers Guram Bezhanishvili ... (eds.) |
title_short | Logic, language, and computation |
title_sort | logic language and computation 9th international tbilisi symposium on logic language and computation tbillc 2011 kutaisi georgia september 26 30 2011 revised selected papers |
title_sub | 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26 - 30, 2011 ; revised selected papers |
topic | Formale Methode (DE-588)4333722-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Computerlinguistik (DE-588)4035843-4 gnd |
topic_facet | Formale Methode Berechnungstheorie Logik Natürliche Sprache Formale Semantik Computerlinguistik Konferenzschrift 2011 Kutaissi |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=4252353&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=025920885&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT bezhanishviliguram logiclanguageandcomputation9thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2011kutaisigeorgiaseptember26302011revisedselectedpapers AT internationaltbilisisymposiumonlogiclanguageandcomputationkutaissi logiclanguageandcomputation9thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2011kutaisigeorgiaseptember26302011revisedselectedpapers |