雷诺兹,马克 重新审视度量时态逻辑。 (英语) Zbl 1339.03019号 学报信息。 53,第3号,301-324(2016). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},Acta Inf.53,No.3,301--324(2016;Zbl 1339.03019) 全文: 内政部
阿希姆·D·布鲁克。;沃尔夫,伯克哈特 面向对象规范的语义、计算和分析。 (英语) 兹比尔1179.68078 学报信息。 46,第4期,255-284(2009).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Brucker}和\textit{B.Wolff},《学报》第46期,第4期,255-284(2009年;Zbl 1179.68078) 全文: 内政部
斯特凡·卡尔斯 无限重写:元理论和收敛。 (英语) Zbl 1120.68062号 学报信息。 44,第2期,91-121(2007).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs},Acta Inf.44,No.2,91-121(2007;Zbl 1120.68062) 全文: 内政部 链接
北卡罗来纳州哈曼。;J.V.塔克。 微处理器体系结构和组织的代数模型。 (英语) Zbl 0855.68064号 学报信息。 33,第5期,421-456(1996).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Harman}和\textit{J.V.Tucker},《学报》第33期,第5期,421--456(1996;Zbl 0855.68064) 全文: 内政部