Branching-time model checking of one-counter processes

Brane Calculi Systems: A Static Preview of their Possible Behaviour

Breaking Symmetries

Breaking Symmetries

Building Decision Procedures in the Calculus of Inductive Constructions

Building the access pointers to a computation environment

Building Views with Description Logics in ADE: Application Development Environment

Busy beavers gone wild

Calculating modules in contextual logic program refinement

Call-by-value, call-by-name and the vectorial behaviour of algebraic λ-calculus

Can Nondeterminism Help Complementation?

Canonical calculi with (n,k)-ary quantifiers

Canonical decomposition of catenation of factorial languages

Capturing Polynomial Time on Interval Graphs

Cardinality and counting quantifiers on omega-automatic structures

Cartesian effect categories are Freyd-categories

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Categorical Models for a Semantically Linear Lambda-calculus

Causality and the Semantics of Provenance

Causality in the Semantics of Esterel: Revisited