Abstract is missing.
- Functorial Boxes in String DiagramsPaul-André Melliès. 1-30 [doi]
- Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)C.-H. Luke Ong. 31-40 [doi]
- Automata and Logics for Words and Trees over an Infinite AlphabetLuc Segoufin. 41-57 [doi]
- Nonmonotonic Logics and Their Algebraic FoundationsMiroslaw Truszczynski. 58-71 [doi]
- Semi-continuous Sized Types and TerminationAndreas Abel. 72-88 [doi]
- Visibly Pushdown Automata: From Language Equivalence to Simulation and BisimulationJirí Srba. 89-103 [doi]
- A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of AutomataKlaus Aehlig. 104-118 [doi]
- The Power of Linear FunctionsSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. 119-134 [doi]
- Logical Omniscience Via Proof ComplexitySergei N. Artëmov, Roman Kuznets. 135-149 [doi]
- Verification of Ptime Reducibility for System F Terms Via Dual Light Affine LogicVincent Atassi, Patrick Baillot, Kazushige Terui. 150-166 [doi]
- MSO Queries on Tree Decomposable Structures Are Computable with Linear DelayGuillaume Bagan. 167-181 [doi]
- Abstracting AllocationNick Benton. 182-196 [doi]
- Collapsibility in Infinite-Domain Quantified Constraint SatisfactionManuel Bodirsky, Hubie Chen. 197-211 [doi]
- Towards an Implicit Characterization of ::::NC:::::::::::k:::::::Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem. 212-224 [doi]
- On Rational TreesArnaud Carayol, Christophe Morvan. 225-239 [doi]
- Reasoning About States of Probabilistic Sequential ProgramsRohit Chadha, Paulo Mateus, Amílcar Sernadas. 240-255 [doi]
- Concurrent Games with Tail ObjectivesKrishnendu Chatterjee. 256-270 [doi]
- Nash Equilibrium for Upward-Closed ObjectivesKrishnendu Chatterjee. 271-286 [doi]
- Algorithms for Omega-Regular Games with Imperfect Information:::, :::Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin. 287-302 [doi]
- Relating Two Standard Notions of SecrecyVéronique Cortier, Michaël Rusinowitch, Eugen Zalinescu. 303-318 [doi]
- Jump from Parallel to Sequential Proofs: MultiplicativesPaolo Di Giamberardino, Claudia Faggian. 319-333 [doi]
- First-Order Queries over One Unary FunctionArnaud Durand, Frédéric Olive. 334-348 [doi]
- Infinite State Model-Checking of Propositional Dynamic LogicsStefan Göller, Markus Lohrey. 349-364 [doi]
- Weak Bisimulation ApproximantsWill Harwood, Faron Moller, Anton Setzer. 365-379 [doi]
- Complete Problems for Higher Order LogicsLauri Hella, Jose Maria Turull Torres. 380-394 [doi]
- Solving Games Without DeterminizationThomas A. Henzinger, Nir Piterman. 395-410 [doi]
- Game Quantification on Automatic Structures and Hierarchical Model Checking GamesLukasz Kaiser. 411-425 [doi]
- An Algebraic Point of View on the Crane Beach PropertyClemens Lautemann, Pascal Tesson, Denis Thérien. 426-440 [doi]
- A Sequent Calculus for Type TheoryStéphane Lengrand, Roy Dyckhoff, James McKinna. 441-455 [doi]
- Universality Results for Models in Locally Boolean DomainsTobias Löw, Thomas Streicher. 456-470 [doi]
- Universal Structures and the Logic of Forbidden PatternsFlorent R. Madelaine. 471-485 [doi]
- On the Expressive Power of Graph LogicJerzy Marcinkowski. 486-500 [doi]
- Hoare Logic in the AbstractUrsula Martin, Erik A. Mathiesen, Paulo Oliva. 501-515 [doi]
- Normalization of IZF with ReplacementWojciech Moczydlowski. 516-530 [doi]
- Acyclicity and Coherence in Multiplicative Exponential Linear LogicMichele Pagani. 531-545 [doi]
- Church Synthesis Problem with ParametersAlexander Moshe Rabinovich. 546-561 [doi]
- Decidable Theories of the Ordering of Natural Numbers with Unary PredicatesAlexander Moshe Rabinovich, Wolfgang Thomas. 562-574 [doi]
- Separation Logic for Higher-Order StoreBernhard Reus, Jan Schwinghammer. 575-590 [doi]
- Satisfiability and Finite Model Property for the Alternating-Time ::::mu::::-CalculusSven Schewe, Bernd Finkbeiner. 591-605 [doi]
- Space-Efficient Computation by InteractionUlrich Schöpp. 606-621 [doi]
- The Ackermann Award 2006Samson Abramsky, Erich Grädel, Johann A. Makowsky. 622-626 [doi]