scientific article; zbMATH DE number 1301870

MaRDI QIDQ4247095zbMATH OpenFDO

Authors Serge Autexier, Heiko Mantel, Werner Stephan

Publication date 16 June 1999

zbMATH Keywords

sequent calculussimultaneous elimination of multiple quantifiers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Quantifier elimination by dependency sequents
• Applying Linear Quantifier Elimination
• Quantifier elimination for real algebra -- the quadratic case and beyond

Cited in

(6)

• Higher-order quantifier elimination, counter simulations and fault-tolerant systems
• Quantifier elimination in automatic loop parallelization
• Towards incorporating background theories into quantifier elimination
• scientific article; zbMATH DE number 1342207 (Why is no real title available?)
• The Monotonous Elimination of Predicate Variables
• On the elimination of some higher type quantifiers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247095)