Unification in the data structure sets

  • Wolfram Büttner
Unification Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)


General Unifier Maximal Element Unification Algorithm Congruence Class Unification Problem 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

4. References

  1. [BU 85]
    W. Büttner "Unification in the Datastructure Multisets" To appear in JAR, 1986Google Scholar
  2. [CP 61]
    A. Clifford, G. Preston "The Algebraic Theory of Semigroups" Math. Surveys, vol. 1, no. 7, 1981Google Scholar
  3. [FA 84]
    F. Fages "Associative-Commutative Unification" CADE-7, LNCS 170, 1984Google Scholar
  4. [FT 85]
    A. Fortenbacher "An Algebraic Approach to Unification under Associativity and Commutativity" CRTA-85, Dijon, 1985Google Scholar
  5. [HS 85]
    A. Herold, J. Siekmann "Unification in Abelian Semigroups" Seki-Research Report, Univ. of Kaiserslautern, 1985Google Scholar
  6. [LS 76]
    M. Liversey, J. Siekmann "Unification of Sets and Multisets" Univ. of Karlsruhe, Techn. Report, 1976Google Scholar
  7. [PL 72]
    G. Plotkin "Building in Equational Theories" Machine Intelligence, vol.7, 1972Google Scholar
  8. [SI 84]
    J. Siekmann "Universal Unification" LNCS 170, 1984Google Scholar
  9. [SS 82]
    J. Siekmann, P. Szabo "Universal Unification" Informatik-Fachberichte, no. 58, 1982Google Scholar
  10. [ST 81]
    M. Stickel "A Unification Algorithm for Assoc. Comm. Functions" JACM 28, no.3, 1981Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Wolfram Büttner
    • 1
  1. 1.Siemens AG Corporate Laboratories for Information TechnologyMunich 83

Personalised recommendations