Advertisement

CEC: A system for the completion of conditional equational specifications

  • Hubert Bertling
  • Harald Ganzinger
  • Renate Schäfers
Systems Exhibition
Part of the Lecture Notes in Computer Science book series (LNCS, volume 300)

References

  1. [1]
    Ganzinger, H.: Ground term confluence in parametric conditional equational specifications. Proc. STACS 1987, LNCS 247, 1987.Google Scholar
  2. [2]
    Ganzinger, H.: A completion procedure for conditional equations. Report 234, U. Dortmund, 1987, to appear in Proc. 1st Int'l Workshop on Conditional Term Rewriting, LNCS, 1988.Google Scholar
  3. [3]
    Kapur, D., Narendran, P., and Sivakumar, G.: A path ordering for proving termination of term rewrite systems. LNCS 186, 1985, 173–187.Google Scholar
  4. [4]
    Ben Cherifa, A. and Lescanne, P.: An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations. Proc. CADE-8, LNCS 230, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Hubert Bertling
    • 1
  • Harald Ganzinger
    • 1
  • Renate Schäfers
    • 1
  1. 1.Fachbereich InformatikUniversität DortmundDortmund 50W. Germany

Personalised recommendations