Volume 152,
Numbers 1-3,
March 2008
12th Workshop on Logic,
Language,
Information and Computation
- Ruy J. G. B. de Queiroz, Angus Macintyre:
Logic, Language, Information and Computation.
1-2
Electronic Edition (link) BibTeX
- Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Game-based notions of locality over finite models.
3-30
Electronic Edition (link) BibTeX
- Anuj Dawar, David Richerby, Benjamin Rossman:
Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs.
31-50
Electronic Edition (link) BibTeX
- Santiago Figueira, André Nies, Frank Stephan:
Lowness properties and approximations of the jump.
51-66
Electronic Edition (link) BibTeX
- Melvin Fitting:
A quantified logic of evidence.
67-83
Electronic Edition (link) BibTeX
- Sven Hartmann, Sebastian Link:
Characterising nested database dependencies by fragments of propositional logic.
84-106
Electronic Edition (link) BibTeX
- Ozan Kahramanogullari:
System BV is NP-complete.
107-121
Electronic Edition (link) BibTeX
- Richard Lassaigne, Sylvain Peyronnet:
Probabilistic verification and approximation.
122-131
Electronic Edition (link) BibTeX
- Ana Teresa C. Martins, Lília Ramalho Martins:
Full classical S5 in natural deduction with weak normalization.
132-147
Electronic Edition (link) BibTeX
- Grigori Mints:
Cut elimination for a simple formulation of epsilon calculus.
148-160
Electronic Edition (link) BibTeX
- Guilherme de Souza Rabello, Marcelo Finger:
Approximations of modal logics: K and beyond.
161-173
Electronic Edition (link) BibTeX
- Joel H. Spencer, Katherine St. John:
The complexity of random ordered structures.
174-179
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:50:49 2009
by Michael Ley (ley@uni-trier.de)
