Skip to main content
SpringerLink
Log in

An algebraic approach to unification under associativity and commutativity

  • Conference paper
  • First Online:
Rewriting Techniques and Applications (RTA 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 202))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  • [Co80]Collins, G.E.ALDES and SAC-2 Now Available SIGSAM Bulletin 10/2, 1980.

    Google Scholar 

  • Fa83]Fages, F.Associative-Commutative Unification Preliminary Draft, INRIA, 1983.

    Google Scholar 

  • [Fo83]Fortenbacher, A.Algebraische Unifikation Diplomarbeit, Institut für Informatik, Universität Karlsruhe, 1983.

    Google Scholar 

  • [H179]Hullot, J.M.Associative-Commutative Pattern Matching Fifth Internation Joint Conference on Artificial Intelligence, Tokyo, 1979.

    Google Scholar 

  • [H180]Hullot, J.M.A catalogue of Canonical Term Rewriting Systems Techn. Report CSL-113, SRI International, 1980.

    Google Scholar 

  • [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 

  • [Hu78]Huet, G.An Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations Inf. Process. Lett. 7/3, 1978.

    Google Scholar 

  • [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 

  • [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 

  • [Lo76]Loos, R.G.K.The Algorithm Description Language ALDES (Report) SIGSAM Bulletin 10/1, 1976.

    Google Scholar 

  • [Ro65]Robinson, J.A.A Machine-Oriented Logic Based on the Resolution Principle JACM 12, 1965.

    Google Scholar 

  • [Ro71]Robinson, J.A.Computational Logic. The Unification Computation. In Machine Intelligence 6, Eds. Michie, Meltzer, Edinburgh University Press, 1971.

    Google Scholar 

  • [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 

  • [St81]Stickel, M.E.A Unification Algorithm for Associative-Commutative Functions JACM 28, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Karlsruhe, D-7500, Karlsruhe, FRG

    Albrecht Fortenbacher

  2. IBM Thomas J. Watson Research Center, 10598, Yorktown Heights, N.Y., USA

    Albrecht Fortenbacher

Authors
  1. Albrecht Fortenbacher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean-Pierre Jouannaud

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fortenbacher, A. (1985). An algebraic approach to unification under associativity and commutativity. In: Jouannaud, JP. (eds) Rewriting Techniques and Applications. RTA 1985. Lecture Notes in Computer Science, vol 202. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15976-2_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-15976-2_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15976-6

  • Online ISBN: 978-3-540-39679-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation