
Conferences in DBLP
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. [Citation Graph (, )][DBLP]
Definability in Games. [Citation Graph (, )][DBLP]
From Feasible Proofs to Feasible Computations. [Citation Graph (, )][DBLP]
Tree Dualities for Constraint Satisfaction. [Citation Graph (, )][DBLP]
Ordered Sets in the Calculus of Data Structures. [Citation Graph (, )][DBLP]
Abductive, Inductive and Deductive Reasoning about Resources. [Citation Graph (, )][DBLP]
Constraint Solving for Program Verification: Theory and Practice by Example. [Citation Graph (, )][DBLP]
Tableau Calculi for CSL\mathcal{CSL} over minspaces. [Citation Graph (, )][DBLP]
A Resolution Mechanism for Prenex Gödel Logic. [Citation Graph (, )][DBLP]
Efficient Enumeration for Conjunctive Queries over Xunderbar Structures. [Citation Graph (, )][DBLP]
A Formalisation of the Normal Forms of ContextFree Grammars in HOL4. [Citation Graph (, )][DBLP]
Automata vs. Logics on Data Words. [Citation Graph (, )][DBLP]
Graded Computation Tree Logic with Binary Coding. [Citation Graph (, )][DBLP]
Exact Exploration and Hanging Algorithms. [Citation Graph (, )][DBLP]
Embedding Deduction Modulo into a Prover. [Citation Graph (, )][DBLP]
Exponentials with Infinite Multiplicities. [Citation Graph (, )][DBLP]
Classical and Intuitionistic Subexponential Logics Are Equally Expressive. [Citation Graph (, )][DBLP]
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. [Citation Graph (, )][DBLP]
A Logic of Sequentiality. [Citation Graph (, )][DBLP]
Environment and Classical Channels in Categorical Quantum Mechanics. [Citation Graph (, )][DBLP]
Formal Theories for Linear Algebra. [Citation Graph (, )][DBLP]
Energy and MeanPayoff Games with Imperfect Information. [Citation Graph (, )][DBLP]
Randomisation and Derandomisation in Descriptive Complexity Theory. [Citation Graph (, )][DBLP]
Towards a Canonical Classical Natural Deduction System. [Citation Graph (, )][DBLP]
Coordination Logic. [Citation Graph (, )][DBLP]
SecondOrder Equational Logic (Extended Abstract). [Citation Graph (, )][DBLP]
Fibrational Induction Rules for Initial Algebras. [Citation Graph (, )][DBLP]
A Sequent Calculus with Implicit Term Representation. [Citation Graph (, )][DBLP]
New Algorithm for Weak Monadic SecondOrder Logic on Inductive Structures. [Citation Graph (, )][DBLP]
The Structural lambdaCalculus. [Citation Graph (, )][DBLP]
The Isomorphism Problem for omegaAutomatic Trees. [Citation Graph (, )][DBLP]
Complexity Results for Modal Dependence Logic. [Citation Graph (, )][DBLP]
The Complexity of Positive FirstOrder Logic without Equality II: The FourElement Case. [Citation Graph (, )][DBLP]
On the Computability of RegionBased Euclidean Logics. [Citation Graph (, )][DBLP]
InductiveInductive Definitions. [Citation Graph (, )][DBLP]
Quantified Differential Dynamic Logic for Distributed Hybrid Systems. [Citation Graph (, )][DBLP]
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic. [Citation Graph (, )][DBLP]
TwoVariable Logic with Two Order Relations  (Extended Abstract). [Citation Graph (, )][DBLP]
Signature Extensions Preserve Termination  An Alternative Proof via Dependency Pairs. [Citation Graph (, )][DBLP]
Coq Modulo Theory. [Citation Graph (, )][DBLP]
The Ackermann Award 2010. [Citation Graph (, )][DBLP]
