A dichotomy in the complexity of propositional circumscription (PDF)
Foreword (PDF)
Conference Organization (PDF)
Additional Reviewers (PDF)
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (Abstract)
Definitions by Rewriting in the Calculus of Constructions (Abstract)
Light affine lambda calculus and polytime strong normalization (PDF)
A Decision Procedure for an Extensional Theory of Arrays (Abstract)
On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups (Abstract)
Successive Approximation of Abstract Transition Relations (Abstract)
From verification to control: dynamic programs for omega-regular objectives (PDF)
A Fully Abstract Game Semantics of Local Exceptions (Abstract)
A Universal Characterization of the Closed Euclidean Interval (Abstract)
Strong normalisation in the /spl pi/-calculus (PDF)
Eliminating Definitions and Skolem Functions in First-Order Logic (Abstract)
A continuum of theories of lambda calculus without semantics (Abstract)
Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy (PDF)
On Definability of Order in Logic with Choice (Abstract)
A Second-Order System for Polytime Reasoning Using Gr?del's Theorem (Abstract)
The Crane Beach Conjecture (Abstract)
An n! Lower Bound on Formula Size (Abstract)
Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory (Abstract)
Dependent Types for Program Termination Verification (Abstract)
A proof-Carrying Authorization System (PDF)
Recursive Programming Languages for Complexity Classes (PDF)
Interior-Point Approach to Parity Games (PDF)
Recent Progress in Proof Mining (PDF)
On the Complexity of Confluence for Ground Rewrite Systems (PDF)
Computing the Density of Regular Languages (PDF)
Integrating Simplification Techniques in SAT Algorithms (PDF)
Basic Completion Modulo with Simplification (PDF)
Finite Visit Sequential Deterministic Tree Automata (PDF)
Intuitionistic Linear Logic and Partial Correctness (Abstract)
Perturbed Turing Machines and Hybrid Systems (Abstract)
Deterministic Generators and Games for Ltl Fragments (Abstract)
A Symbolic Labelled Transition System for Coinductive Subtyping of F_{\mu\leq} Types (Abstract)
A Continuum of Theories of Lambda Calculus without Semantics (Abstract)
Focus Games for Satisfiability and Completeness of Temporal Logic (Abstract)
Safety and Liveness in Branching Time (Abstract)
A Game involving Epistemic Logic and Probability (PDF)
A Theory of Advanced Transactions in the Situation Calculus (PDF)
Synthesizing Distributed Systems (Abstract)
Permutation Rewriting and Algorithmic Verification (Abstract)
Temporal Logic Query Checking (Abstract)
Typechecking XML Views of Relational Databases (Abstract)
A Model-Theoretic Approach to Regular String Relations (Abstract)
Author Index (PDF)