迈克尔·本尼迪克特;克莱门斯·莱伊 有序树查询语言中的Limiting Until。 (英语) Zbl 1367.68083号 ACM事务处理。计算。日志。 17,第2号,第14条,第34页(2016年).MSC公司:第68页,共15页 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}和\textit{C.Ley},ACM Trans。计算。日志。17,第2号,第14条,第34页(2016年;Zbl 1367.68083) 全文: 内政部 链接
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 未来的时序逻辑需要无限多的形式。 (英语) Zbl 1045.03019号 Inf.计算。 187,第2期,196-208(2003).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich},Inf.Compute。187,第2号,196--208(2003;Zbl 1045.03019) 全文: 内政部
亚历山大·拉比诺维奇;沙哈尔·茂兹 分支时间上的时间逻辑的无限层次结构。 (英语) Zbl 1005.03022号 Inf.计算。 171,第2期,306-332(2001).MSC公司:03B44号 60年第68季度 03立方厘米85 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{S.Maoz},Inf.Comput。171,编号2,306--332(2001;Zbl 1005.03022) 全文: 内政部 链接