D.格里斯。;普林斯,J.F。 迈凯轮的杰作。 (英语) 兹比尔0649.68031 科学。计算。程序。 8, 139-145 (1987)。 审核人:H.埃德尔斯布伦纳 MSC公司:68瓦99 60年第68季度 68卢比99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gries}和\textit{J.F.Prins},科学。计算。程序。8139——145(1987年;Zbl 0649.68031) 全文: 内政部
大卫·哈雷 状态图:复杂系统的可视化形式主义。 (英语) Zbl 0637.68010号 科学。计算。程序。 8, 231-274 (1987)。MSC公司:68N99型 68问题85 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel},科学。计算。程序。8231--274(1987年;Zbl 0637.68010) 全文: 内政部
克洛德·基什内尔;赫莱内·基什内尔 启示3:实施由内置理论和策略参数化的一般完成程序。 (英语) Zbl 0635.68017号 科学。计算。程序。 8, 69-86 (1987)。MSC公司:68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.Kirchner}和\textit{H.Kirchner,科学。计算。程序。8、69-86(1987年;Zbl 0635.68017) 全文: 内政部
保罗·奇索姆 推导Martin-Löf类型理论中的解析算法。 (英语) Zbl 0634.68083号 科学。计算。程序。 8, 1-42 (1987)。MSC公司:68N20型 35楼03号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{P.Chisholm},科学。计算。程序。8、1--42(1987年;Zbl 0634.68083) 全文: 内政部
G·库西诺。;居里,P.-L。;M·莫尼。 分类抽象机。 (英语) Zbl 0634.68078号 科学。计算。程序。 8, 173-202 (1987)。 审核人:V.Kurkova-Pohlova(沃尔科瓦·波洛娃) MSC公司:65年第68季度 18秒20 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{G.Cousineau}等人,科学。计算。程序。8173--202(1987年;Zbl 0634.68078) 全文: 内政部
卢卡·卡德利 基本多态类型检查。 (英语) Zbl 0626.68009号 科学。计算。程序。 8, 147-172 (1987)。MSC公司:68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli},科学。计算。程序。8147-172(1987年;兹bl 062668009) 全文: 内政部
斯特凡·科尔布尔;米切尔·旺德 线性未来语义及其实现。 (英语) Zbl 0618.68024号 科学。计算。程序。 8, 87-103 (1987)。MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kölbl}和\textit{M.Wand},科学。计算。程序。8、87——103(1987年;Zbl 0618.68024) 全文: 内政部
道格拉斯·史密斯。 分治算法设计策略的应用。 (英语) Zbl 0616.68045号 科学。计算。程序。 8, 213-229 (1987)。MSC公司:65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith},科学。计算。程序。8213-229(1987年;Zbl 0616.68045) 全文: 内政部
艾默生·E·艾伦;Lei、Chin-Laung 模型检查的模式:分支时间逻辑反击。 (英语) Zbl 0615.68019号 科学。计算。程序。 8, 275-306 (1987)。MSC公司:60年第68季度 68N25号 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{C.L.Lei},科学。计算。程序。8275--306(1987年;Zbl 0615.68019) 全文: 内政部
雷姆·M。 小型编程练习17。 (英语) 兹比尔0615.68014 科学。计算。程序。 8,307-313(1987年)。MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Rem},科学。计算。程序。8307--313(1987年;Zbl 0615.68014) 全文: 内政部
雷姆·M。 小型编程练习16。 (英语) Zbl 0615.68013号 科学。计算。程序。 8, 203-211 (1987)。MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Rem},科学。计算。程序。8203--211(1987;Zbl 0615.68013) 全文: 内政部
R.S.伯德。 高效超级组合编译器的正式开发。 (英语) Zbl 0615.68006号 科学。计算。程序。 8, 113-137 (1987)。MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird},科学。计算。程序。8113--137(1987年;Zbl 0615.68006) 全文: 内政部
马泰·约瑟夫;阿卜哈·莫伊特拉;内拉姆·桑达拉扬 容错分布式程序的证明规则。 (英语) Zbl 0608.68016号 科学。计算。程序。 8, 43-67 (1987)。MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Joseph}等人,科学。计算。程序。8、43-67(1987年;Zbl 0608.68016) 全文: 内政部 链接
雷姆·M。 小型编程练习15。 (英语) Zbl 0608.68010号 科学。计算。程序。 8, 105-112 (1987)。MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Rem},科学。计算。程序。8,105-112(1987年;兹bl 0608.68010) 全文: 内政部