Temporalized logics and automata for time granularity

• 期刊名称Theory and Practice of Logic Programming
• 作者FRANCESCHET, MASSIMO; MONTANARI, ANGELO
• 卷第4卷
• 印刷ISSN1471-0684
• 电子ISSN1475-3081
• 文件大小337.07KB
• 发表时间2004-9
• DOI10.1017/s147106840400208x
• 页码621-658