摘要：关于有界定时词和密集实时环境中的度量时间逻辑（MTL）和一阶逻辑（FO [<，+1]）的比较
作者：Hsi-Ming Ho, Jo"el Ouaknine, and James Worrell
论文ID：1803.02653
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中