Proving termination of programs having transition invariants of height omega

Abstract
Data di Pubblicazione:
2014
Tipologia CRIS:
04D-Meeting abstract in volume
Elenco autori:
S. Berardi; P. Oliva; S. Steila
Autori di Ateneo:
BERARDI Stefano
Link alla scheda completa:
https://iris.unito.it/handle/2318/150959
Titolo del libro:
Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014.
Pubblicato in:
CEUR WORKSHOP PROCEEDINGS
Journal
CEUR WORKSHOP PROCEEDINGS
Series

Aree Di Ricerca