|
|||||
|
|
Extending Kamp's Theorem to Model Time Granularity |
|
| Authors: | Montanari, Angelo Peron, Adriano Policriti, Alberto |
| Affiliation: | 1 Dipartimento di Matematica e Informatica, Università di Udine, Via delle Scienze 206, 33100 Udine, Italy. E-mail: montana{at}dimi.uniud.it, 2 Dipartimento di Scienze Fisiche, Università di Napoli Federico II, Via Cintia, 80126 Napoli, Italy. E-mail: peron{at}na.infn.it, 3 Dipartimento di Matematica e Informatica, Università di Udine, Via delle Scienze 206, 33100 Udine, Italy. E-mail: policrit{at}dimi.uniud.it |
| Abstract: | |
| Keywords: | Kamp's theorem linear temporal logic functional completeness time granularity |
| 本文献已被 Oxford 等数据库收录！ | |