Diferencia entre revisiones de «Refinements»
(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 09:51 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 |