乌尔里希·伯杰;赫尔穆特·施维赫滕贝格 通过证明转换进行程序开发。 (英语) Zbl 0856.03010号 Schwichtenberg,Helmut(编辑),《证明与计算》。1993年7月20日至8月1日在德国马克托伯多夫举行的北约ASI暑期学校会议记录。柏林:Springer-Verlag。北约ASI系列。,序列号。F、 计算。系统。科学。139, 1-45 (1995). 审核人:李翔(贵阳) MSC公司:03B35型 68吨15 03B60号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{H.Schwichtenberg},北约ASI系列。,序列号。F、 计算。系统。科学。139,1--45(1995;Zbl 0856.03010)
陆建国;徐家福 基于类型理论的类比程序推导。 (英语) Zbl 0770.68091号 西奥。计算。科学。 113,第2期,259-272(1993).MSC公司:第68季度第60季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}和\textit{J.Xu},Theor。计算。科学。113,第2号,259--272(1993;Zbl 0770.68091) 全文: 内政部
迪迪埃·加米歇 建构型理论中的程序开发。 (英语) Zbl 0760.68012号 西奥。计算。科学。 94,第2期,237-259(1992).MSC公司:68号01 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本{D.Galmiche},Theor。计算。科学。94,第2号,237--259(1992;Zbl 0760.68012) 全文: 内政部
维姆·赫塞林克。 重复,已知还是未知? (英语) Zbl 0751.68035号 信息处理。莱特。 40,第1期,第51-57页(1991年).MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Inf.过程。莱特。40,编号1,51-57(1991;Zbl 0751.68035) 全文: 内政部
阿米尔·普努利;罗尼·罗斯纳 关于异步无功模块的综合。 (英语) Zbl 0686.68015号 自动化、语言和编程、Proc。第16国际学院,斯特雷萨/意大利1989年,法律。注释计算。科学。372652-671(1989)中所述。MSC公司:第68季度第60季度 68N25号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式
蔡佳珍;罗伯特·佩奇 通过定点计算进行程序推导。 (英语) Zbl 0681.68020号 科学。计算。程序。 11,第3期,197-261(1989).MSC公司:第68季度第60季度 68号01 68瓦99 68第05页 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{J.Cai}和\textit{R.Paige},科学。计算。程序。11,第3号,197--261(1989;Zbl 0681.68020) 全文: 内政部
范·加斯特伦(Antonetta Johanna Maria) 关于数学论点的形状。 (英语) Zbl 0672.03041号 埃因霍温(荷兰):埃因霍芬技术大学,论文。ii,183页(1988年)。 审核人:G.谢特林 MSC公司:03F99型 03B35型 第68季度第60季度 03-02 68-02 68吨15 PDF格式BibTeX公司 XML格式
科瓦尔斯基,R。 逻辑编程与逻辑规范之间的关系。 (英语) Zbl 0549.68018号 菲洛斯。事务处理。英国皇家学会。,A类 312, 345-361 (1984).MSC公司:68问题65 第68季度第60季度 68T99型 68瓦99 03B10号机组 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski},菲洛斯。事务处理。英国皇家学会。,序列号。A 312345-361(1984年;Zbl 0549.68018) 全文: 内政部