𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Solving *-problems modulo Distributivity by a Reduction to AC1-unification

✍ Scribed by Evelyne Contejean


Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
782 KB
Volume
16
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.