Abstract is missing.
- Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)Samson Abramsky. 1-2 [doi]
- The Symbolic Approach to Repeated Games (Abstract)Luca de Alfaro. 3 [doi]
- Proofs, Programs and Abstract ComplexityArnold Beckmann. 4-5 [doi]
- Model-Checking First-Order Logic: Automata and LocalityAnuj Dawar. 6 [doi]
- Tightening the Exchange Rates Between AutomataOrna Kupferman. 7-22 [doi]
- Precise Relational Invariants Through Strategy IterationThomas Gawlitza, Helmut Seidl. 23-40 [doi]
- Omega-Regular Half-Positional Winning ConditionsEryk Kopczynski. 41-53 [doi]
- Clique-Width and Parity GamesJan Obdrzálek. 54-68 [doi]
- Logical Refinements of Church s ProblemAlexander Rabinovich, Wolfgang Thomas. 69-83 [doi]
- The Power of Counting Logics on Restricted Classes of Finite StructuresAnuj Dawar, David Richerby. 84-98 [doi]
- Comparing the Expressive Power of Well-Structured Transition SystemsParosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin. 99-114 [doi]
- There Exist Some ::::omega:::: -Powers of Any Borel RankOlivier Finkel, Dominique Lecomte. 115-129 [doi]
- Satisfiability of a Spatial Logic with Tree VariablesEmmanuel Filiot, Jean-Marc Talbot, Sophie Tison. 130-145 [doi]
- Forest ExpressionsMikolaj Bojanczyk. 146-160 [doi]
- MSO on the Infinite Binary Tree: Choice and OrderArnaud Carayol, Christof Löding. 161-176 [doi]
- Classical and Intuitionistic Logic Are Asymptotically IdenticalHervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc. 177-193 [doi]
- Qualitative Temporal and Spatial Reasoning RevisitedManuel Bodirsky, Hubie Chen. 194-207 [doi]
- On Acyclic Conjunctive Queries and Constant Delay EnumerationGuillaume Bagan, Arnaud Durand, Etienne Grandjean. 208-222 [doi]
- Integrating Linear Arithmetic into Superposition CalculusKonstantin Korovin, Andrei Voronkov. 223-237 [doi]
- The Theory of Calculi with Explicit Substitutions RevisitedDelia Kesner. 238-252 [doi]
- A Soft Type Assignment System for ::::lambda:::: -CalculusMarco Gaboardi, Simona Ronchi Della Rocca. 253-267 [doi]
- Lambda Theories of Effective Lambda ModelsChantal Berline, Giulio Manzonetto, Antonino Salibra. 268-282 [doi]
- Typed Normal Form BisimulationSøren B. Lassen, Paul Blain Levy. 283-297 [doi]
- Not Enough Points Is EnoughAntonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto. 298-312 [doi]
- Classical Program Extraction in the Calculus of ConstructionsAlexandre Miquel. 313-327 [doi]
- Building Decision Procedures in the Calculus of Inductive ConstructionsFrédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub. 328-342 [doi]
- Structure Theorem and Strict Alternation Hierarchy for FO:::2::: on WordsPhilipp Weis, Neil Immerman. 343-357 [doi]
- On the Complexity of Reasoning About Dynamic PoliciesStefan Göller. 358-373 [doi]
- Relativizing Small Complexity Classes and Their TheoriesKlaus Aehlig, Stephen Cook, Phuong Nguyen. 374-388 [doi]
- Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization MappingYijia Chen, Jörg Flum. 389-404 [doi]
- From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear LogicDale Miller, Alexis Saurin. 405-419 [doi]
- Linear RealizabilityNaohiko Hoshino. 420-434 [doi]
- Correctness of Multiplicative (and Exponential) Proof Structures is ::::NL:::: -CompletePaulin Jacobé de Naurois, Virgile Mogbil. 435-450 [doi]
- Focusing and Polarization in Intuitionistic LogicChuck Liang, Dale Miller. 451-465 [doi]
- Incorporating Tables into ProofsDale Miller, Vivek Nigam. 466-480 [doi]
- A Cut-Free and Invariant-Free Sequent Calculus for PLTLJoxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. 481-495 [doi]
- Unbounded Proof-Length Speed-Up in Deduction ModuloGuillaume Burel. 496-511 [doi]
- Propositional Logic for Circuit ClassesKlaus Aehlig, Arnold Beckmann. 512-526 [doi]
- Game Characterizations and the PSPACE-Completeness of Tree Resolution SpaceAlexander Hertel, Alasdair Urquhart. 527-541 [doi]
- Continuous PrevisionsJean Goubault-Larrecq. 542-557 [doi]
- Bad Variables Under ControlAndrzej S. Murawski. 558-572 [doi]
- A Games Model of Bunched ImplicationsGuy McCusker, David J. Pym. 573-588 [doi]
- The Ackermann Award 2007Martin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski. 589-597 [doi]