International Symposium on Symbolic and Algebraic Manipulation

EUROSAM 1979: Symbolic and Algebraic Computation pp 22-22 | Cite as

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