A Complete and Terminating Execution Model for Constraint Handling Rules
A Complete Characterization of Complete Intersection-Type Theories
A Completeness Theorem for "Total Boolean Functions"
A computational definition of the notion of vectorial space
A Computer Verified Theory of Compact Sets
A computer verified, monadic, functional implementation of the integral
A Concrete Final Coalgebra Theorem for ZF Set Theory
A Concrete Representation of Observational Equivalence for PCF
A Concurrent Calculus with Atomic Transactions
A convenient differential category
A Cook's Tour of the Finitary Non-Well-Founded Sets
A criterion for separating process calculi
A CSP Account of Event-B Refinement
A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms
A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version
A Decidable Class of Nested Iterated Schemata (extended version)
A Decidable Fragment of Strategy Logic
A decidable policy language for history-based transaction monitoring
A Decidable Probability Logic for Timed Probabilistic Systems
A Decidable Timeout based Extension of Propositional Linear Temporal Logic