Cores of Countably Categorical Structures

Correspondences between Classical, Intuitionistic and Uniform Provability

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis

Covered Clause Elimination

Covering of ordinals

Craig Interpolation for Quantifier-Free Presburger Arithmetic

Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL

Curry-style type Isomorphisms and Game Semantics

Cut Elimination for a Logic with Generic Judgments and Induction

Cut Elimination for a Logic with Induction and Co-induction

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

Cut-elimination for the mu-calculus with one variable

Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI

Cut-Simulation and Impredicativity

Cutting Through Regular Post Embedding Problems

Cyclic and Inductive Calculi are equivalent

Data complexity of answering conjunctive queries over SHIQ knowledge bases

Data linkage algebra, data linkage dynamics, and priority rewriting

Data linkage dynamics with shedding

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers