Sitio en pruebas. ¿No encuentras lo que buscas? Prueba en
https://old.biblioteca.sistedes.es
.
Iniciar sesión
Correo electrónico
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Comunidades
Toda la biblioteca
Acerca de la biblioteca
Autoría y derechos
Iniciar sesión
Correo electrónico
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Inicio
Jornadas sobre Programación y Lenguajes (PROLE)
PROLE 2017 (La Laguna)
Termination
Examinar por materia
Termination
URI permanente para esta colección:
https://hdl.handle.net/11705/1967
Artículos en la categoría
Termination
publicados en las
Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017)
.
Examinar
Envíos recientes
Por fecha de publicación
Por autor
Por titulo
Por materia
Envíos recientes
Por fecha de publicación
Por autor
Por titulo
Por materia
Examinando Termination por Materia
Examinar
Mostrando
1 - 6 de 6
Resultados por página
1
5
10
20
40
60
80
100
Opciones de ordenación
Ascendente
Descendente
Abstraction
1
Integer Automata
1
Logical Models
1
Operational Termination
1
Termination Analysis
1
Verification Platform
1