Formalizing Rewriting in the ACL2 Theorem Prover

José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos. Formalizing Rewriting in the ACL2 Theorem Prover. In John A. Campbell, Eugenio Roanes-Lozano, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers. Volume 1930 of Lecture Notes in Computer Science, pages 92-106, Springer, 2000. [doi]

Abstract

Abstract is missing.