Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6188 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036568057 | ||
| 003 | DE-604 | ||
| 005 | 20100921 | ||
| 007 | t | ||
| 008 | 100715s2010 d||| |||| 10||| eng d | ||
| 015 | |a 10,N21 |2 dnb | ||
| 015 | |a 10,A26 |2 dnb | ||
| 016 | 7 | |a 1002541190 |2 DE-101 | |
| 020 | |a 9783642138232 |c kart. : EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.) |9 978-3-642-13823-2 | ||
| 024 | 3 | |a 9783642138232 | |
| 028 | 5 | 2 | |a 80016332 |
| 035 | |a (OCoLC)699762354 | ||
| 035 | |a (DE-599)DNB1002541190 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-91G |a DE-706 |a DE-83 | ||
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Logic, language, information and computation |b 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings |c Anuj Dawar (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 258 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 6188 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 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 | |
| 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 Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 2 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Dawar, Anuj |4 edt | |
| 710 | 2 | |a Association of Logic, Language and Information |e Sonstige |0 (DE-588)10102504-X |4 oth | |
| 711 | 2 | |a WoLLIC |n 17 |d 2010 |c Brasilia |j Sonstige |0 (DE-588)16071037-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6188 |w (DE-604)BV000000607 |9 6188 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3476880&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=020489230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020489230 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-6188 |
|---|---|
| DE-BY-TUM_katkey | 1737391 |
| DE-BY-TUM_media_number | 040010234385 |
| _version_ | 1816713492370030592 |
| adam_text |
TABLE OF CONTENTS ENTAILMENT MULTIPLIERS: AN ALGEBRAIC CHARACTERIZATION
OF VALIDITY FOR CLASSICAL AND MODAL LOGICS (INVITED TALK) 1 MARCELO
FINGER AND MAURICIO S. C. HERNANDES A CTL-BASED LOGIC FOR PROGRAM
ABSTRACTIONS (INVITED TALK) 19 MARTIN LANGE AND MARKUS LATTE APPLICATION
OF LOGIC TO INTEGER SEQUENCES: A SURVEY (INVITED TALK) 34 JOHANN A.
MAKOWSKY THE TWO-VARIABLE FRAGMENT WITH COUNTING REVISITED (INVITED
TALK). 42 IAN PRATT-HARTMANN INTUITIONISTIC LOGIC AND COMPUTABILITY
THEORY (INVITED TALK) 55 SEBASTIAAN A. TERWIJN FOUNDATIONS OF
SATISFIABILITY MODULO THEORIES (INVITED TALK) 58 CESARE TINELLI LOGICAL
FORM AS A DETERMINANT OF COGNITIVE PROCESSES 59 MICHIEL VAN LAMBALGEN
FORMAL LIFETIME RELIABILITY ANALYSIS USING CONTINUOUS RANDOM VARIABLES
84 NAEEM ABBASI, OSMAN HASAN, AND SOFIENE TAHAR MODAL LOGICS WITH
COUNTING 98 CARLOS ARECES, GUILLAUME HOFFMANN, AND ALEXANDRE DENIS
VERIFICATION OF THE COMPLETENESS OF UNIFICATION ALGORITHMS A LA ROBINSON
110 ANDREIA B. AVELAR, FLDVIO L.C. DE MOURA, ANDRE LUIZ GALDINO, AND
MAURICIO AYALA-RINCON MECHANISATION OF PDA AND GRAMMAR EQUIVALENCE FOR
CONTEXT-FREE LANGUAGES 125 ADITI BARTHWAL AND MICHAEL NORRISH O
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1002541190 DIGITALISIERT
DURCH X TABLE OF CONTENTS SOLVING THE IMPLICATION PROBLEM FOR XML
FUNCTIONAL DEPENDENCIES WITH PROPERTIES 161 SVEN HARTMANN, SEBASTIAN
LINK, AND THU TRINH ON ANAPHORA AND THE BINDING PRINCIPLES IN CATEGORIAL
GRAMMAR 176 GLYN MORRILL AND ORIOL VALENTIN FEASIBLE FUNCTIONS OVER
CO-INDUCTIVE DATA 191 RAMYAA RAMYAA AND DANIEL LEIVANT INTERVAL VALUED
FUZZY COMPLICATION 204 RENATA H.S. REISER, BENJAMIN C. BEDREGAL, AND
GESNER A.A. DOS REIS REDUCTION OF THE INTRUDER DEDUCTION PROBLEM INTO
EQUATIONAL ELEMENTARY DEDUCTION FOR ELECTRONIC PURSE PROTOCOLS WITH
BLIND SIGNATURES 218 DANIELE NANTES SOBRINHO AND MAURICIO AYALA-RINCON
INTERSECTION TYPE SYSTEMS AND EXPLICIT SUBSTITUTIONS CALCULI 232 DANIEL
LIMA VENTURA, MAURICIO AYALA-RINCON, AND FAIROUZ KARNAREDDINE
GENERALISING CONSERVATIVITY 247 RICHARD ZUBER AUTHOR INDEX 259 |
| any_adam_object | 1 |
| author2 | Dawar, Anuj |
| author2_role | edt |
| author2_variant | a d ad |
| author_facet | Dawar, Anuj |
| building | Verbundindex |
| bvnumber | BV036568057 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 540f |
| ctrlnum | (OCoLC)699762354 (DE-599)DNB1002541190 |
| 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 Mathematik |
| 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">BV036568057</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100921</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100715s2010 d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,A26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002541190</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642138232</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13823-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642138232</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80016332</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699762354</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002541190</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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 706f</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="084" ind1=" " ind2=" "><subfield code="a">510</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">17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings</subfield><subfield code="c">Anuj Dawar (eds.)</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">X, 258 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">6188 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="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">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dawar, Anuj</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association of Logic, Language and Information</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)10102504-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WoLLIC</subfield><subfield code="n">17</subfield><subfield code="d">2010</subfield><subfield code="c">Brasilia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16071037-6</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">6188</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6188</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=3476880&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=020489230&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-020489230</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Brasília gnd-content |
| genre_facet | Konferenzschrift 2010 Brasília |
| id | DE-604.BV036568057 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:37:10Z |
| institution | BVB |
| institution_GND | (DE-588)10102504-X (DE-588)16071037-6 |
| isbn | 9783642138232 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020489230 |
| oclc_num | 699762354 |
| open_access_boolean | |
| owner | DE-11 DE-91G DE-BY-TUM DE-706 DE-83 |
| owner_facet | DE-11 DE-91G DE-BY-TUM DE-706 DE-83 |
| physical | X, 258 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 |
| spellingShingle | Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings Lecture notes in computer science 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)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 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings |
| title_auth | Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings |
| title_exact_search | Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings |
| title_full | Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings Anuj Dawar (eds.) |
| title_fullStr | Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings Anuj Dawar (eds.) |
| title_full_unstemmed | Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings Anuj Dawar (eds.) |
| title_short | Logic, language, information and computation |
| title_sort | logic language information and computation 17th international workshop wollic 2010 brasilia brazil july 6 9 2010 proceedings |
| title_sub | 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings |
| topic | 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 Grammatik Formale Syntax Berechnungstheorie Programmierlogik Logik Natürliche Sprache Konferenzschrift 2010 Brasília |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3476880&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=020489230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dawaranuj logiclanguageinformationandcomputation17thinternationalworkshopwollic2010brasiliabraziljuly692010proceedings AT associationoflogiclanguageandinformation logiclanguageinformationandcomputation17thinternationalworkshopwollic2010brasiliabraziljuly692010proceedings AT wollicbrasilia logiclanguageinformationandcomputation17thinternationalworkshopwollic2010brasiliabraziljuly692010proceedings |