International Symposium on Symbolic and Algebraic Manipulation

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

Canonicality in rule systems

  • Michael R. Genesereth
1. Simplification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 72)


Uniqueness Condition Uniqueness Theorem Complexity Measure Side Condition Rule System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brown, P. J.: “Canonical Forms and Artificial Languages”, Mathematical Notes No. 19, Computation Center, U. of N. Carolina, July 1963.Google Scholar
  2. Brown, W. S.: “Rational Exponential Expressions and a Conjecture Concerning π and e”, Amer. Math. Monthly, Vol. 76, January 1969, pp. 28–34.Google Scholar
  3. Caviness, B. F.: “On Canonical Forms and Simplification”, J. ACM, Vol. 17, No. 2, April 1970, pp. 385–396.Google Scholar
  4. Cheatham, T. E.: “Symbolic Evaluation — A Look at Loop Analysis”, Proc. of a Symposium on Symbolic and Algebraic Manipulation, August 1976, pp. 90–96.Google Scholar
  5. Fateman, R. J.: “The User-level Semantic Pattern Matching Capability in MACSYMA”, Proc. of the 2nd Symposium on Symbolic and Algebraic Manipulation, ACM Headquarters, New York, pp. 311–323.Google Scholar
  6. Fateman, R. J.: “Essays in Algebraic Manipulation”, TR-95, M.I.T. Lab. for Comp. Sci., April 1972.Google Scholar
  7. Floyd, R.: “Assigning Meaning to Programs”, Proc. of a Symposium on Applied Mathematics, Vol. 19, Mathematical Aspects of Computer Science, pp. 19–32, American Mathematical Society, New York.Google Scholar
  8. Moses, J.: “Algebraic Simplification: A guide for the Perplexed”, C. ACM, Vol. 14, No. 8, August 1971, pp. 527–537.Google Scholar
  9. Richardson, D.: “Some Unsolvable Problems Involving Functions of a Real Variable”, J. Symbolic Logic, Vol. 33, 1968, pp. 511–520.Google Scholar
  10. Robinson, J. A.: “A Machine-oriented Logic Based on the Resolution Principle”, J. ACM, Vol. 12, No. 1, January 1965, pp. 23–41.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Michael R. Genesereth
    • 1
  1. 1.Laboratory for Computer ScienceMassachusetts Institute of TechnologyCambridge

Personalised recommendations