A PVS Theory for Term Rewriting Systems (2008)

Cached

Download Links

by André L. Galdino , Mauricio Ayala-Rincón
Citations:2 - 2 self