Diferencia entre revisiones de «A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution»
(New page: * '''Title:''' * '''Autores:''' {{jalonso}} y {{mjoseh}}. * '''Fecha de realización:''' * '''Abstract:''' * '''Code:''' You can find the PVS theories in ... * '''Documentation:''') |
|||
| Línea 1: | Línea 1: | ||
| − | + | {| border="1" | |
| − | + | | '''Title:''' | |
| − | + | | | |
| − | + | |- | |
| − | + | | '''Authors:''' | |
| − | + | | {{jalonso}}, {{mjoseh}} and {{fmartin}}. | |
| + | |- | ||
| + | | '''Date:''' | ||
| + | | | ||
| + | |- | ||
| + | | '''Description:''' | ||
| + | | | ||
| + | |- | ||
| + | | '''Code:''' | ||
| + | | You can find the PVS theories in ... | ||
| + | |- | ||
| + | | '''Documentation:''' | ||
| + | | [http://www.cs.us.es/~mjoseh/pub/Proving_termination_with_multiset_orderings_in_PVS.pdf Proving termination with multiset orderings in PVS: theory, methodology and applications] | ||
| + | |} | ||
Revisión del 10:50 2 jun 2010
| 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 |
