You have Guest access.
Log In
Anuj Dawar and Helmut Veith
Front matter
1-18
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries
19-21
Definability in Games
22-31
From Feasible Proofs to Feasible Computations
32-33
Tree Dualities for Constraint Satisfaction
34-48
Ordered Sets in the Calculus of Data Structures
49-50
Abductive, Inductive and Deductive Reasoning about Resources
51
Constraint Solving for Program Verification: Theory and Practice by Example
52-66
Tableau Calculi for CSL\mathcal{CSL} over minspaces
67-79
A Resolution Mechanism for Prenex Gödel Logic
80-94
Efficient Enumeration for Conjunctive Queries over X-underbar Structures
95-109
A Formalisation of the Normal Forms of Context-Free Grammars in HOL4
110-124
Automata vs. Logics on Data Words
125-139
Graded Computation Tree Logic with Binary Coding
140-154
Exact Exploration and Hanging Algorithms
155-169
Embedding Deduction Modulo into a Prover
170-184
Exponentials with Infinite Multiplicities
185-199
Classical and Intuitionistic Subexponential Logics Are Equally Expressive
200-214
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT
215-229
A Logic of Sequentiality
230-244
Environment and Classical Channels in Categorical Quantum Mechanics
245-259
Formal Theories for Linear Algebra
260-274
Energy and Mean-Payoff Games with Imperfect Information
275-289
Randomisation and Derandomisation in Descriptive Complexity Theory
290-304
Towards a Canonical Classical Natural Deduction System
305-319
Coordination Logic
320-335
Second-Order Equational Logic (Extended Abstract)
336-350
Fibrational Induction Rules for Initial Algebras
351-365
A Sequent Calculus with Implicit Term Representation
366-380
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
381-395
The Structural λ-Calculus
396-410
The Isomorphism Problem for ω-Automatic Trees
411-425
Complexity Results for Modal Dependence Logic
426-438
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case
439-453
On the Computability of Region-Based Euclidean Logics
454-468
Inductive-Inductive Definitions
469-483
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
484-498
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
499-513
Two-Variable Logic with Two Order Relations (Extended Abstract)
514-528
Signature Extensions Preserve Termination An Alternative Proof via Dependency Pairs
529-543
Coq Modulo Theory
544-546
The Ackermann Award 2010
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info