阿格拉瓦尔,V.K。;帕特奈克,L.M。;P.S.戈尔。 面向分布式计算系统的形式化规范。 (英语) Zbl 0592.68025号 国际期刊计算。通知。科学。 14, 277-306 (1985).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Agrawal}等人,《国际计算杂志》。通知。科学。14277-306(1985年;兹bl 0592.68025) 全文: 内政部
卡米拉·施温德。 在关系数据库系统中嵌入演绎功能。 (英语) Zbl 0562.68072号 国际期刊计算。通知。科学。 13, 327-338 (1984). 审核人:E.克努特 MSC公司:68第20页 第68季度第65季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Schwind},国际计算机学会。通知。科学。13、327--338(1984年;Zbl 0562.68072) 全文: 内政部
蒂莫·尼米 基于属性方法的数据重组软件规范。 (英语) Zbl 0553.68017号 国际期刊计算。通知。科学。 13, 425-460 (1984).MSC公司:68第05页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{T.Niemi},国际计算机杂志。通知。科学。13、425--460(1984年;Zbl 0553.68017) 全文: 内政部
达斯古普塔,苏布拉塔;阿兰·瓦格纳 Hoare逻辑在水平微程序验证中的使用。 (英语) 兹伯利0553.68007 国际期刊计算。通知。科学。 13, 461-490 (1984).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dasgupta}和\textit{A.Wagner},国际计算机杂志。通知。科学。13、461--490(1984年;Zbl 0553.68007) 全文: 内政部
史塔克,W.理查德 一瞥组合代数的天堂。 (英语) Zbl 0551.68029号 国际期刊计算。通知。科学。 13, 219-236 (1984). 审核人:J.兹拉图斯卡 MSC公司:第68季度第65季度 03B40型 68-01 03-01 第68季度第45季度 05年3月 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Stark},国际计算机杂志。通知。科学。13、219--236(1984年;Zbl 0551.68029) 全文: 内政部
维洛索,P.A.S。 通过重写系统对抽象数据类型进行方法规范。 (英语) Zbl 0507.68001号 国际期刊计算。通知。科学。 11, 295-323 (1982).MSC公司:68号01 68第05页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso},国际计算机杂志。通知。科学。11、295--323(1982;Zbl 0507.68001) 全文: 内政部
雷米,J.L。;维洛索,P.A.S。 通过正常形式比较数据类型规范。 (英语) 兹伯利048.88026 国际期刊计算。通知。科学。 11, 141-153 (1982).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Remy}和\textit{P.A.S.Veloso},国际计算机杂志。通知。科学。11、141--153(1982年;Zbl 0488.68026) 全文: 内政部
多斯桑托斯,C.S。;迈鲍姆,T.S.E。;福塔多·A.L。 数据库操作的概念建模。 (英语) Zbl 0477.68109号 国际期刊计算。通知。科学。 10, 299-314 (1981).MSC公司:68第20页 68第05页 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Dos Santos}等人,《国际计算杂志》。通知。科学。10、299--314(1981年;Zbl 0477.68109) 全文: 内政部
保罗·R·F·库尼亚。;卡洛斯·卢塞纳。;迈鲍姆,T.S.E。 关于面向消息程序的设计和规范。 (英语) Zbl 0446.68016号 国际期刊计算。通知。科学。 9, 161-191 (1980).MSC公司:68N25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.R.F.Cunha}等人,《国际计算杂志》。通知。科学。9、161--191(1980年;Zbl 0446.68016) 全文: 内政部
Dhamdhere,D.M。;J.R.艾萨克。 一种用于强度降低和代码移动优化的复合算法。 (英语) Zbl 0436.68006号 国际期刊计算。通知。科学。 9, 243-273 (1980).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Dhamdhere}和\textit{J.R.Isaac},国际计算机杂志。通知。科学。9、243--273(1980年;Zbl 0436.68006) 全文: 内政部
Koh和Hikyoo;Chuang,Henry Y.H。 寻找程序的最小基路径集。 (英语) Zbl 0427.68020号 国际期刊计算。通知。科学。 8, 473-488 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Koh}和\textit{H.Y.H.Chuang},国际计算机学会。通知。科学。8473-488(1979年;Zbl 0427.68020) 全文: 内政部
伊夫·科德拉托夫 由有限个示例和LISP程序方案合成的一类函数。 (英语) Zbl 0427.68019号 国际期刊计算。通知。科学。 8, 489-521 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kodratoff},国际计算机杂志。通知。科学。8、489--521(1979年;Zbl 0427.68019) 全文: 内政部
伊莱恩·韦尤克。 程序模式结果对程序的适用性。 (英语) Zbl 0427.68017号 国际期刊计算。通知。科学。 8, 387-403 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Weyuker},国际计算机杂志。通知。科学。8387-403(1979年;兹bl 0427.68017) 全文: 内政部
格雷戈·波希曼。 覆盖属性文法的语义等价。 (英语) Zbl 0426.68077号 国际期刊计算。通知。科学。 8, 523-539 (1979).MSC公司:68问题55 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Bochmann},国际计算机杂志。通知。科学。8523-539(1979年;Zbl 0426.68077) 全文: 内政部
A.塞斯。 用矢量加法系统对并行程序模式进行编码。 (英语) Zbl 0421.68026号 国际期刊计算。通知。科学。 8, 209-218 (1979).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Thayse},国际计算机杂志。通知。科学。8、209--218(1979年;Zbl 0421.68026) 全文: 内政部
史蒂文·A·维尔。 计划和程序的关系产品的组成。 (英语) Zbl 0419.68014号 国际期刊计算。通知。科学。 8149-179年(1979年).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Vere},国际计算机杂志。通知。科学。8149--179(1979年;Zbl 0419.68014) 全文: 内政部
福塔多·A.L。 通过连接性关系表征数据结构集。 (英语) Zbl 0403.68019号 国际期刊计算。通知。科学。 189-109年5月(1976年).MSC公司:68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Furtado},国际计算机杂志。通知。科学。5、89——109(1976年;Zbl 0403.68019) 全文: 内政部