22. LICS 2007:
Wroclaw,
Poland
22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings.
IEEE Computer Society 2007 BibTeX
Type Theory
Computational Proof Theory
Security
Timed and Stochastic Systems
Verification
- Mikolaj Bojanczyk:
Two-way unary temporal logic over trees.
121-130
Electronic Edition (link) BibTeX
- Marcin Jurdzinski, Ranko Lazic:
Alternation-free modal mu-calculus for data trees.
131-140
Electronic Edition (link) BibTeX
- Angelo Montanari, Gabriele Puppis:
A Contraction Method to Decide MSO Theories of Deterministic Trees.
141-150
Electronic Edition (link) BibTeX
- Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words.
151-160
Electronic Edition (link) BibTeX
- Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato:
A Robust Class of Context-Sensitive Languages.
161-170
Electronic Edition (link) BibTeX
- Francesco Ranzato, Francesco Tapparo:
A New Efficient Simulation Equivalence Algorithm.
171-180
Electronic Edition (link) BibTeX
- Detlef Kähler, Ralf Küsters, Tomasz Truderung:
Infinite State AMC-Model Checking for Cryptographic Protocols.
181-192
Electronic Edition (link) BibTeX
Constraints
Proof Complexity
Finite Model Theory
Concurrency and Process Calculi
Semantics of Programming Languages
Game Semantics
Linear Logic
Topology and Computable Mathematics
Copyright © Sat May 16 23:28:48 2009
by Michael Ley (ley@uni-trier.de)