Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Rewriting"
Now showing items 1-1 of 1
Formal proofs about rewriting using ACL2 [Article](Springer, 2002)
We present an application of the ACL2 theorem prover to reason about rewrite systems theory. We describe the formalization and representation aspects of our work using the firstorder, quantifier-free logic of ACL2 and ...