
Conferences in DBLP
The Computability Path Ordering: The End of a Quest. [Citation Graph (, )][DBLP]
The Joy of String Diagrams. [Citation Graph (, )][DBLP]
Model Transformations in Decidability Proofs for Monadic Theories. [Citation Graph (, )][DBLP]
Molecules as Automata. [Citation Graph (, )][DBLP]
An Infinite Automaton Characterization of Double Exponential Time. [Citation Graph (, )][DBLP]
Recursion Schemata for NCk. [Citation Graph (, )][DBLP]
Extensional Uniformity for Boolean Circuits. [Citation Graph (, )][DBLP]
Pure Pointer Programs with Iteration. [Citation Graph (, )][DBLP]
Quantified Positive Temporal Constraints. [Citation Graph (, )][DBLP]
Nonuniform Boolean Constraint Satisfaction Problems with Cardinality Constraint. [Citation Graph (, )][DBLP]
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. [Citation Graph (, )][DBLP]
Continuous Fragment of the muCalculus. [Citation Graph (, )][DBLP]
On the Relations between the Syntactic Theories of lambdamuCalculi. [Citation Graph (, )][DBLP]
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. [Citation Graph (, )][DBLP]
Proving Infinitude of Prime Numbers Using Binomial Coefficients. [Citation Graph (, )][DBLP]
A Tight KarpLipton Collapse Result in Bounded Arithmetic. [Citation Graph (, )][DBLP]
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). [Citation Graph (, )][DBLP]
Quantitative Game Semantics for Linear Logic. [Citation Graph (, )][DBLP]
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. [Citation Graph (, )][DBLP]
An Indexed System for Multiplicative Additive Polarized Linear Logic. [Citation Graph (, )][DBLP]
A Characterisation of Lambda Definability with Sums Via TTClosure Operators. [Citation Graph (, )][DBLP]
Superposition for Fixed Domains. [Citation Graph (, )][DBLP]
Nonfinite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. [Citation Graph (, )][DBLP]
On the Almighty Wand. [Citation Graph (, )][DBLP]
On Counting Generalized Colorings. [Citation Graph (, )][DBLP]
The Descriptive Complexity of Parity Games. [Citation Graph (, )][DBLP]
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. [Citation Graph (, )][DBLP]
Quantitative Languages. [Citation Graph (, )][DBLP]
Characterization of Logics over Ranked Tree Languages. [Citation Graph (, )][DBLP]
The NestingDepth of Disjunctive µCalculus for Tree Languages and the Limitedness Problem. [Citation Graph (, )][DBLP]
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract). [Citation Graph (, )][DBLP]
Syntactic Metatheory of HigherOrder Subtyping. [Citation Graph (, )][DBLP]
On Isomorphisms of Intersection Types. [Citation Graph (, )][DBLP]
Undecidability of TypeChecking in DomainFree Typed LambdaCalculi with Existence. [Citation Graph (, )][DBLP]
TypeBased Termination with Sized Products. [Citation Graph (, )][DBLP]
The Ackermann Award 2008. [Citation Graph (, )][DBLP]
