Proceedings: 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. [u.a.]
IEEE Computer Soc.
2006
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 431 S. |
| ISBN: | 9780769526317 0769526314 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV022239908 | ||
| 003 | DE-604 | ||
| 005 | 20080416 | ||
| 007 | t| | ||
| 008 | 070124s2006 xx |||| 10||| eng d | ||
| 020 | |a 9780769526317 |9 978-0-7695-2631-7 | ||
| 020 | |a 0769526314 |9 0-7695-2631-4 | ||
| 035 | |a (OCoLC)71212294 | ||
| 035 | |a (DE-599)BVBBV022239908 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-19 | ||
| 050 | 0 | |a QA76.6 | |
| 111 | 2 | |a Symposium on Logic in Computer Science |n 21 |d 2006 |c Seattle, Wash. |j Verfasser |0 (DE-588)6064229-4 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| 246 | 1 | 3 | |a LICS 2006 |
| 246 | 1 | 3 | |a Logic in computer science |
| 246 | 1 | 3 | |a 21st annual IEEE Symposium on Logic in Computer Science |
| 264 | 1 | |a Los Alamitos, Calif. [u.a.] |b IEEE Computer Soc. |c 2006 | |
| 300 | |a XIII, 431 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2006 |z Seattle Wash. |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015450847&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015450847 | |
Datensatz im Suchindex
| _version_ | 1820868087614799872 |
|---|---|
| adam_text |
Table
of
Contents
LICS
2006
Participant Meeting in FLoC
2006
Foreword
.ix
Conference Organization
.
x
Organizing Committee
.xi
Reviewers
.xii
► Plenary Talk
Formal Verification of Infinite State Systems Using Boolean Methods
.3
Randaì E.
Bryant
► Session
1:
Complexity and Decidability
Two-Variable Logic on Words with Data
.7
Mikołaj Bojańczyk,
Anca
Muscholl, Thomas Schwentick, Luc Segoufin, and Claire David
LTL with the Freeze Quantifier and Register Automata
.
1
7
Stéphane
Demri and
Ranko Lazić
Fixed-Parameter Hierarchies inside PSPACE
.27
Guoqiang Pan and
Moshe
Y. Vardi
The Boundedness Problem for Monadic Universal First-Order Logic
.37
Martin Otto
► Session
2:
Concurrency
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical
Structural Operational Semantics
.49
Marcelo
Fiore
and Sam Staton
On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus
.59
Catuscia Palamidessi, Vijay Saraswat, Frank D. Valencia, and
Björn
Victor
Saturated Semantics for Reactive Systems
.69
Filippo Banchi,
Barbara
König,
and
Ugo Montanari
►
Session
3:
Pushdown Systems
On Model-Checking Trees Generated by Higher-Order Recursion Schemes
.81
C.-H.
L
Ong
Monadic Chain Logic over Iterations and Applications to Pushdown Systems
.91
Dietrich Knske and
Markus Lohrey
An Automata-Theoretic Approach for Model Checking Threads for LTL Properties
.101
Vineet Kahlon andAarti Gupta
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
.111
Tachio Terauchi and Alex Aiken
►
Invited Talk
Adapting Logics
.123
Andreas Blass
► Session
4:
Logics of Programs
Managing Digital Rights using Linear Logic
.127
Adam
Barth
and John C. Mitchell
Variables as Resource in Hoare Logics
.137
Matthew Parkinson, Richard
Bornât,
and
Cristiano Calcagno
Independence and Concurrent Separation Logic
.147
Jonathan Havman and Glynn Winskei
Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation
of Dynamic Logic
.157
Daniel Leivant
► Session
5:
Proof Theory
Context Semantics, Linear Logic and Computational Complexity
.169
Ugo Dal Lago
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity
.179
Olivier Laurent and Lorenzo
Tortora de Falco
A Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives
.189
Alexis
Maciel
and
Toniann
Pilassi
►
Session
β:
Model Theory
A Characterisation of First-Order Constraint Satisfaction Problems
.201
Benoit Larose,
Cynthia
Loten,
and Claude
Tardif
First Order Formulas with Modular Predicates
.211
Laura Chaubard. Jean-Eric Pin, and Howard Straubing
On Tractability and Congruence Distributivity
.221
Emil
Kiss and Matthew Valeriote
PSPACE Bounds for Rank-
1
Modal Logics
.231
Lutz Schröder
and Dirk Pattinson
► Invited Talk
Avoiding Determinization
.243
Orna Kupferman
► Session
7:
Temporal Logics and Automata
From Nondeterministic
Buchi
and Streett Automata to Deterministic Parity Automata
.255
Nir Piterman
Memoryful Branching-Time Logic
.265
Orna
Kupferman and
Moshe
Y. Vardi
Faster Solutions of Rabin and Street Games
.275
Nir Piterman and Amir Pnueli
Bounds in «-Regularity
.285
Mikołaj Bojańczyk
and Thomas Colcombet
► Session
8:
Lambda Calculus
Head Normal Form Bisimulation for Pairs and the ^-Calculus
.297
Soten
В.
Lassen
A Proof of Strong Normalisation using Domain Theory
.307
Thieriy Coquand and
Arnaud
Spiwack
Boolean Algebras for Lambda Calculus
.317
G. Manzonetto and A. Salibra
Normalisation is Insensible to
Д
-Term
Identity or Difference
.327
Makoto Tatsuta and Mariangiola Dezani-Ciancaglini
►
Keynote Session: Celebrating Birth Centennial of Kurt
Godei
Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment
of
Kurt Gödel's
Impact on Logic, Mathematics, and Computer Science
.339
John W. Dawson
►
Invited Talk
Provable Implementations of Security Protocols
.345
Andrew D. Gordon
► Session
9:
Timed and Stochastic Systems
Stochastic Games with Branching-Time Winning Objectives
.349
Tomáš Brázdil,
Vaclav
Brožek, Vojtěch Forejt, and Antonín Kučera
Coinductive Proof Principles for Stochastic Processes
.359
Dexter
Kozen
Control in o-minima! Hybrid Systems
.367
Patricia Bouyer, Thomas Brihaye, and
Fabrice
Chevalier
► Session
10:
Verification
An Abstraction-Refinement Framework for Multi-Agent Systems
.379
Thomas Ball and
Oma Kupferman
Temporal Logics and Model Checking for Fairly Correct Systems
.389
Daniele Varacca
and
Hagen
Valzer
3-Valued Abstraction: More Precision at Less Cost
.399
Sharon Shoham and
Orna Grumberg
► Session
11:
Approximations
Approximation Schemes for First-Order Definable Optimization Problems
.411
Anuj
Dawar,
Martin
Grohe, Stephan
Kreutzer,
and Nicole Schweikardt
Approximate Satisfiability and Equivalence
.421
Eldar
Fischer, Frederic
Magniez,
and Michel
de
Rougemont
List of Short Presentations
A Polynomial
-ti
me Algorithm for Uniqueness of Normal Forms of Linear Shallow Term Rewrite Systems
Julian Zinn
and Rakesh Vermu
Non-Closure Results for First-Order Spectra
Aaron Hunter
A Dolev-Yao-based Definition of Abuse-free Protocols
Detlef Kaehler, Ralf
'Kuesters, and Thomas Wilke
An Abstract Completion Procedure for Cut Elimination in Deduction Modulo
Guillaume Burèl
and Claude
Kirchner
Interactive Correctness Criterion for Multiplicative-Additive Proof-Nets
Roberto Maieli and Paul Ruet
A Logical Look at Agents: Problem-Solving on the Semantic Web
Leona
F.
Fass
Nominalization in Intensional Type Theory
Jörgen Vi/ladsen
Grounding for Model Expansion in k-Guarded Formulas
Murray Patterson, Yongmei Liu, Eugenia Ternovska, and Arvind Gupta
Author Index
.431 |
| adam_txt |
Table
of
Contents
LICS
2006
Participant Meeting in FLoC
2006
Foreword
.ix
Conference Organization
.
x
Organizing Committee
.xi
Reviewers
.xii
► Plenary Talk
Formal Verification of Infinite State Systems Using Boolean Methods
.3
Randaì E.
Bryant
► Session
1:
Complexity and Decidability
Two-Variable Logic on Words with Data
.7
Mikołaj Bojańczyk,
Anca
Muscholl, Thomas Schwentick, Luc Segoufin, and Claire David
LTL with the Freeze Quantifier and Register Automata
.
1
7
Stéphane
Demri and
Ranko Lazić
Fixed-Parameter Hierarchies inside PSPACE
.27
Guoqiang Pan and
Moshe
Y. Vardi
The Boundedness Problem for Monadic Universal First-Order Logic
.37
Martin Otto
► Session
2:
Concurrency
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical
Structural Operational Semantics
.49
Marcelo
Fiore
and Sam Staton
On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus
.59
Catuscia Palamidessi, Vijay Saraswat, Frank D. Valencia, and
Björn
Victor
Saturated Semantics for Reactive Systems
.69
Filippo Banchi,
Barbara
König,
and
Ugo Montanari
►
Session
3:
Pushdown Systems
On Model-Checking Trees Generated by Higher-Order Recursion Schemes
.81
C.-H.
L
Ong
Monadic Chain Logic over Iterations and Applications to Pushdown Systems
.91
Dietrich Knske and
Markus Lohrey
An Automata-Theoretic Approach for Model Checking Threads for LTL Properties
.101
Vineet Kahlon andAarti Gupta
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
.111
Tachio Terauchi and Alex Aiken
►
Invited Talk
Adapting Logics
.123
Andreas Blass
► Session
4:
Logics of Programs
Managing Digital Rights using Linear Logic
.127
Adam
Barth
and John C. Mitchell
Variables as Resource in Hoare Logics
.137
Matthew Parkinson, Richard
Bornât,
and
Cristiano Calcagno
Independence and Concurrent Separation Logic
.147
Jonathan Havman and Glynn Winskei
Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation
of Dynamic Logic
.157
Daniel Leivant
► Session
5:
Proof Theory
Context Semantics, Linear Logic and Computational Complexity
.169
Ugo Dal Lago
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity
.179
Olivier Laurent and Lorenzo
Tortora de Falco
A Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives
.189
Alexis
Maciel
and
Toniann
Pilassi
►
Session
β:
Model Theory
A Characterisation of First-Order Constraint Satisfaction Problems
.201
Benoit Larose,
Cynthia
Loten,
and Claude
Tardif
First Order Formulas with Modular Predicates
.211
Laura Chaubard. Jean-Eric Pin, and Howard Straubing
On Tractability and Congruence Distributivity
.221
Emil
Kiss and Matthew Valeriote
PSPACE Bounds for Rank-
1
Modal Logics
.231
Lutz Schröder
and Dirk Pattinson
► Invited Talk
Avoiding Determinization
.243
Orna Kupferman
► Session
7:
Temporal Logics and Automata
From Nondeterministic
Buchi
and Streett Automata to Deterministic Parity Automata
.255
Nir Piterman
Memoryful Branching-Time Logic
.265
Orna
Kupferman and
Moshe
Y. Vardi
Faster Solutions of Rabin and Street Games
.275
Nir Piterman and Amir Pnueli
Bounds in «-Regularity
.285
Mikołaj Bojańczyk
and Thomas Colcombet
► Session
8:
Lambda Calculus
Head Normal Form Bisimulation for Pairs and the ^-Calculus
.297
Soten
В.
Lassen
A Proof of Strong Normalisation using Domain Theory
.307
Thieriy Coquand and
Arnaud
Spiwack
Boolean Algebras for Lambda Calculus
.317
G. Manzonetto and A. Salibra
Normalisation is Insensible to
Д
-Term
Identity or Difference
.327
Makoto Tatsuta and Mariangiola Dezani-Ciancaglini
►
Keynote Session: Celebrating Birth Centennial of Kurt
Godei
Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment
of
Kurt Gödel's
Impact on Logic, Mathematics, and Computer Science
.339
John W. Dawson
►
Invited Talk
Provable Implementations of Security Protocols
.345
Andrew D. Gordon
► Session
9:
Timed and Stochastic Systems
Stochastic Games with Branching-Time Winning Objectives
.349
Tomáš Brázdil,
Vaclav
Brožek, Vojtěch Forejt, and Antonín Kučera
Coinductive Proof Principles for Stochastic Processes
.359
Dexter
Kozen
Control in o-minima! Hybrid Systems
.367
Patricia Bouyer, Thomas Brihaye, and
Fabrice
Chevalier
► Session
10:
Verification
An Abstraction-Refinement Framework for Multi-Agent Systems
.379
Thomas Ball and
Oma Kupferman
Temporal Logics and Model Checking for Fairly Correct Systems
.389
Daniele Varacca
and
Hagen
Valzer
3-Valued Abstraction: More Precision at Less Cost
.399
Sharon Shoham and
Orna Grumberg
► Session
11:
Approximations
Approximation Schemes for First-Order Definable Optimization Problems
.411
Anuj
Dawar,
Martin
Grohe, Stephan
Kreutzer,
and Nicole Schweikardt
Approximate Satisfiability and Equivalence
.421
Eldar
Fischer, Frederic
Magniez,
and Michel
de
Rougemont
List of Short Presentations
A Polynomial
-ti
me Algorithm for Uniqueness of Normal Forms of Linear Shallow Term Rewrite Systems
Julian Zinn
and Rakesh Vermu
Non-Closure Results for First-Order Spectra
Aaron Hunter
A Dolev-Yao-based Definition of Abuse-free Protocols
Detlef Kaehler, Ralf
'Kuesters, and Thomas Wilke
An Abstract Completion Procedure for Cut Elimination in Deduction Modulo
Guillaume Burèl
and Claude
Kirchner
Interactive Correctness Criterion for Multiplicative-Additive Proof-Nets
Roberto Maieli and Paul Ruet
A Logical Look at Agents: Problem-Solving on the Semantic Web
Leona
F.
Fass
Nominalization in Intensional Type Theory
Jörgen Vi/ladsen
Grounding for Model Expansion in k-Guarded Formulas
Murray Patterson, Yongmei Liu, Eugenia Ternovska, and Arvind Gupta
Author Index
.431 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_corporate | Symposium on Logic in Computer Science Seattle, Wash |
| author_corporate_role | aut |
| author_facet | Symposium on Logic in Computer Science Seattle, Wash |
| author_sort | Symposium on Logic in Computer Science Seattle, Wash |
| building | Verbundindex |
| bvnumber | BV022239908 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 2006 |
| ctrlnum | (OCoLC)71212294 (DE-599)BVBBV022239908 |
| discipline | Informatik |
| discipline_str_mv | 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 c 4500</leader><controlfield tag="001">BV022239908</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080416</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">070124s2006 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780769526317</subfield><subfield code="9">978-0-7695-2631-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0769526314</subfield><subfield code="9">0-7695-2631-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)71212294</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022239908</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Logic in Computer Science</subfield><subfield code="n">21</subfield><subfield code="d">2006</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)6064229-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">LICS 2006</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Logic in computer science</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">21st annual IEEE Symposium on Logic in Computer Science</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. [u.a.]</subfield><subfield code="b">IEEE Computer Soc.</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 431 S.</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="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</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">2006</subfield><subfield code="z">Seattle Wash.</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</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=015450847&sequence=000002&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-015450847</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2006 Seattle Wash. gnd-content |
| genre_facet | Konferenzschrift 2006 Seattle Wash. |
| id | DE-604.BV022239908 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:35:37Z |
| indexdate | 2025-01-10T13:18:47Z |
| institution | BVB |
| institution_GND | (DE-588)6064229-4 |
| isbn | 9780769526317 0769526314 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015450847 |
| oclc_num | 71212294 |
| open_access_boolean | |
| owner | DE-384 DE-19 DE-BY-UBM |
| owner_facet | DE-384 DE-19 DE-BY-UBM |
| physical | XIII, 431 S. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | IEEE Computer Soc. |
| record_format | marc |
| spelling | Symposium on Logic in Computer Science 21 2006 Seattle, Wash. Verfasser (DE-588)6064229-4 aut Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington LICS 2006 Logic in computer science 21st annual IEEE Symposium on Logic in Computer Science Los Alamitos, Calif. [u.a.] IEEE Computer Soc. 2006 XIII, 431 S. txt rdacontent n rdamedia nc rdacarrier Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2006 Seattle Wash. gnd-content Logik (DE-588)4036202-4 s DE-604 Digitalisierung UB Augsburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015450847&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)1071861417 |
| title | Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| title_alt | LICS 2006 Logic in computer science 21st annual IEEE Symposium on Logic in Computer Science |
| title_auth | Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| title_exact_search | Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| title_exact_search_txtP | Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| title_full | Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| title_fullStr | Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| title_full_unstemmed | Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| title_short | Proceedings |
| title_sort | proceedings 21st annual ieee symposium on logic in computer science lics 2006 12 15 august 2006 seattle washington |
| title_sub | 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington |
| topic | Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd |
| topic_facet | Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Logik Konferenzschrift 2006 Seattle Wash. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015450847&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonlogicincomputerscienceseattlewash proceedings21stannualieeesymposiumonlogicincomputersciencelics20061215august2006seattlewashington AT symposiumonlogicincomputerscienceseattlewash lics2006 AT symposiumonlogicincomputerscienceseattlewash logicincomputerscience AT symposiumonlogicincomputerscienceseattlewash 21stannualieeesymposiumonlogicincomputerscience |