𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Multiplicities of one-sided shifts contained in a contraction operator

✍ Scribed by V. K. Dubovoi


Publisher
Springer US
Year
1983
Tongue
English
Weight
133 KB
Volume
17
Category
Article
ISSN
0016-2663

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Decidability of Unification in the Theor
✍ Manfred Schmidt-Schauß πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 683 KB

Unification in the equational theory of one-sided distributivity and a multiplicative unit is shown to be decidable. The algorithm is a non-deterministic one that eventually uses a decision algorithm for string unification problems with constant restrictions, which was shown to be decidable by K. Sc