Unification in Permutative Equational Theories is Undecidable

[1]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[2]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[3]  Gerard Huet,et al.  Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[4]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[5]  Jean-Marie Hullot,et al.  Canonical Forms and Unification , 1980, CADE.

[6]  Gérard P. Huet,et al.  Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.

[7]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[8]  G. Huet,et al.  Equations and rewrite rules: a survey , 1980 .

[9]  Mark E. Stickel,et al.  A Unification Algorithm for Associative-Commutative Functions , 1981, JACM.

[10]  Peter Szabó,et al.  Unifikationstheorie erster Ordnung , 1983 .

[11]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[12]  Heinrich Hußmann,et al.  Unification in Conditional Equational Theories , 1985, European Conference on Computer Algebra.

[13]  Hélène Kirchner,et al.  Completion of a Set of Rules Modulo a Set of Equations , 1986, SIAM J. Comput..

[14]  Jörg H. Siekmann,et al.  Unification theory , 1986, Decis. Support Syst..

[15]  Albrecht Fortenbacher.  An Algebraic Approach to Unification Under Associativity and Commutativity , 1987, J. Symb. Comput..

[16]  Hans-Jürgen Bürckert,et al.  On Equational Theories, Unification and Decidability , 1987, RTA.

[17]  J. Siekmann,et al.  Abelian semigroups , 1987 .

[18]  François Fages.  Associative-Commutative Unification , 1987, J. Symb. Comput..

[19]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[20]  Jörg H. Siekmann,et al.  The Undecidability of the DA-Unification Problem , 1989, J. Symb. Log..