(HO)RPO Revisited
A Better Reduction Theorem for Store Buffers
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
A calculus for costed computations
A Calculus for Generating Ground Explanations (Technical Report)
A Calculus of Consistent Component-based Software Updates
A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases
A Categorical Model for the Lambda Calculus with Constructors
A Categorical View on Algebraic Lattices in Formal Concept Analysis
A Characterisation of First-Order Constraint Satisfaction Problems
A CHR-based Implementation of Known Arc-Consistency
A Classification of Symbolic Transition Systems
A Cloning Pushout Approach to Term-Graph Transformation
A Coalgebraic Approach to Kleene Algebra with Tests
A Coding Theoretic Study on MLL proof nets
A Coinductive Calculus for Asynchronous Side-effecting Processes
A coinductive semantics of the Unlimited Register Machine
A comparison between two logical formalisms for rewriting
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems