Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6247 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036617418 | ||
| 003 | DE-604 | ||
| 005 | 20101103 | ||
| 007 | t| | ||
| 008 | 100816s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N29 |2 dnb | ||
| 016 | 7 | |a 100441000X |2 DE-101 | |
| 020 | |a 9783642152047 |c PB. : ca. EUR 74.90 (freier Pr.), ca. sfr 109.00 (freier Pr.) |9 978-3-642-15204-7 | ||
| 024 | 3 | |a 9783642152047 | |
| 028 | 5 | 2 | |a 80021043 |
| 035 | |a (OCoLC)699924829 | ||
| 035 | |a (DE-599)DNB100441000X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 082 | 0 | |a 005.1015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Computer science logic |b 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings |c Anuj Dawar ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XIV, 548 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 6247 : Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Brünn |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Dawar, Anuj |e Sonstige |4 oth | |
| 710 | 2 | |a European Association for Computer Science Logic |e Sonstige |0 (DE-588)2156125-4 |4 oth | |
| 711 | 2 | |a CSL |n 24 |d 2010 |c Brünn |j Sonstige |0 (DE-588)16077892-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6247 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 6247 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3513945&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=020537519&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020537519 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
|---|---|
| DE-BY-TUM_katkey | 1741089 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010236070 |
| _version_ | 1822409264278274048 |
| adam_text |
TABLE OF CONTENTS INVITED TALKS DEGREES OF SECURITY: PROTOCOL GUARANTEES
IN THE FACE OF COMPROMISING ADVERSARIES 1 DAVID BASIN AND CAS CREMERS
DEFINABILITY IN GAMES 19 ERICH GRAEDEL FROM FEASIBLE PROOFS TO FEASIBLE
COMPUTATIONS 22 JAN KRAJICEK TREE DUALITIES FOR CONSTRAINT SATISFACTION
32 ANDREI KROKHIN ORDERED SETS IN THE CALCULUS OF DATA STRUCTURES 34
VIKTOR KUNCAK, RUZICA PISKAC, AND PHILIPPE SUTER ABDUCTIVE, INDUCTIVE
AND DEDUCTIVE REASONING ABOUT RESOURCES 49 PETER W. O'HEARN CONSTRAINT
SOLVING FOR PROGRAM VERIFICATION: THEORY AND PRACTICE BY EXAMPLE 51
ANDREY RYBALCHENKO CONTRIBUTED PAPERS TABLEAU CALCULI FOR CSC OVER
MINSPACES 52 REGIS ALENDA, NICOLA OLIVETTI, CAMILLA SCHWIND, AND DMITRY
TISHKOVSKY A RESOLUTION MECHANISM FOR PRENEX GODEI LOGIC 67 MATTHIAS
BAAZ AND CHRISTIAN G. FERMIILLER EFFICIENT ENUMERATION FOR CONJUNCTIVE
QUERIES OVER X-UNDERBAR STRUCTURES 80 GUILLAUME BAGAN, ARNAUD DURAND,
EMMANUEL FILIOT, AND OLIVIER GAUWIN A FORMALISATION OF THE NORMAL FORMS
OF CONTEXT-FREE GRAMMARS IN HOL4 95 ADITI BARTHWAL AND MICHAEL NORRISH
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/100441000X DIGITALISIERT
DURCH XII TABLE OF CONTENTS AUTOMATA VS. LOGICS ON DATA WORDS 110
MICHAEL BENEDIKT, CLEMENS LEY, AND GABRIELE PUPPIS GRADED COMPUTATION
TREE LOGIC WITH BINARY CODING 125 ALESSANDRO BIANCO, FABIO MOGAVERO, AND
ANIELLO MURANO EXACT EXPLORATION AND HANGING ALGORITHMS 140 ANDREAS
BLASS, NACHUM DERSHOWITZ, AND YURI GUREVICH EMBEDDING DEDUCTION MODULO
INTO A PROVER 155 GUILLAUME BUREL EXPONENTIALS WITH INFINITE
MULTIPLICITIES 170 ALBERTO CARRARO, THOMAS EHRHARD, AND ANTONINO SALIBRA
CLASSICAL AND INTUITIONISTIC SUBEXPONENTIAL LOGICS ARE EQUALLY
EXPRESSIVE 185 KAUSTUV CHAUDHURI ON SLICEWISE MONOTONE PARAMETERIZED
PROBLEMS AND OPTIMAL PROOF SYSTEMS FOR TAUT 200 YIJIA CHEN AND JOERG FLUM
A LOGIC OF SEQUENTIALITY 215 MARTIN CHURCHILL AND JAMES LAIRD
ENVIRONMENT AND CLASSICAL CHANNELS IN CATEGORICAL QUANTUM MECHANICS 230
BOB COECKE AND SIMON PERDRIX FORMAL THEORIES FOR LINEAR ALGEBRA 245
STEPHEN COOK AND LILA FONTES ENERGY AND MEAN-PAYOFF GAMES WITH IMPERFECT
INFORMATION 260 ALDRIC DEGORRE, LAURENT DOYEN, RAFFAELLA GENTILINI,
JEAN-FRANCOIS RASKIN, AND SZYMON TORUNCZYK RANDOMISATION AND
DERANDOMISATION IN DESCRIPTIVE COMPLEXITY THEORY 275 KORD EICKMEYER AND
MARTIN GROHE TOWARD TABLE OF CONTENTS XIII SECOND-ORDER EQUATIONAL LOGIC
(EXTENDED ABSTRACT) 320 MARCELO FIORE AND CHUNG-KIL HUR FIBRATIONAL
INDUCTION RULES FOR INITIAL ALGEBRAS 336 NEIL GHANI, PATRICIA JOHANN,
AND CLEMENT FUMEX A SEQUENT CALCULUS WITH IMPLICIT TERM REPRESENTATION
351 STEFAN HETZL NEW ALGORITHM FOR WEAK MONADIC SECOND-ORDER LOGIC ON
INDUCTIVE STRUCTURES 366 TOBIAS GANZOW AND LUKASZ KAISER THE STRUCTURAL
A-CALCULUS 381 BENIAMINO ACCATTOLI AND DELIA KESNER THE ISOMORPHISM
PROBLEM FOR U- AUTOMATIC TREES 396 DIETRICH KUSKE, JIAMOU LIU, AND
MARKUS LOHREY COMPLEXITY RESULTS FOR MODAL DEPENDENCE LOGIC 411 PETER
LOHMANN AND HERIBERT VOLLMER THE COMPLEXITY OF POSITIVE FIRST-ORDER
LOGIC WITHOUT EQUALITY II: THE FOUR-ELEMENT CASE 426 BARNABY MARTIN AND
JOS MARTIN ON THE COMPUTABILITY OF REGION-BASED EUCLIDEAN LOGICS 439
YAVOR NENOV AND IAN PRATT-HARTMANN INDUCTIVE-INDUCTIVE DEFINITIONS 454
FREDRIK NORDVALL FORSBERG AND ANTON SETZER QUANTIFIED DIFFERENTIAL
DYNAMIC LOGIC FOR DISTRIBUTED HYBRID SYSTEMS 469 ANDRE PLATZER UNTYPING
TYPED ALGEBRAIC STRUCTURES AND COLOURING PROOF NETS OF CYCLIC LINEAR
LOGIC 484 DAMIEN POUS TWO-VARIABL XIV TABLE OF CONTENTS COQ MODULO
THEORY 529 PIERRE-YVES STRUB ACKERMANN AWARD THE ACKERMANN AWARD 2010
544 JOHANN A. MAKOWSKY AND DAMIAN NIWINSKI AUTHOR INDEX 547 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036617418 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)699924829 (DE-599)DNB100441000X |
| dewey-full | 004.015113 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004.015113 005.1015113 |
| dewey-search | 004.015113 005.1015113 |
| 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">BV036617418</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101103</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100816s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N29</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">100441000X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642152047</subfield><subfield code="c">PB. : ca. EUR 74.90 (freier Pr.), ca. sfr 109.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15204-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642152047</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80021043</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699924829</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB100441000X</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-91G</subfield><subfield code="a">DE-11</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.1015113</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="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">Computer science logic</subfield><subfield code="b">24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 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">XIV, 548 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">6247 : Advanced research in computing and software science</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">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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Brünn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Dawar, Anuj</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">European Association for Computer Science Logic</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2156125-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">24</subfield><subfield code="d">2010</subfield><subfield code="c">Brünn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16077892-X</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">6247 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6247</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=3513945&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=020537519&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-020537519</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Brünn gnd-content |
| genre_facet | Konferenzschrift 2010 Brünn |
| id | DE-604.BV036617418 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:35:09Z |
| institution | BVB |
| institution_GND | (DE-588)2156125-4 (DE-588)16077892-X |
| isbn | 9783642152047 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020537519 |
| oclc_num | 699924829 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XIV, 548 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings Anuj Dawar ... (eds.) Berlin [u.a.] Springer 2010 XIV, 548 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6247 : Advanced research in computing and software science Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Brünn gnd-content Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s DE-604 Computational logic (DE-588)4255672-7 s Logische Programmierung (DE-588)4195096-3 s Programmierlogik (DE-588)4047408-2 s Dawar, Anuj Sonstige oth European Association for Computer Science Logic Sonstige (DE-588)2156125-4 oth CSL 24 2010 Brünn Sonstige (DE-588)16077892-X oth Lecture notes in computer science 6247 : Advanced research in computing and software science (DE-604)BV000000607 6247 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3513945&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=020537519&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4255672-7 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings |
| title_auth | Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings |
| title_exact_search | Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings |
| title_full | Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings Anuj Dawar ... (eds.) |
| title_fullStr | Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings Anuj Dawar ... (eds.) |
| title_full_unstemmed | Computer science logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings Anuj Dawar ... (eds.) |
| title_short | Computer science logic |
| title_sort | computer science logic 24th international workshop csl 2010 19th annual conference of the eacsl brno czech republic august 23 27 2010 proceedings |
| title_sub | 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Theoretische Informatik Programmierlogik Logische Programmierung Computational logic Logik Konferenzschrift 2010 Brünn |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3513945&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=020537519&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dawaranuj computersciencelogic24thinternationalworkshopcsl201019thannualconferenceoftheeacslbrnoczechrepublicaugust23272010proceedings AT europeanassociationforcomputersciencelogic computersciencelogic24thinternationalworkshopcsl201019thannualconferenceoftheeacslbrnoczechrepublicaugust23272010proceedings AT cslbrunn computersciencelogic24thinternationalworkshopcsl201019thannualconferenceoftheeacslbrnoczechrepublicaugust23272010proceedings |