The Dedekind Reals in Abstract Stone Duality
The Dedekind Reals in Abstract Stone Duality
The Decision Problem for Standard Classes
The Cut-Elimination Theorem for Differential Nets with Promotion
The Computer Modelling of Mathematical Reasoning Alan Bundy
The computational content of Zorn`s lemma
The complexity of the dependence operator
The Complexity of Satisfiability Problems: Refining Schaefer`s
The Complexity of Local Stratification - SUrface
The Complete Proof Theory of Hybrid Systems
The Complete Proof Theory of Hybrid Systems
The Compactness Theorem for first-order logic
The Compactness Theorem 1 The Compactness Theorem
The Communication Process
the common rules of binary connectives are finitely based
The Coinductive Formulation of Common Knowledge
The Closed World Assumption
The Cellular Automata *0*0*000 Have No Nontrivial
The Bene ts of Relaxing Punctuality1
The Bang-Bang Funnel Controller (long version)
