Characteristic Formulae for Relations with Nested Fixed Points

Characteristics of Minimal Effective Programming Systems

Characterization and definability in modal first-order fragments

Characterization of Strongly Equivalent Logic Programs in Intermediate Logics

Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic

Checking Properties within Fairness and Behavior Abstractions

Church => Scott = Ptime: an application of resource sensitive realizability

Church's thesis is questioned by new calculation paradigm

Cirquent calculus deepened

Classes of Terminating Logic Programs

Classical and Intuitionistic Subexponential Logics are Equally Expressive

Classical BI: Its Semantics and Proof Theory

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