伊恩·卫尔曼;C.A.R.霍尔。;O'Hearn,Peter W。 分离逻辑的图形模型。 (英语) Zbl 1200.68153号 信息处理。莱特。 109,第17号,1001-1004(2009).MSC公司:68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{I.Wehrman}等人,《信息处理》。莱特。109,第17号,1001--1004(2009;Zbl 1200.68153) 全文: 内政部
冯·卡格尔(von Karger),伯加德(Burghard);C.A.R.霍尔。 序贯微积分。 (英语) 兹伯利0875.68202 信息处理。莱特。 53,第3期,123-130(1995).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.von Karger}和\textit{C.A.R.Hoare},Inf.过程。莱特。53,第3号,123--130(1995;Zbl 0875.68202) 全文: 内政部
何继峰;C.A.R.霍尔。 从代数到操作语义。 (英语) Zbl 0795.68124号 信息处理。莱特。 45,No.2,75-80(1993).MSC公司:68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare},Inf.过程。莱特。45,第2号,75--80(1993;Zbl 0795.68124) 全文: 内政部
周朝晨;C.A.R.霍尔。;安德斯·雷文(Anders P.Ravn)。 持续时间的计算。 (英语) 兹比尔074368097 信息处理。莱特。 40,第5期,269-276(1991).MSC公司:第68季度第60季度 68纳米99 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}等人,《信息处理》。莱特。40,编号5,269--276(1991;Zbl 0743.68097) 全文: 内政部
C.A.R.霍尔。 增加功能的固定点。 (英语) Zbl 0695.06003号 信息处理。莱特。 34,编号3111-112(1990).MSC公司:2006年6月 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},Inf.过程。莱特。34,第3号,111--112(1990年;Zbl 0695.06003) 全文: 内政部
C.A.R.霍尔。;何继峰;J.W.桑德斯。 数据细化中的预先指定。 (英语) Zbl 0624.68027号 信息处理。莱特。 25, 71-76 (1987).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人,《Inf.过程》。莱特。25、71——76(1987年;Zbl 0624.68027) 全文: 内政部
C.A.R.霍尔。;何继峰 最弱的预规范。 (英语) Zbl 0622.68025号 信息处理。莱特。 24, 127-132 (1987).MSC公司:第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{J.He},Inf.过程。莱特。24、127--132(1987年;Zbl 0622.68025) 全文: 内政部
C.A.R.霍尔。 排队规则的一般守恒定律。 (英语) Zbl 0268.68008号 信息处理。莱特。 2, 82-85 (1973).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},Inf.过程。莱特。2、82--85(1973;Zbl 0268.68008) 全文: 内政部