Similar Items: Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
- Decidability of Querying First-Order Theories via Countermodels of Finite Width
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- A Forgotten Theory of Proofs ?
- On the strength of proof-irrelevant type theories
- On the relative proof complexity of deep inference via atomic flows
- Certifying Confluence Proofs via Relative Termination and Rule Labeling