Similar Items: On the relative proof complexity of deep inference via atomic flows
- Normalisation Control in Deep Inference via Atomic Flows
- Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
- Typability and Type Inference in Atomic Polymorphism
- Certifying Confluence Proofs via Relative Termination and Rule Labeling
- Proof complexity of positive branching programs
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory