Classical Mathematics for a Constructive World

Classical Predicative Logic-Enriched Type Theories

Classification with Tarskian system executions (Bakery Algorithms as an example)

Clausal Temporal Resolution

Clone Theory and Algebraic Logic

Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic

Clones and Genoids in Lambda Calculus and First Order Logic

Closed nominal rewriting and efficiently computable nominal algebra equality

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