𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A direct proof of the confluence of combinatory strong reduction

✍ Scribed by René David

Book ID
108281546
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
734 KB
Volume
410
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Combinatorial Proof of the Effective N
A Combinatorial Proof of the Effective Nullstellensatz
✍ Thomas W. Dubé 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 481 KB

Let \(I\) be an ideal in the affine multi-variate polynomial ring \(\mathcal{A}=K\left[x_{1}, \ldots, x_{n}\right]\). Beginning with the work of Brownawell, there has been renewed interest in recent years in using the degrees of polynomials which generate \(I\) to bound the degree \(D\) such that: