A lower bound on web services composition
A LTL Fragment for GR(1)-Synthesis
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
A Metric Encoding for Bounded Model Checking (extended version)
A Minimal Propositional Type Theory
A minimalistic look at widening operators
A Modal Logic for Termgraph Rewriting
A Model-Theoretic Semantics for Defeasible Logic
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
A multivariate interlace polynomial
A Natural Deduction style proof system for propositional $μ$-calculus and its formalization in inductive type theories
A New Approach to Abstract Machines - Introduction to the Theory of Configuration Machines
A new face of the branching recurrence of computability logic
A new graphical calculus of proofs
A non-interleaving process calculus for multi-party synchronisation
A Normalizing Intuitionistic Set Theory with Inaccessible Sets
A note on clique-width and tree-width for structures
A Note on Fault Diagnosis Algorithms
A Note on Induction Schemas in Bounded Arithmetic