Author:
Ayala-Rincón Mauricio,Sant'Ana Thomas M.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS;Proceedings of the 27th Symposium on Integrated Circuits and Systems Design - SBCCI '14;2014
2. A Formalization of the Knuth–Bendix(–Huet) Critical Pair Theorem;Journal of Automated Reasoning;2010-01-21
3. A PVS Theory for Term Rewriting Systems;Electronic Notes in Theoretical Computer Science;2009-08