✦ LIBER ✦

On decidability of equational theories

✍ Scribed by Harvey Friedman

Publisher: Elsevier Science
Year: 1976
Tongue: English
Weight: 266 KB
Volume: 7
Category: Article
ISSN: 0022-4049
DOI: 10.1016/0022-4049(76)90062-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equational theories of tropical semiring

Equational theories of tropical semirings

✍ Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 446 KB

This paper studies the equational theories of various exotic semirings presented in the literature. Exotic semirings are semirings whose underlying carrier set is some subset of the set of real numbers equipped with binary operations of minimum or maximum as sum, and addition as product. Two prime e

The decidability of mechanical theories

✍ G. P. Dishkant 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 86 KB

Lattices of equational theories of model

Lattices of equational theories of models

✍ V. I. Tumanov 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 883 KB

Decidability of ∀*∀-Sentences in Members

Decidability of ∀*∀-Sentences in Membership Theories

✍ Eugenio G. Omodeo; Franco Parlamento; Alberto Policriti 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 1007 KB

Decidability of the restriction equation

Decidability of the restriction equational theory in the partial lambda calculus

✍ Ramón Pino Perez 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 954 KB

A property of the lattice of equational

A property of the lattice of equational theories

✍ William A. Lampe 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 440 KB