E.M.克拉克。;德拉吉切斯库,I.A。;库尔山,R.P。 一种统一的方法,用于显示各种类型的\(\omega \)-自动机之间的语言包含和等价性。 (英语) Zbl 0925.68274号 信息处理。莱特。 第6期,第6期,第301-308页(1993年).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,《信息处理》。莱特。46,第6号,301--308(1993;Zbl 0925.68274) 全文: 内政部
E.M.克拉克。;基塞斯库博士,I.A。 线性时间和分支时间逻辑的可表达性结果。(技术贡献)。 (英语) Zbl 0683.68030号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。354, 428-437 (1989). 审核人:N.Curteanu公司 MSC公司:68问题65 03B45 60年第68季度 PDF格式BibTeX公司 XML格式