A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
Revisión del 10:50 2 jun 2010 de Mjoseh (discusión | contribuciones)
| Title: | |
| Authors: | José A. Alonso, María J. Hidalgo and Francisco J. Martín. |
| Date: | |
| Description: | |
| Code: | You can find the PVS theories in ... |
| Documentation: | Proving termination with multiset orderings in PVS: theory, methodology and applications |
