𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the (un)decidability of a near-unanimity term

✍ Scribed by Miklós Maróti

Publisher
Springer
Year
2007
Tongue
English
Weight
196 KB
Volume
57
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the decidability of exponentia
A note on the decidability of exponential terms
✍ Paola D'Aquino; Giuseppina Terzo 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

## Abstract In this paper we prove, modulo Schanuel's Conjecture, that there are algorithms which decide if two exponential polynomials in π are equal in ℝ and if two exponential polynomials in π and __i__ coincide in ℂ. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)