首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号