Chapter PDF
References
Dershowitz N.: Synthesis by Completion Proc. 9th IJCAI, Los Angeles 1985
Fribourg L.: A Strong Restriction of the Inductive Completion Procedure Proc. ICALP 86, 1986
Göbel R.: A Specialized Knuth-Bendix Algorithm for Inductive Proofs Proc. Combinatorial Algorithms in Algebraic Structures, Universität Kaiserslautern 1985
Göbel R.: Ground Confluence SEKI-Report SR-86-18, Universität Kaiserslautern 1986
Huet G., Hullot J.: Proofs by Induction in Equational Theories with Constructors Journal of the Association for Computing Machinery 25(2), p. 239–266, 1982
Huet, G:, Oppen D.: Equations and Rewrite Rules: A Survey Technical Report CSL-111, SRI International 1980
Huet, G.: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems 18th IEEE Symposium on foundations of Computer Science, p. 30–45, 1977
Jouannaud J.-P., Kounalis E.: Proofs by Induction in Equational Theories without Constructors CRIN, University de Nancy, Nancy 1985
Knuth D., Bendix P.: Simple Word Problems in Universal Algebras Computational Problems in Abstract Algebra, Ed. Leech I., Pergamon Press, p. 263–297, 1970
Kapur D.,Narendran P., Otto F.: On ground confluence of term rewriting systems submitted for publication, 1987
Kapur D., Musser D. R.: Proofs by Consistency Proc. of an NSF Workshop on the Rewrite Rule Laboratory Sept. 83 General Electric R & D Center Report GEN84008, Schenectady 1984
Kounalis E.: Completeness in Data Type Specifications Proc. EUROCAL 85, Springer Lecture Notes, Linz 1985
Künchlin W.: A Confluence Criterion Based on the Generalised Newman Lemma Proc. EUROCAL 85, Springer Lecture Notes, Linz 1985
Musser D.: On Proving Inductive Properties of Abstract Data Types 7th Annual ACM Symposium on Principles of Programming Languages, Las Vegas 1980
Winkler F., Buchberger B.: A Crterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm Colloqium on Algebra, Combinatorics and Logic in Computer Science, Györ (Hungary) 1983
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Göbel, R. (1987). Ground confluence. In: Lescanne, P. (eds) Rewriting Techniques and Applications. RTA 1987. Lecture Notes in Computer Science, vol 256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17220-3_14
Download citation
DOI: https://doi.org/10.1007/3-540-17220-3_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17220-8
Online ISBN: 978-3-540-47421-0
eBook Packages: Springer Book Archive