A PVS Theory for Term Rewriting Systems (2008)

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