The Coarsest Precongruences Respecting Safety and Liveness Properties
The Completeness of Propositional Resolution: A Simple and Constructive<br> Proof
The complexity of acyclic conjunctive queries revisited
The complexity of admissible rules of Łukasiewicz logic
The Complexity of Datalog on Linear Orders
The Complexity of Enriched Mu-Calculi
The Complexity of Generalized Satisfiability for Linear Temporal Logic
The Complexity of Infinite Computations In Models of Set Theory
The complexity of linear-time temporal logic over the class of ordinals
The Complexity of Mean-Payoff Automaton Expression
The Complexity of Model Checking Higher-Order Fixpoint Logic
The Complexity of Poor Man's Logic
The complexity of positive first-order logic without equality
The Complexity of Proving the Discrete Jordan Curve Theorem
The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case
The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
The Complexity of Temporal Logic over the Reals
The compositional construction of Markov processes
The computability path ordering: the end of a quest