Similar Items: A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- On the logical complexity of cyclic arithmetic
- The Data Complexity of Description Logic Ontologies
- A System of Interaction and Structure II: The Need for Deep Inference
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- Canonical Models and the Complexity of Modal Team Logic
- The Complexity of Model Checking Higher-Order Fixpoint Logic