Bootstrapping Inductive and Coinductive Types in HasCASL

Borel Hierarchy and Omega Context Free Languages

Borel Ranks and Wadge Degrees of Context Free Omega Languages

Bounded Linear Logic, Revisited

Bounded LTL Model Checking with Stable Models

Bounded Model Checking of Multi-threaded Software using SMT solvers

Bounded Reachability for Temporal Logic over Constraint Systems

Bounded Satisfiability for PCTL

Bounded Termination of Monotonicity-Constraint Transition Systems

Bounded Underapproximations

Bounds on the Automata Size for Presburger Arithmetic

Branching Bisimilarity with Explicit Divergence

Branching-time model checking of one-counter processes

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