𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Analysis of crater distributions in mare units on the lunar far side

✍ Scribed by A. S. Walker; Farouk El-Baz

Book ID
105013838
Publisher
Springer Netherlands
Year
1982
Tongue
English
Weight
662 KB
Volume
27
Category
Article
ISSN
1573-0794

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Decidability of Unification in the Theor
Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit
✍ 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