Local quantifier elimination
From MaRDI portal
Recommendations
Cited in
(6)- Towards fast one-block quantifier elimination through generalised critical values
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
- On negation: Pure local rules
- Local soundness for QBF calculi
- Fast approximations of quantifier elimination
- scientific article; zbMATH DE number 432702 (Why is no real title available?)
This page was built for publication: Local quantifier elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454748)