✦ LIBER ✦

Quantifier elimination for infinite terms

✍ Scribed by G. Marongiu; S. Tulipani

Publisher: Springer
Year: 1991
Tongue: English
Weight: 952 KB
Volume: 31
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01370691

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantifier elimination for modules

✍ Weispfenning, Volker 📂 Article 📅 1985 🏛 Springer-Verlag ⚖ 622 KB

Quantifier elimination for Stone algebra

Quantifier elimination for Stone algebras

✍ Switgard Feuerstein 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 774 KB

Quantifier Elimination for Distributive

Quantifier Elimination for Distributive Lattices and Measure Algebras

✍ Volker Weispfenning 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 722 KB

Quantifier Elimination for Trigonometric

Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition

✍ Petru Pau; Josef Schicho 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 320 KB

Given a formula Φ in r variables, some of them quantified and/or occurring as arguments in trigonometric functions, we consider in this paper the problem of finding a quantifierfree formula equivalent to Φ. We present an algorithm that first computes a decomposition of the space so that the polynom

Quantifier Elimination for Real Algebra

Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond

✍ V. Weispfenning 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 320 KB

A quantifier elimination for the theory

A quantifier elimination for the theory of p-adic numbers

✍ L. Egidi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 651 KB