Título visualizado | Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) |
Criterio de ordenación predeterminado | Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) |
Longitud de la página (en bytes) | 1460 |
Identificador de la página | 82 |
Idioma de la página | es - español |
Modelo de contenido de la página | texto wiki |
Indización por robots | Permitido |
Número de redirecciones a esta página | 0 |
Editar | Permitir todos los usuarios (infinito) |
Trasladar | Permitir todos los usuarios (infinito) |
Creador de la página | Mjoseh (discusión | contribuciones) |
Fecha de creación de la página | 19:07 1 jun 2010 |
Último editor | Mjoseh (discusión | contribuciones) |
Fecha de la última edición | 14:19 8 feb 2012 |
Número total de ediciones | 23 |
Número total de autores distintos | 2 |
Número de ediciones recientes (en los últimos 90 días) | 0 |
Número de autores distintos recientes | 0 |
Plantillas incluidas (3) | Plantillas usadas en esta página:
|