克劳斯·伯克林。;埃尔弗里德·费尔 作为函数式编程语言基础的lambda-calculus的一致扩展。 (英语) Zbl 0553.68025号 Inf.控制 55, 89-101 (1982). 审核人:J.伯格斯特拉 MSC公司:68问题65 03B40型 68问题55 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.J.Berkling}和\textit{E.Fehr},Inf.Control 55,89--101(1982;Zbl 0553.68025) 全文: 内政部
V.N.多姆拉乔夫。;Yu Kapitonova。五、。;萨莫·伦科(Samoĭlenko,L.G.)。 用类型演算定义编程语言结构语义的方法。 (俄语) Zbl 0537.68020号 数学研究自动化,收藏。科学。Works,基辅,1982,46-54(1982)。 审核人:杰拉图什卡 MSC公司:60年第68季度 03B40型 68问题65 03B35型 PDF格式BibTeX公司 XML格式
大卫·哈雷;德克斯特·科赞 一种用于归纳集和应用程序的编程语言。 (英语) Zbl 0502.68003号 自动化,语言和编程,第九学院,奥胡斯/丹麦。1982年,勒克特。注释计算。科学。140, 313-329 (1982).MSC公司:68问题65 68号01 03日70 2005年第68季度 PDF格式BibTeX公司 XML格式
塔马斯·格格利;拉兹洛·乌里 通信顺序过程的表示和验证。 (英语) Zbl 0488.68029号 计算。语言学家。计算。语言。 15, 157-174 (1982).MSC公司:68N25号 60年第68季度 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{T.Gergely}和\textit{L.Ury},计算。语言学家。计算。语言15,157--174(1982;Zbl 0488.68029)
罗伯特·西蒙斯。;丹尼尔·切斯特 将句子和语义网络与过程逻辑联系起来。 (英语) Zbl 0486.68105号 Commun公司。ACM公司 25, 527-547 (1982).MSC公司:68吨15 68T99型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Simmons}和\textit{D.Chester},Commun。ACM 25,527--547(1982;Zbl 0486.68105) 全文: 内政部
安德烈·索尔维基 数据结构的算法理论。 (英语) Zbl 0483.68019号 自动化,语言和编程,第九学院,奥胡斯/丹麦。1982年,勒克特。注释计算。科学。140, 458-472 (1982).MSC公司:68第05页 PDF格式BibTeX公司 XML格式
阿普特,克日什托夫R。;范埃姆登,M.H。 对逻辑程序设计理论的贡献。 (英语) Zbl 0483.68004号 J.协会计算。机器。 29, 841-862 (1982).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{M.H.van Emden},J.协会计算。机器。29841-862(1982年;兹bl 048368004) 全文: 内政部 链接
T·盖格利。;Ury,L。 交互式编程理论。 (英语) Zbl 0478.68010号 学报信息。 17, 1-20 (1982).MSC公司:68号01 03年10月 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Gergely}和\textit{L.Ury},《信息学报》17,1--20(1982;Zbl 0478.68010) 全文: 内政部
罗伯特·戈德布拉特 公理化计算机编程的逻辑。 (英语) Zbl 0474.68045号 计算机科学课堂讲稿, 130. 柏林-海德堡-纽约:斯普林格-弗拉格。十一、 304 p.32.80马克;$14.60 (1982).MSC公司:68问题65 60年第68季度 68号01 68-02 03B45号 PDF格式BibTeX公司 XML格式