Jürgensen,H。;A.萨洛马。 收缩树自动机构造中的句法幺半群。 (英语) Zbl 0582.68048号 国际期刊计算。通知。科学。 14, 35-49 (1985). 审核人:M.Kunze先生 MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen}和\textit{A.Salomaa},国际计算机杂志。通知。科学。14、35-49(1985年;Zbl 0582.68048) 全文: 内政部
蒂莫·尼米 基于属性方法的数据重组软件规范。 (英语) 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) 全文: 内政部
达斯古普塔,苏布拉塔;阿兰·瓦格纳 霍尔逻辑在水平微程序验证中的使用。 (英语) Zbl 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) 全文: 内政部
托马斯·奥特曼;罗森博格(Arnold L.Rosenberg)。;六号,汉斯·沃纳;伍德,德里克 具有二进制比较开销的二进制搜索树。 (英语) Zbl 0545.68056号 国际期刊计算。通知。科学。 13, 77-101 (1984).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{T.Ottmann}等人,《国际计算杂志》。通知。科学。13、77——101(1984年;Zbl 0545.68056) 全文: 内政部
艾哈迈德·扎基。 2-3棵树和AVL树的比较研究。 (英语) Zbl 0513.68061号 国际期刊计算。通知。科学。 12, 13-33 (1983).MSC公司:68兰特 05二氧化碳 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Zaki},国际计算机杂志。通知。科学。12、13-33(1983年;Zbl 0513.68061) 全文: 内政部
达利亚·莫茨金;克里斯蒂娜·汉森。 以最小的空间需求进行有效的外部排序。 (英语) Zbl 0509.68055号 国际期刊计算。通知。科学。 11, 381-396 (1982).MSC公司:68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Motzkin}和\textit{C.L.Hansen},国际计算机学会。通知。科学。11、381--396(1982;Zbl 0509.68055) 全文: 内政部
大卫·T·巴纳德。;理查德·霍尔特(Richard C.Holt)。 LR语法的层次语法错误修复。 (英语) 兹伯利0495.68077 国际期刊计算。通知。科学。 11, 231-258 (1982).MSC公司:第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{D.T.Barnard}和\textit{R.C.Holt},国际计算机杂志。通知。科学。11、231--258(1982年;Zbl 0495.68077) 全文: 内政部
雷米,J.L。;维洛索,P.A.S。 通过正常形式比较数据类型规范。 (英语) Zbl 0488.68026号 国际期刊计算。通知。科学。 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) 全文: 内政部
托·奥特曼。;伍德,D。 搜索树的迭代类和定义类的比较。 (英语) Zbl 0486.68058号 国际期刊计算。通知。科学。 11, 155-178 (1982).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{Th.Ottman}和\textit{D.Wood},国际计算机杂志。通知。科学。11、155--178(1982;Zbl 0486.68058) 全文: 内政部
Ng、Peter A。;蔡伦 大有序索引方案的设计与实现。 (英语) Zbl 0451.68043号 国际期刊计算。通知。科学。 9407-434(1980年).MSC公司:68页第10页 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Ng}和\textit{L.Tsai},国际计算机杂志。通知。科学。9407-434(1980年;Zbl 0451.68043) 全文: 内政部
保罗·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) 全文: 内政部
卡雷尔·库利克二世;伍德,D。 双确定性表格OL系统。 (英语) Zbl 0426.68073号 国际期刊计算。通知。科学。 8, 335-347 (1979).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.采利克二世}和\textit{D.伍德},国际计算机杂志。通知。科学。8、335--347(1979年;Zbl 0426.68073) 全文: 内政部
Robert L.jun,坎农。 关于规范标签语言的注释。 (英语) Zbl 0426.68069号 国际期刊计算。通知。科学。 8, 141-148 (1979).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Cannon jun.},国际计算机杂志。通知。科学。8141-148(1979年;Zbl 0426.68069) 全文: 内政部
哥伦比亚特区哥特利布。;福塔多·A.L。 基于有向图的数据模式。 (英语) Zbl 0419.68035号 国际期刊计算。通知。科学。 8, 39-73 (1979).MSC公司:68第05页 68兰特 65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.Gotlieb}和\textit{A.L.Furtado},国际计算机学会。通知。科学。8、39——73(1979年;Zbl 0419.68035) 全文: 内政部
大卫·W·亨特。;杰拉尔德·谢德勒。 多道程序系统中响应时间的多元点过程模型。 (英语) Zbl 0403.68028号 国际期刊计算。通知。科学。 7, 193-217 (1978).MSC公司:68N25号 68第05页 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Hunter}和\textit{G.S.Shedler},国际计算机杂志。通知。科学。7、193--217(1978;Zbl 0403.68028) 全文: 内政部
Robert L.jun,坎农。 上下文敏感解析的代数技术。 (英语) Zbl 0401.68063号 国际期刊计算。通知。科学。 5, 257-276 (1976).MSC公司:第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Cannon jun.},国际计算机杂志。通知。科学。5、257--276(1976;Zbl 0401.68063) 全文: 内政部
威廉·S·鲍伊。 图论在计算机系统中的应用。 (英语) Zbl 0317.68041号 国际期刊计算。通知。科学。 5, 9-31 (1976).MSC公司:68瓦99 65年第68季度 05C20号 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{W.S.Bowie},国际计算机杂志。通知。科学。5、9--31(1976年;Zbl 0317.68041) 全文: 内政部
本·施奈德曼;斯图尔特·夏皮罗。 关于编码数据结构和数据翻译的理论。 (英语) Zbl 0317.68035号 国际期刊计算。通知。科学。 5,33-43(1976年).MSC公司:68号01 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{B.Shneiderman}和\textit{S.C.Shapiro},国际计算机杂志。通知。科学。5、33-43(1976年;Zbl 0317.68035) 全文: 内政部
A.埃伦菲赫特。;李,K.P。;G.罗森伯格。 具有交互作用的各类确定性发展语言的子词复杂性。 (英语) 兹比尔0308.68043 国际期刊计算。通知。科学。 4, 219-236 (1975).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人,《国际计算杂志》。通知。科学。4219-236(1975年;Zbl 0308.68043) 全文: 内政部
伍德,德里克 关于Lindenmayer系统、Szilard语言、谱和等价性的注释。 (英语) Zbl 0303.68050号 国际期刊计算。通知。科学。 4, 53-62 (1975).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Wood},国际计算机杂志。通知。科学。4、53-62(1975年;Zbl 0303.68050) 全文: 内政部
C.A.R.霍尔。 递归数据结构。 (英语) Zbl 0301.68037号 国际期刊计算。通知。科学。 4, 105-132 (1975).MSC公司:68号01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},国际计算机杂志。通知。科学。4105-132(1975年;Zbl 0301.68037) 全文: 内政部
Shrivastava,Santosh K。 高级语言中的进程同步。 (英语) Zbl 0301.68004号 国际期刊计算。通知。科学。 4, 151-169 (1975).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Shrivastava},国际计算机杂志。通知。科学。4151-169(1975年;Zbl 0301.68004) 全文: 内政部
早,杰伊 使用运行时模型的语法扩展。 (英语) Zbl 0284.68007号 国际期刊计算。通知。科学。 3, 189-196 (1974).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Early},国际计算机杂志。通知。科学。3189-196(1974年;Zbl 0284.68007) 全文: 内政部
格列泽戈兹·罗森贝格 表格OL系统和语言的扩展。 (英语) Zbl 0293.68065号 国际期刊计算。通知。科学。 2, 311-336 (1973).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg},国际计算机杂志。通知。科学。2311--336(1973;Zbl 0293.68065) 全文: 内政部
D.S.怀尔。;杰希克,C.M。 高效数据结构的实现基础。 (英语) Zbl 0293.68031号 国际期刊计算。通知。科学。 1, 209-224 (1972).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Wile}和\textit{C.M.Geschke},国际计算机杂志。通知。科学。1209--224(1972年;Zbl 0293.68031) 全文: 内政部