Closure Properties of Locally Finite Omega Languages

Co-c.e. spheres and cells in computable metric spaces

Co-ordering and Type 2 co-ordering

Coalgebraic Automata Theory: Basic Results

Coarse abstractions make Zeno behaviours difficult to detect

Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic

Coherent and finiteness spaces

CoInduction in Coq

Coinductive Formal Reasoning in Exact Real Arithmetic

Collection analysis for Horn clause programs

Color Graphs: An Efficient Model For Two-Dimensional Cellular Automata Linear Rules

CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates

Combining decision procedures for the reals

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking

Combining generic judgments with recursive definitions

Combining Inclusion Polymorphism and Parametric Polymorphism

Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems

Common Knowledge in Email Exchanges

Common Knowledge in Interaction Structures

Common knowledge revisited