Advertisement

Unification of commutative terms

  • J. Siekmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 72)

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • J. Siekmann
    • 1
  1. 1.Universität KarlsruheW. Germany

Personalised recommendations