An algebraic approach to unification under associativity and commutativity

  • Albrecht Fortenbacher
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 202)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Co80]Collins, G.E.ALDES and SAC-2 Now Available SIGSAM Bulletin 10/2, 1980.Google Scholar
  2. Fa83]Fages, F.Associative-Commutative Unification Preliminary Draft, INRIA, 1983.Google Scholar
  3. [Fo83]Fortenbacher, A.Algebraische Unifikation Diplomarbeit, Institut für Informatik, Universität Karlsruhe, 1983.Google Scholar
  4. [H179]Hullot, J.M.Associative-Commutative Pattern Matching Fifth Internation Joint Conference on Artificial Intelligence, Tokyo, 1979.Google Scholar
  5. [H180]Hullot, J.M.A catalogue of Canonical Term Rewriting Systems Techn. Report CSL-113, SRI International, 1980.Google Scholar
  6. [HO80]Huet, G., Oppen, D.C.Equations and Rewrite Rules: A Survey. In Formal Languages: Perspectives and Open Problems., Ed. Book, R., Academic Press, 1980.Google Scholar
  7. [Hu78]Huet, G.An Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations Inf. Process. Lett. 7/3, 1978.Google Scholar
  8. [KB70]Knuth, D. E., Bendix, P.B.Simple Word Problems in Universal Algebras In Computational Problems in Abstract Algebra, Ed. Leech, Pergamon Press, Oxford, 1970.Google Scholar
  9. [Ku82]Küchlin, W.W.An Implementation and Investigation of the Knuth-Bendix Completion Procedure Interner Bericht, Institut für Informatik, Universität Karlsruhe, 1982.Google Scholar
  10. [Lo76]Loos, R.G.K.The Algorithm Description Language ALDES (Report) SIGSAM Bulletin 10/1, 1976.Google Scholar
  11. [Ro65]Robinson, J.A.A Machine-Oriented Logic Based on the Resolution Principle JACM 12, 1965.Google Scholar
  12. [Ro71]Robinson, J.A.Computational Logic. The Unification Computation. In Machine Intelligence 6, Eds. Michie, Meltzer, Edinburgh University Press, 1971.Google Scholar
  13. [SL76]Siekmann, J., Livesey, M.Unification of A + C-Terms (Bags) and A+C+I-Terms (Sets) Interner Bericht 3/76, Institut für Informatik, Universität Karlsruhe 1976.Google Scholar
  14. [St81]Stickel, M.E.A Unification Algorithm for Associative-Commutative Functions JACM 28, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Albrecht Fortenbacher
    • 1
    • 2
  1. 1.Institut für InformatikUniversität KarlsruheKarlsruheFRG
  2. 2.IBM Thomas J. Watson Research CenterYorktown HeightsUSA

Personalised recommendations