Computing and Comparing Semantics of Programs in Multi-valued Logics

Computing in Coq with Infinite Algebraic Data Structures

Computing large and small stable models

Computing minimal models, stable models and answer sets

Computing only minimal answers in disjunctive deductive databases

Computing Optimal Coverability Costs in Priced Timed Petri Nets

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming

Computing stable models: worst-case performance estimates

Computing Stuttering Simulations

Computing the output distribution and selection probabilities of a stack filter from the DNF of its positive Boolean function

Computing the Reveals Relation in Occurrence Nets

Computing with Classical Real Numbers

Concurrent Composition and Algebras of Events, Actions, and Processes

Concurrent Scheduling of Event-B Models

Configuration Structures, Event Structures and Petri Nets

Confluence Reduction for Probabilistic Systems (extended version)

Confluence Results for a Quantum Lambda Calculus with Measurements

Confluence via strong normalisation in an algebraic λ-calculus with rewriting

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

Connection and Dispersion of Computation