
Conferences in DBLP
Algebra for Tree Languages. [Citation Graph (, )][DBLP]
Forcing and Type Theory. [Citation Graph (, )][DBLP]
Functional Interpretations of Intuitionistic Linear Logic. [Citation Graph (, )][DBLP]
FixedPoint Definability and Polynomial Time. [Citation Graph (, )][DBLP]
Kleene's Amazing Second Recursion Theorem. [Citation Graph (, )][DBLP]
Typed Applicative Structures and Normalization by Evaluation for System F^{omega}. [Citation Graph (, )][DBLP]
Jumping Boxes. [Citation Graph (, )][DBLP]
TreeWidth for First Order Formulae. [Citation Graph (, )][DBLP]
Algorithmic Analysis of ArrayAccessing Programs. [Citation Graph (, )][DBLP]
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]
Cardinality Quantifiers in MLO over Trees. [Citation Graph (, )][DBLP]
From Coinductive Proofs to Exact Real Arithmetic. [Citation Graph (, )][DBLP]
On the Relation between SizedTypes Based Termination and Semantic Labelling. [Citation Graph (, )][DBLP]
Expanding the Realm of Systematic Proof Theory. [Citation Graph (, )][DBLP]
EXPTIME Tableaux for the Coalgebraic µCalculus. [Citation Graph (, )][DBLP]
On the Word Problem for SP{Sigma Pi}Categories, and the Properties of TwoWay Communication. [Citation Graph (, )][DBLP]
Intersection, Universally Quantified, and Reference Types. [Citation Graph (, )][DBLP]
Linear Game Automata: Decidable Hierarchy Problems for StrippedDown Alternating Tree Automata. [Citation Graph (, )][DBLP]
Enriching an Effect Calculus with Linear Types. [Citation Graph (, )][DBLP]
Degrees of Undecidability in Term Rewriting. [Citation Graph (, )][DBLP]
Upper Bounds on Stream I/O Using Semantic Interpretations. [Citation Graph (, )][DBLP]
Craig Interpolation for Linear Temporal Languages. [Citation Graph (, )][DBLP]
On Model Checking Boolean BI. [Citation Graph (, )][DBLP]
Efficient TypeChecking for Amortised HeapSpace Analysis. [Citation Graph (, )][DBLP]
Deciding the Inductive Validity of FOR ALL THERE EXISTS ^{*} Queries. [Citation Graph (, )][DBLP]
On the Parameterised Intractability of Monadic SecondOrder Logic. [Citation Graph (, )][DBLP]
Automatic Structures of Bounded Degree Revisited. [Citation Graph (, )][DBLP]
Nondeterminism and Observable Sequentiality. [Citation Graph (, )][DBLP]
A Decidable Spatial Logic with ConeShaped Cardinal Directions. [Citation Graph (, )][DBLP]
Focalisation and Classical Realisability. [Citation Graph (, )][DBLP]
Decidable Extensions of Church's Problem. [Citation Graph (, )][DBLP]
Nested Hoare Triples and Frame Rules for HigherOrder Store. [Citation Graph (, )][DBLP]
A Complete Characterization of Observational Equivalence in Polymorphic lambdaCalculus with General References. [Citation Graph (, )][DBLP]
NonCommutative FirstOrder Sequent Calculus. [Citation Graph (, )][DBLP]
Model Checking FO(R) over OneCounter Processes and beyond. [Citation Graph (, )][DBLP]
Confluence of Pure Differential Nets with Promotion. [Citation Graph (, )][DBLP]
Decision Problems for Nash Equilibria in Stochastic Games. [Citation Graph (, )][DBLP]
On the Complexity of BranchingTime Logics. [Citation Graph (, )][DBLP]
Nominal Domain Theory for Concurrency. [Citation Graph (, )][DBLP]
The Ackermann Award 2009. [Citation Graph (, )][DBLP]
