This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
6. References
Brand, D., Darringer, J., and Joyner, W., Completeness of conditional reductions, IBM Research Center, York-town Heights, 1978.
Bergstra, J. and Klop, J., Conditional rewrite rules: confluency and termination, Department of Computer Science preprint, Mathematische Centrum, Amsterdam, 1982.
Dershowitz, N. and Plaisted, D., Equational programming, 1987, to appear in Machine Intelligence 11.
Kaplan, S., Conditional rewrite rules, Report No. 150, LRI-Orsay, France, 1983. Revised version in: Theoretical Computer Science 33 (1984).
Kaplan, S., Fair conditional term rewriting systems: unification, termination, and confluence, Report No. 194, LRI-Orsay, France, 1984.
Kapur, D. and Otto, F., On ground-confluence of term rewriting systems, 1987, unpublished.
Knuth, D. and Bendix, P., Simple word problems in universal algebras, Computational Problems in Abstract Algebra (J. Leech, ed.), Pergamon Press, Oxford, 1970, pp. 263–297.
O'Donnell, M., Computing in Systems Described by Equations, Lecture Notes in Computer Science 58, Springer-Verlag, 1977.
Remy, J., Proving conditional identities by equational case reasoning, rewriting, and normalization, unpublished manuscript, C.R.I.N., Nancy, 1983.
Zhang, H. and Remy, J., Contextual rewriting, Rewriting Techniques and Applications, J.-P. Jouannaud, ed. (Springer-Verlag, New York, 1985), pp. 46–62.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plaisted, D.A. (1988). A logic for conditional term rewriting systems. In: Kaplan, S., Jouannaud, J.P. (eds) Conditional Term Rewriting Systems. CTRS 1987. Lecture Notes in Computer Science, vol 308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19242-5_16
Download citation
DOI: https://doi.org/10.1007/3-540-19242-5_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19242-8
Online ISBN: 978-3-540-39166-1
eBook Packages: Springer Book Archive