Logical Methods in Computer Science, Volume 2

Volume 2, Number 1, 2006

Paul Taylor:
Computably Based Locally Compact Spaces.
Electronic Edition (link) BibTeX
Antonín Kucera, Javier Esparza, Richard Mayr:
Model Checking Probabilistic Pushdown Automata.
Electronic Edition (link) BibTeX
Phuong Nguyen, Stephen A. Cook:
Theories for TC0 and Other Small Complexity Classes.
Electronic Edition (link) BibTeX
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes.
Electronic Edition (link) BibTeX
Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.
Electronic Edition (link) BibTeX
Brijesh Dongol, Doug Goldson:
Extending the theory of Owicki and Gries with a logic of progress.
Electronic Edition (link) BibTeX

Kristian Støvring:
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative.
Electronic Edition (link) BibTeX
Bruno Courcelle:
The monadic second-order logic of graphs XVI : Canonical graph decompositions.
Electronic Edition (link) BibTeX
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi:
On the Expressiveness of the Ambient Logic.
Electronic Edition (link) BibTeX
Alwen Tiu:
A System of Interaction and Structure II: The Need for Deep Inference.
Electronic Edition (link) BibTeX
Carsten Lutz, Frank Wolter:
Modal Logics of Topological Relations.
Electronic Edition (link) BibTeX
Arnaud Carayol, Antoine Meyer:
Context-Sensitive Languages, Rational Graphs and Determinism.
Electronic Edition (link) BibTeX

Frank Neven, Thomas Schwentick:
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables.
Electronic Edition (link) BibTeX
Leonid Libkin:
Logics for Unranked Trees: An Overview.
Electronic Edition (link) BibTeX
Masahito Hasegawa:
Relational Parametricity and Control.
Electronic Edition (link) BibTeX
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik:
Resource Usage Analysis for the p-Calculus.
Electronic Edition (link) BibTeX
Tamara Babaian, James G. Schmolze:
Efficient Open World Reasoning for Planning.
Electronic Edition (link) BibTeX
Solomon Feferman:
Tarski's influence on computer science.
Electronic Edition (link) BibTeX

Víctor Dalmau:
Generalized Majority-Minority Operations are Tractable.
Electronic Edition (link) BibTeX
Le-Chi Tuan, Chitta Baral, Tran Cao Son:
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information.
Electronic Edition (link) BibTeX
François Lamarche, Lutz Straßburger:
From Proof Nets to the Free *-Autonomous Category.
Electronic Edition (link) BibTeX
Jeremy Avigad, Harvey Friedman:
Combining decision procedures for the reals.
Electronic Edition (link) BibTeX
Benedetto Intrigila, Richard Statman:
Solution of a Problem of Barendregt on Sensible lambda-Theories.
Electronic Edition (link) BibTeX
Erich Grädel, Igor Walukiewicz:
Positional Determinacy of Games with Infinitely Many Priorities.
Electronic Edition (link) BibTeX

Lars Birkedal, Noah Torp-Smith, Hongseok Yang:
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages.
Electronic Edition (link) BibTeX
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic.
Electronic Edition (link) BibTeX
Jean H. Gallier:
The Completeness of Propositional Resolution: A Simple and Constructive Proof.
Electronic Edition (link) BibTeX
Jirí Adámek, Stefan Milius, Jiri Velebil:
Elgot Algebras.
Electronic Edition (link) BibTeX
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan:
Linear Encodings of Bounded LTL Model Checking.
Electronic Edition (link) BibTeX