D.哈雷。;R.谢尔曼。 流程图的命题动态逻辑。 (英语) Zbl 0575.68039号 Inf.控制 64, 119-135 (1985).MSC公司:68问题65 60年第68季度 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{R.Sherman},《信息控制》64,119--135(1985;Zbl 0575.68039) 全文: 内政部
皮埃尔·沃尔珀 时间逻辑可以更具表现力。 (英语) Zbl 0534.03009号 Inf.控制 56, 72-99 (1983). 审核人:J.兹拉图斯卡 MSC公司:03B45号 20层03 60年第68季度 68问题65 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Wolper},Inf.Control公司56,72--99(1983;Zbl 0534.03009) 全文: 内政部
布鲁诺·库塞尔;保罗·弗朗西·扎内塔奇 关于属性系统的等价问题。 (英语) Zbl 0529.68005号 Inf.控制 52, 275-305 (1982).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Franchi-Zannettacci},Inf.Control 52,275--305(1982;Zbl 0529.68005) 全文: 内政部
苏珊·康里(Susan E.Conry)。;J.Robert跳 关于并行计算模型中的函数等价性。 (英语) Zbl 0418.68051号 Inf.控制 41, 247-274 (1979).MSC公司:99年第68季度 65年第68季度 60年第68季度 68N99型 68瓦99 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.E.Conry}和\textit{J.R.Jump},Inf.Control 41,247--274(1979;Zbl 0418.68051) 全文: 内政部