A PVS Theory for Term Rewriting Systems (0)

by A L Galdino, M Ayala-Rincón
Venue:In Proceedings of the Third Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2008