迈克尔·卡明斯基;雅里夫,雅尔 动作时序逻辑的实时语义。 (英语) Zbl 1050.03014号 J.日志。计算。 13,第6期,921-937(2003). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{Y.Yariv},J.Log。计算。13,第6号,921--937(2003;Zbl 1050.03014) 全文: DOI程序
阿尔卡迪·埃斯特林;迈克尔·卡明斯基 动作的时间逻辑的表达能力。 (英语) Zbl 1011.03009号 J.日志。计算。 12,第5期,839-859(2002).MSC公司:03B44号 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Estrin}和\textit{M.Kaminski},J.Log。计算。12,编号5,839--859(2002年;Zbl 1011.03009) 全文: DOI程序 链接
迈克尔·卡明斯基;约翰·马考斯基(Johann A.Makowsky)。;迈克尔·蒂姆金 通过域闭合假设对开放缺省理论进行扩展。 (英语) Zbl 0901.68188号 J.日志。计算。 8,第2期,169-187(1998).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}等人,J.Log。计算。8,第2号,169--187(1998;Zbl 0901.68188) 全文: DOI程序
迈克尔·蒂姆金;迈克尔·卡明斯基 动作逻辑的语义分析。 (英语) 兹伯利0815.03012 J.日志。计算。 5,第2期,203-212(1995).MSC公司:03B45号 03B60号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tiomkin}和\textit{M.Kaminski},J.Log。计算。5,第2号,203--212(1995;Zbl 0815.03012) 全文: DOI程序
迈克尔·卡明斯基;迈克尔·蒂姆金 用于分支时间逻辑的有限和循环路径模型。 (英语) Zbl 0722.03026号 J.日志。计算。 1,No.1,71-82(1990). 审核人:L.Brim(布尔诺) MSC公司:03B70号 2010年第68季度 68问题55 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{M.Tiomkin},J.Log。计算。1,编号1,71--82(1990;Zbl 0722.03026) 全文: DOI程序