ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Rewriting"
Mostrando ítems 1-1 de 1
-
Artículo
Formal proofs about rewriting using ACL2
(Springer, 2002)We present an application of the ACL2 theorem prover to reason about rewrite systems theory. We describe the formalization ...