Combining decision procedures for the reals

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking

Combining generic judgments with recursive definitions

Combining Inclusion Polymorphism and Parametric Polymorphism

Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems

Common Knowledge in Email Exchanges

Common Knowledge in Interaction Structures

Common knowledge revisited

Common Reusable Verification Environment for BCA and RTL Models

Compactly accessible categories and quantum key distribution

Compactly generating all satisfying truth assignments of a Horn formula

Comparing Computational Power

Comparing hierarchies of total functionals

Comparison of Algorithms for Checking Emptiness on Buechi Automata

Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic

Compiling and securing cryptographic protocols

Complete Axiomatizations for Reasoning About Knowledge and Time

Completeness for Flat Modal Fixpoint Logics

Complex Algebras of Arithmetic

Complex Optimization in Answer Set Programming