𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the decidability of mls extended with the powerset operator

✍ Scribed by A. Ferro

Publisher
John Wiley and Sons
Year
1985
Tongue
English
Weight
335 KB
Volume
38
Category
Article
ISSN
0010-3640

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)