The Category Theoretic Solution of Recursive Program Schemes
The Church Problem for Countable Ordinals
The Church Synthesis Problem with Parameters
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