STEILA, SILVIA
STEILA, SILVIA
INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Proving termination of programs having transition invariants of height omega
2014-01-01 S. Berardi; P. Oliva; S. Steila
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations
2014-01-01 S. Berardi; S. Steila
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
2014-01-01 S. Berardi; S. Steila
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Proving termination of programs having transition invariants of height omega | 2014 | S. Berardi; P. Oliva; S. Steila | |
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations | 2014 | S. Berardi; S. Steila | |
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic | 2014 | S. Berardi; S. Steila |