This work is partially supported by the ESPRIT-project PROSPECTRA, ref#390.
Chapter PDF
References
Ganzinger, H.: Ground term confluence in parametric conditional equational specifications. Proc. STACS 1987, LNCS 247, 1987.
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.
Kapur, D., Narendran, P., and Sivakumar, G.: A path ordering for proving termination of term rewrite systems. LNCS 186, 1985, 173–187.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertling, H., Ganzinger, H., Schäfers, R. (1988). CEC: A system for the completion of conditional equational specifications. In: Ganzinger, H. (eds) ESOP '88. ESOP 1988. Lecture Notes in Computer Science, vol 300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19027-9_27
Download citation
DOI: https://doi.org/10.1007/3-540-19027-9_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19027-1
Online ISBN: 978-3-540-38941-5
eBook Packages: Springer Book Archive