Normalization via rewrite closures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1631, Issue , 1999, Pages 190-204

  Bachmair, L ^a   Ramakrishnan, C R ^a   Ramakrishnan, I V ^a   Tiwari, A ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

CONGRUENCE CLOSURE; NORMAL FORM; NORMALIZATION METHODS; REWRITE SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84957635695     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48685-2_15     Document Type: Conference Paper

References (11)

1. L. Bachmair. Canonical equational proofs. Birkhäuser, Boston, 1991.
2. L. Bachmair and N. Dershowitz. Equational inference, canonical proofs, and proof orderings. JACM, 41:236-276, 1994.
3. L. P. Chew. An improved algorithm for computing with equations. In 21st Annual Symposium on Foundations of Computer Science, 1980.
4. L. P. Chew. Normal forms in term rewriting systems. PhD thesis, Purdue University, 1981.
5. N. Dershowitz and J. P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science (Vol. B: Formal Models and Semantics), Amsterdam, 1990. North-Holland.
6. D. Kapur. Shostak's congruence closure as completion. In H. Comon, editor, Proc. 8th Intl. RTA, pages 23-37, 1997. LNCS 1232, Springer, Berlin.
7. J. W. Klop. Term rewriting systems. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 1, chapter 6, pages 2-116. Oxford University Press, Oxford, 1992.
8. G. Nelson and D. Oppen. Fast decision procedures based on congruence closure. JACM, 27(2):356-364, 1980.
9. D. J. Sherman and N. Magnier. Factotum: Automatic and systematic sharing support for systems analyzers. In Proc. TACAS, LNCS 1384, 1998.
10. R. M. Verma. A theory of using history for equational systems with applications. JACM, 42:984-1020, 1995.
11. R. M. Verma and I. V. Ramakrishnan. Nonoblivious normalization algorithms for nonlinear systems. In Proc. of the Int. Colloquium on Automata, Languages and Programming, New York, 1990. Springer-Verlag.