compactness slides
Compactness
Communication Model
Comments on the use of the pumping lemma for regular languages
comments on the logic of constructible falsity (strong negation)
Comments on predicative logic
Commensurability
Combining Paraconsistent Logic with Argumentation
Combining linear-time temporal logic with
Combined unsigned and two`s complement saturating multipliers
Combinaison des logiques temporelle et déontique pour la
com.1 The Compactness Theorem
Color - Alex Kocurek
College Geometry University of Memphis MATH 3581 Mathematical
code-carrying theory - Computer Science at RPI
Cocktail
CMPUT 650: Learning To Make Decisions
Closed Sets of Higher
Clauses Versus Gates in CEGAR-Based 2QBF Solving Valeriy Balabanov, Jie-Hong R. Jiang,
Clausal Logic and Logic Programming in Algebraic Domains*
Clausal Connection-Based Theorem Proving in