| Sumario |
| | Título / Autor(es) | Página(s) |
| | Computer Science Logic - 21st International Workshop, CSL 2007 . 16th Annual Conference of the EACSL . Lausanne, Switzerland, September 11-15, 2007 . Proceedings / Duparc, Jacques / Henzinger, Thomas A | |
| | Invited Lectures - Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) / Abramsky, Samson | 1-2 |
| | Invited Lectures - The Symbolic Approach to Repeated Games (Abstract) / Alfaro, Luca de | 3 |
| | Invited Lectures - Proofs, Programs and Abstract Complexity / Beckmann, Arnold | 4-5 |
| | Invited Lectures - Model-Checking First-Order Logic: Automata and Locality / Dawar, Anuj | 6 |
| | Invited Lectures - Tightening the Exchange Rates Between Automata / Kupferman, Orna | 7-22 |
| | Invited Lectures - Precise Relational Invariants Through Strategy Iteration / Gawlitza, Thomas / Seidl, Helmut | 23-40 |
| | Logic and Games - Omega-Regular Half-Positional Winning Conditions / Kopczynski, Eryk | 41-53 |
| | Logic and Games - Clique-Width and Parity Games / Obdrzálek, Jan | 54-68 |
| | Logic and Games - Logical Refinements of Church's Problem / Rabinovich, Alexander / Thomas, Wolfgang | 69-83 |
| | Logic and Games - The Power of Counting Logics on Restricted Classes of Finite Structures / Dawar, Anuj / Richerby, David | 84-98 |
| | Expressiveness - Comparing the Expressive Power of Well-Structured Transition Systems / Abdulla, Parosh Aziz / Delzanno, Giorgio / Begin, Laurent Van | 99-114 |
| | Expressiveness - There Exist Some w-Powers of Any Borel Rank / Finkel, Olivier / Lecomte, Dominique | 115-129 |
| | Games and Trees - Satisfiability of a Spatial Logic with Tree Variables / Filiot, Emmanuel / Talbot, Jean-Marc / Tison, Sophie | 130-145 |
| | Games and Trees - Forest Expressions / Bojanczyk, Mikolaj | 146-160 |
| | Games and Trees - MSO on the Infinite Binary Tree: Choice and Order / Carayol, Arnaud / Löding, Christof | 161-176 |
| | Logic and Deduction - Classical and Intuitionistic Logie Are Asymptotically Identical / Fournier, Hervé / Gardy, Daničle / Genitrini, Antoine / Zaionc, Marek | 177-193 |
| | Logic and Deduction - Qualitative Temporal and Spatial Reasoning Revisited / Bodirsky, Manuel / Chen, Hubie | 194-207 |
| | Logic and Deduction - On Acyclic Conjunctive Queries and Constant Delay Enumeration / Bagan, Guillaume / Durand, Arnaud / Grandjean, Etienne | 208-222 |
| | Logic and Deduction - Integrating Linear Arithmetic into Superposition Calculus / Korovin, Konstantin / Voronkov, Andrei | 223-237 |
| | Lambda Calculus 1 - The Theory of Calculi with Explicit Substitutions Revisited / Kesner, Delia | 238-252 |
| | Lambda Calculus 1 - A Soft Type Assignment System for l-Calculus / Gaboardi, Marco / Rocca, Simona Ronchi Della | 253-267 |
| | Lambda Calculus 1 - Lambda Theories of Effective Lambda Models / Berline, Chantal / Manzonetto, Giulio / Salibra, Antonino | 268-282 |
| | Lambda Calculus 1 - Typed Normal Form Bisimulation / Lassen, Soren B / Levy, Paul Blain | 283-297 |
| | Lambda Calculus 2 - Not Enough Points Is Enough / Bucciarelli, Antonio / Ehrhard, Thomas / Manzonetto, Giulio | 298-312 |
| | Lambda Calculus 2 - Classical Program Extraction in the Calculus of Constructions / Miquel, Alexandre | 313-327 |
| | Lambda Calculus 2 - Building Decision Procedures in the Calculus of Inductive Constructions / Blanqui, Frédéric / Jouannaud, Jean-Pierre / Strub, Pierre-Yves | 328-342 |
| | Finite Model Theory - Structure Theorem and Strict Alternation Hierarchy for FO2 on Words / Weis, Philipp / Immerman, Neil | 343-357 |
| | Finite Model Theory - On the Complexity of Reasoning About Dynamic Policies / Göller, Stefan | 358-373 |
| | Finite Model Theory - Relativizing Small Complexity Classes and Their Theories / Aehlig, Klaus / Cook, Stephen / Nguyen, Phuong | 374-388 |
| | Finite Model Theory - Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping / Chen, Yijia / Flum, Jo%rg | 389-404 |
| | Linear Logic - From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic / Miller, Dale / Saurin, Alexis | 405-419 |
| | Linear Logic - Linear Realizability / Hoshino, Naohiko | 420-434 |
| | Linear Logic - Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete / Naurois, Paulin Jacobé de / Mogbil, Virgile | 435-450 |
| | Linear Logic - Focusing and Polarization in Intuitionistic Logic / Liang, Chuck / Miller, Dale | 451-465 |
| | Proof Theory - Incorporating Tables into Proofs / Miller, Dale / Nigam, Vivek | 466-480 |
| | Proof Theory - A Cut-Free and Invariant-Free Sequent Calculus for PLTL / Gaintzarain, Joxe / Hermo, Montserrat / Lucio, Paqui / Navarro, Marisa / Orejas, Fernando | 481-495 |
| | Proof Theory - Unbounded Proof-Length Speed-Up in Deduction Modulo / Burel, Guillaume | 496-511 |
| | Proof Theory - Propositional Logic for Circuit Classes / Aehlig, Klaus / Beckmann, Arnold | 512-526 |
| | Proof Theory - Game Characterizations and the PSPACE-Completeness of Tree Resolution Space / Hertel, Alexander / Urquhart, Alasdair | 527-541 |
| | Game Semantics - Continuous Previsions / Goubault-Larrecq, Jean | 542-557 |
| | Game Semantics - Bad Variables Under Control / Murawski, Andrzej S | 558-572 |
| | Game Semantics - A Games Model of Bunched Implications / McCusker, Guy / Pym, David | 573-588 |
| | Game Semantics - The Ackermann Award 2007 / Grohe, Martin / Hyland, Martin / Makowsky, Johann A / Niwinski, Damian | 589-598 |
| | Author Index / | 599 |