𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Positive algebras with congruences of finite index

✍ Scribed by N. Kh. Kasymov


Publisher
Springer US
Year
1991
Tongue
English
Weight
727 KB
Volume
30
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Intersection of finitely generated congr
✍ SΓ‘ndor VΓ‘gvΓΆlgyi πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 350 KB

We show that it is decidable for any given ground term rewrite systems R and S if there is a ground term rewrite system U such that If the answer is yes, then we can e ectively construct such a ground term rewrite system U . In other words, for any given ΓΏnitely generated congruences and over the t