STEILA, SILVIA
STEILA, SILVIA
INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.013 secondi).
An analysis of the Podelski–Rybalchenko termination theorem via bar recursion
2019-01-01 Berardi, Stefano; Oliva, Paulo; Steila, Silvia
An intuitionistic version of Ramsey Theorem and its use in Program Termination
2015-01-01 Stefano, Berardi; Silvia, Steila
GENERIC LARGE CARDINALS and SYSTEMS of FILTERS
2017-01-01 Audrito G.; Steila S.
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
Ramsey's theorem for pairs and K colors as a sub-classical principle of arithmetic
2017-01-01 Berardi, Stefano; Steila, Silvia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An analysis of the Podelski–Rybalchenko termination theorem via bar recursion | 2019 | Berardi, Stefano; Oliva, Paulo; Steila, Silvia | |
| An intuitionistic version of Ramsey Theorem and its use in Program Termination | 2015 | Stefano, Berardi; Silvia, Steila | |
| GENERIC LARGE CARDINALS and SYSTEMS of FILTERS | 2017 | Audrito G.; Steila S. | |
| 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 | |
| Ramsey's theorem for pairs and K colors as a sub-classical principle of arithmetic | 2017 | Berardi, Stefano; Steila, Silvia |