A PVS Theory for Term Rewriting Systems (2009)

by A L Galdino, M Ayala-Rincón
Venue:In Proc. of the 3 rd Workshop on Logical and Semantic Frameworks with Applications - LSFA 2008, volume 247 of Electronic Notes in Theoretical Computer Science