A Model-Constructing Satisfiability Calculus
Abstract elided by the publisher.
Related papers
- The arrow calculus JFP 2010
- Permutation Games for the Weakly Aconjunctive \mu μ -Calculus TACAS 2018
- Termination of rewriting in the Calculus of Constructions JFP 2003
- Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions CPP 2026
- Fair reactive programming POPL 2014
- Homomorphism Calculus for User-Defined Aggregations OOPSLA 2025
- Constructive characterisations of the MUST-preorder for asynchrony ESOP 2025
- A Constructive Logic of Multiple Subtyping POPL 1993