Unification problems with one-sided distributivity
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 398-406
- https://doi.org/10.1007/3-540-15976-2_20
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUPMathematics of the USSR-Sbornik, 1977
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975
- Hilbert's Tenth Problem is UnsolvableThe American Mathematical Monthly, 1973