Abstract is missing.
- Degrees of Security: Protocol Guarantees in the Face of Compromising AdversariesDavid A. Basin, Cas J. F. Cremers. 1-18 [doi]
- Definability in GamesErich Grädel. 19-21 [doi]
- From Feasible Proofs to Feasible ComputationsJan Krajícek. 22-31 [doi]
- Tree Dualities for Constraint SatisfactionAndrei A. Krokhin. 32-33 [doi]
- Ordered Sets in the Calculus of Data StructuresViktor Kuncak, Ruzica Piskac, Philippe Suter. 34-48 [doi]
- Abductive, Inductive and Deductive Reasoning about ResourcesPeter W. O Hearn. 49-50 [doi]
- Constraint Solving for Program Verification: Theory and Practice by ExampleAndrey Rybalchenko. 51 [doi]
- Tableau Calculi for ::::CSL::::/mathcal{CSL} over minspacesRégis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky. 52-66 [doi]
- A Resolution Mechanism for Prenex Gödel LogicMatthias Baaz, Christian G. Fermüller. 67-79 [doi]
- Efficient Enumeration for Conjunctive Queries over X-underbar StructuresGuillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin. 80-94 [doi]
- A Formalisation of the Normal Forms of Context-Free Grammars in HOL4Aditi Barthwal, Michael Norrish. 95-109 [doi]
- Automata vs. Logics on Data WordsMichael Benedikt, Clemens Ley, Gabriele Puppis. 110-124 [doi]
- Graded Computation Tree Logic with Binary CodingAlessandro Bianco, Fabio Mogavero, Aniello Murano. 125-139 [doi]
- Exact Exploration and Hanging AlgorithmsAndreas Blass, Nachum Dershowitz, Yuri Gurevich. 140-154 [doi]
- Embedding Deduction Modulo into a ProverGuillaume Burel. 155-169 [doi]
- Exponentials with Infinite MultiplicitiesAlberto Carraro, Thomas Ehrhard, Antonino Salibra. 170-184 [doi]
- Classical and Intuitionistic Subexponential Logics Are Equally ExpressiveKaustuv Chaudhuri. 185-199 [doi]
- On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUTYijia Chen, Jörg Flum. 200-214 [doi]
- A Logic of SequentialityMartin Churchill, James Laird. 215-229 [doi]
- Environment and Classical Channels in Categorical Quantum MechanicsBob Coecke, Simon Perdrix. 230-244 [doi]
- Formal Theories for Linear AlgebraStephen Cook, Lila Fontes. 245-259 [doi]
- Energy and Mean-Payoff Games with Imperfect InformationAldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk. 260-274 [doi]
- Randomisation and Derandomisation in Descriptive Complexity TheoryKord Eickmeyer, Martin Grohe. 275-289 [doi]
- Towards a Canonical Classical Natural Deduction SystemJosé Espírito Santo. 290-304 [doi]
- Coordination LogicBernd Finkbeiner, Sven Schewe. 305-319 [doi]
- Second-Order Equational Logic (Extended Abstract)Marcelo P. Fiore, Chung-Kil Hur. 320-335 [doi]
- Fibrational Induction Rules for Initial AlgebrasNeil Ghani, Patricia Johann, Clément Fumex. 336-350 [doi]
- A Sequent Calculus with Implicit Term RepresentationStefan Hetzl. 351-365 [doi]
- New Algorithm for Weak Monadic Second-Order Logic on Inductive StructuresTobias Ganzow, Lukasz Kaiser. 366-380 [doi]
- The Structural ::::lambda::::-CalculusBeniamino Accattoli, Delia Kesner. 381-395 [doi]
- The Isomorphism Problem for ::::omega::::-Automatic TreesDietrich Kuske, Jiamou Liu, Markus Lohrey. 396-410 [doi]
- Complexity Results for Modal Dependence LogicPeter Lohmann, Heribert Vollmer. 411-425 [doi]
- The Complexity of Positive First-Order Logic without Equality II: The Four-Element CaseBarnaby Martin, Jos Martin. 426-438 [doi]
- On the Computability of Region-Based Euclidean LogicsYavor Nenov, Ian Pratt-Hartmann. 439-453 [doi]
- Inductive-Inductive DefinitionsFredrik Nordvall Forsberg, Anton Setzer. 454-468 [doi]
- Quantified Differential Dynamic Logic for Distributed Hybrid SystemsAndré Platzer. 469-483 [doi]
- Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear LogicDamien Pous. 484-498 [doi]
- Two-Variable Logic with Two Order Relations - (Extended Abstract)Thomas Schwentick, Thomas Zeume. 499-513 [doi]
- Signature Extensions Preserve Termination - An Alternative Proof via Dependency PairsChristian Sternagel, René Thiemann. 514-528 [doi]
- Coq Modulo TheoryPierre-Yves Strub. 529-543 [doi]
- The Ackermann Award 2010Johann A. Makowsky, Damian Niwinski. 544-546 [doi]