|
|||||
|
|
How to avoid the formal verification of a theorem prover |
|
| Authors: | Avellone, A Benini, M Moscato, U |
| Affiliation: | A Dipartimento di Metodi Quantitativi per l'Economia, Università degli Studi di Milano-Bicocca, Piazza dell'Ateneo Nuovo 1, 20126 Milano, Italy E-mail: alessandro.avellone@unimib.it; ugo.moscato@textttunimib.it A2 Centro di Ricerca Informatica Interattiva, Università dell'Insubria, via Ravasi 2, 21100 Varese, Italy E-mail: benini@dsi.unimi.it |
| Abstract: | |
| Keywords: | program verification automated theorem proving intuitionistic logic program translation |
| 本文献已被 Oxford 等数据库收录！ | |