埃里克·C·R·海纳。 编程的实用理论。 (英语) Zbl 0732.68025号 科学。计算。程序。 14,编号2-3,133-158(1990). 审核人:N.A.Huhro(新西伯利亚) MSC公司:68号01 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner},科学。计算。程序。14,编号2--3,133-158(1990;Zbl 0732.68025) 全文: 内政部
E.Pascal格里博蒙特 逐步细化和并发:有限状态的情况。 (英语) Zbl 0719.68041号 科学。计算。程序。 14,编号2-3,185-228(1990). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Gribomont},科学。计算。程序。14,编号2--3,185-228(1990;Zbl 0719.68041) 全文: 内政部
格兰特·马尔科姆 数据结构和程序转换。 (英语) Zbl 0712.68014号 科学。计算。程序。 14,编号2-3,255-279(1990). 审核人:L.布里姆 MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Malcolm},科学。计算。程序。14,编号2--3255-279(1990;Zbl 0712.68014) 全文: 内政部
安妮·卡尔德瓦伊;马丁·雷 收缩计算的推导。 (英语) Zbl 0709.68020号 科学。计算。程序。 14,No.2-3,229-242(1990). 审核人:J.维斯科 MSC公司:68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij}和\textit{M.Rem},科学。计算。程序。14,编号2--3,229--242(1990;Zbl 0709.68020) 全文: 内政部
安妮·卡尔德瓦伊;Schoenmakers,贝瑞 通过消除进行搜索。 (英语) Zbl 0708.68037号 科学。计算。程序。 14,编号2-3,243-254(1990). 审核人:M.Zimand先生 MSC公司:60年第68季度 68号01 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij}和\textit{B.Schoenmakers},科学。计算。程序。14,编号2--3,243--254(1990;Zbl 0708.68037) 全文: 内政部
贾亚德夫·米斯拉 将并发对象指定为通信进程。 (英语) Zbl 0707.68057号 科学。计算。程序。 14,编号2-3,159-184(1990).MSC公司:60年第68季度 2010年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra},科学。计算。程序。14,No.2--3159--184(1990;Zbl 0707.68057) 全文: 内政部
道格拉斯·史密斯。;Michael R.劳里。 算法理论和设计策略。 (英语) Zbl 0705.68077号 科学。计算。程序。 14,编号2-3305-321(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith}和\textit{M.R.Lowry},科学。计算。程序。14,编号2--3,305-321(1990;Zbl 0705.68077) 全文: 内政部
摩根,卡罗尔;特雷弗·维克斯 精化演算中的类型和不变量。 (英语) Zbl 0705.68076号 科学。计算。程序。 14,编号2-3,281-304(1990).MSC公司:60年第68季度 68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}和\textit{T.Vickers},科学。计算。程序。14,编号2--3,281--304(1990;Zbl 0705.68076) 全文: 内政部
K.Mani Chandy 关于连续系统的推理。 (英语) Zbl 0705.68072号 科学。计算。程序。 14,编号2-3,117-132(1990).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Chandy},科学。计算。程序。14,编号2--3,117-132(1990;Zbl 0705.68072) 全文: 内政部