Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

Adventures in time and space

Affine functions and series with co-inductive real numbers

AIG Rewriting Using 5-Input Cuts

Algebraic characterization of logically defined tree languages

Algebraic Notions of Termination

Algebraic recognizability of languages

Algebraic Theories over Nominal Sets

Algebraic totality, towards completeness

Algebras for Agent Norm-Regulation

Algèbres de réalisabilité: un programme pour bien ordonner R

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

Algorithmic Meta-Theorems

Algorithmic metatheorems for decidable LTL model checking over infinite systems

Algorithmic Randomness and Capacity of Closed Sets

Algorithmic Verification of Asynchronous Programs

Algorithms for Omega-Regular Games with Imperfect Information

Algorithms for Synthesizing Priorities in Component-based Systems

Almost periodic functions, constructively

ALPprolog --- A New Logic Programming Method for Dynamic Domains