Formal proofs about rewriting using ACL2 (2002)

Cached

Download Links

by José-luis Ruiz-reina , José-antonio Alonso , María-josé Hidalgo , Francisco-jesús Martín-mateos
Venue:Annals of Mathematics and Artificial Intelligence
Citations:8 - 1 self