Logical Methods in Computer Science, Volume 2

Volume 2, Number 1, 2006

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

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

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

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

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

Last update Wed May 22 18:04:09 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page