Diferencia entre revisiones de «Refinements»

De WikiGLC
Saltar a: navegación, buscar
(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:
* '''Title:'''  
+
{| border="1"
* '''Autores:''' {{jalonso}} y {{mjoseh}}.
+
| '''Title:'''  
* '''Fecha de realización:'''  
+
|
* '''Abstract:'''  
+
|-
* '''Code:''' You can find the PVS theories in ...
+
| '''Authors:'''  
* '''Documentation:'''
+
| {{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