卡马尔·洛达亚 书评:S.Demri等人,《计算机科学中的时间逻辑》。有限状态系统。 (英语) Zbl 1417.00038号 牛市。符号。日志。 23,第2期,203-204(2017).MSC公司:00A17年 68-02 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya},公牛。符号。日志。23,第2号,203--204(2017;Zbl 1417.00038) 全文: 内政部
安德烈·因德泽扎克(Andrzej Indrzejczak) 超序列框架中的线性时间。 (英语) Zbl 1403.03114号 牛市。符号。日志。 第121-144号第22页(2016年).MSC公司:03财年03 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Indrzejczak},公牛。符号。日志。22,第1号,121--144(2016;Zbl 1403.03114) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。 教会的问题再次出现。 (英语) Zbl 0932.03029号 牛市。符号。日志。 5,第2期,245-263(1999).MSC公司:03B70号 60年第68季度 05年3月 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},公牛。符号。日志。5,第2号,245--263(1999;Zbl 0932.03029) 全文: 内政部 链接 链接