𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Intersections of finitely generated clones

✍ Scribed by Lucien Haddad

Publisher
Springer
Year
1990
Tongue
English
Weight
422 KB
Volume
27
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Finding Intersections and Normalizers in
Finding Intersections and Normalizers in Finitely Generated Nilpotent Groups
✍ E.H. LO πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 475 KB

We present algorithms for computing intersections, normalizers and subgroup products of subgroups in finitely generated nilpotent groups given by nilpotent presentations. The problems are reduced to solving for certain minimal solutions in linear Diophantine equations over the integers. Performance

Intersection of finitely generated congr
Intersection of finitely generated congruences over term algebra
✍ 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