Minimal and Complete Word Unification

Journal of the ACM (JACM)

Volumn 37, Issue 1, 1990, Pages 47-85

  Jaffar, Joxan ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--ALGORITHMS;

SATISFIABILITY; WORD EQUATIONS; WORD UNIFICATION;

AUTOMATA THEORY;

EID: 0025207616     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/78935.78938     Document Type: Article

References (11)

1. ABDULRAB, H. Resolution D'Dquations sur les mots: Etude et Implementation Lisp de L'Llgorithme de Makanin. These doctorat es sciences, Université de Rouen, Rouen, France, Mar. 1987.
2. BENNETT, J. H. CRT-aided semi-automated mathematics. AFCRL 67-0167. Applied Logic Corporation, Princeton, N.J., 1967.
3. BULITKO, V. K. Equations and inequalities in a free group and a free semigroup. Tul. Gos. Ped. Inst. Ucen. Zap. Mat. Kafedr Vyp 2, Geometr. i Algebra (1970), 242-252 (in Russian).
4. COOPER, D. C. Theorem-proving in arithmetic without multiplication. Mach. Int. 7 (1972), 91-99.
5. HMELEVSKII, JU. I. Equations in free semigroups. Trudy Mat. Inst. Steklov 107 (1971) (English translation; Proc. Steklov Inst. of Mathematics 107 (1971, 1977)), 269 pages.
6. MAKANIN, G. S. The problem of solvability of equations in a free semigroup. Math. USSR Sbornik 32, 2 (1977), 129-198 (In AMS, (1979)).
7. NEVINS, A. J. A human oriented logic for theorem proving. J. ACM 21, 4 (Oct. 1974), 606-621.
8. PECUCHET, J.-P. Equations avec Constantes et Algorithme de Makanin. These 3e Cycle, Université de Rouen, Rouen, France, Dec. 1981.
9. PLOTKIN, G. D. Building in equational theories. Mach. Int. 7 (1972), 73-90.
10. SIEKMANN, J. String unification. Memo CSM-7, Essex Univ., Essex, England, 1975.
11. SIEKMANN, J., AND SZABO, P. Universal unification and a classification of equational theories. In Proceedings of the 6th Conference on Automated Deduction (New York). Lecture Notes in Computer Science, Springer-Verlag, New York, 1982, vol. 13, pp. 369-389.