考克斯,P.T。;彼得日科夫斯基,T。 用于反向Skolemization的完整的非冗余算法。 (英语) Zbl 0566.03005号 西奥。计算。科学。 28, 239-261 (1984). 审核人:J.Šajda公司 理学硕士:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Cox}和\textit{T.Pietrzykowski},Theor。计算。科学。28239--261(1984;Zbl 0566.03005) 全文: 内政部
太和县卡诺卡;富田、新高 随机系统的分解。 (英语) 兹伯利0563.68055 西奥。计算。科学。 28, 223-233 (1984). 审核人:A.A.穆林 理学硕士:65年第68季度 70克10 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kanaoka}和\textit{S.Tomita},Theor。计算。科学。28223--233(1984年;Zbl 0563.68055) 全文: 内政部
维哈根,R。;弗里瓦兹,R。;E.B.金伯。 论归纳推理中概率策略的威力。 (英语) Zbl 0555.68014号 西奥。计算。科学。 28, 111-133 (1984). 审核人:S.P.尤克纳 理学硕士:68瓦99 65年第68季度 03D20日 2015年3月1日 2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{R.Wiehagen}等人,Theor。计算。科学。28111--133(1984年;Zbl 0555.68014) 全文: 内政部
小林,小二郎;高桥,Masako;山崎秀树 用一阶公式表征\(\omega \)-正则语言。 (英语) Zbl 0551.68069号 西奥。计算。科学。 28, 315-327 (1984). 审核人:M.M.Richter先生 理学硕士:65年第68季度 03C07号机组 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{K.Kobayashi}等人,Theor。计算。科学。28315--327(1984年;Zbl 0551.68069) 全文: 内政部
Alica Kelemenová 范式语法的复杂性。 (英语) Zbl 0548.68070号 西奥。计算。科学。 28299-314(1984年). 审核人:H.Alt键 理学硕士:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Kelemenová},Theor。计算。科学。28299--314(1984年;Zbl 0548.68070) 全文: 内政部
达里奥·比尼 关于交换性和近似。 (英语) Zbl 0548.68036号 西奥。计算。科学。 28, 135-150 (1984). 审核人:H.Alt键 理学硕士:65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本{D.Bini},Theor。计算。科学。28135-150(1984年;Zbl 0548.68036) 全文: 内政部
A.埃伦菲赫特。;G.罗森伯格。;R·弗拉埃特。 关于本质上模棱两可的E0L语言。 (英语) 兹比尔0544.68051 西奥。计算。科学。 28, 197-214 (1984). 审核人:G.奥曼 理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人,Theor。计算。科学。28197-214(1984年;Zbl 0544.68051) 全文: 内政部
马ł斯基,简 走向一种基于两级语法概念的编程语言。 (英语) Zbl 0542.68061号 西奥。计算。科学。 28, 13-43 (1984). 审核人:J.Král先生 理学硕士:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Małuszyáski},Theor。计算。科学。28、13-43(1984年;Zbl 0542.68061) 全文: 内政部
诺伯特·布鲁姆 需要3n个网络大小的布尔函数。 (英语) Zbl 0539.94036号 西奥。计算。科学。 28, 337-345 (1984).理学硕士:94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{N.Blum},Theor。计算。科学。28337--345(1984年;Zbl 0539.94036) 全文: 内政部 内政部
布彻,W。;H·A·莫勒。;卡雷尔·库利克二世 有限语言的无上下文复杂性。 (英语) 兹伯利0536.68065 西奥。计算。科学。 28, 277-285 (1984). 审核人:A.Pirická-Kelemenová 理学硕士:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Bucher}等人,Theor。计算。科学。28277--285(1984年;Zbl 0536.68065) 全文: 内政部
W·保罗。 磁头与磁带。 (英语) 兹伯利0536.68050 西奥。计算。科学。 28, 1-12 (1984). 审核人:D.蒙迪奇 理学硕士:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{W.Paul},Theor。计算。科学。28、1-12(1984年;Zbl 0536.68050) 全文: 内政部
Ronchi della Rocca,S。;B.Venneri。 扩展类型理论的主类型方案。 (英语) Zbl 0535.03007号 西奥。计算。科学。 28, 151-169 (1984). 审核人:A.佩特罗西 理学硕士:03B40型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Ronchi della Rocca}和\textit{B.Venneri},Theor。计算。科学。28151--169(1984;Zbl 0535.03007) 全文: 内政部
多米尼克·佩林 完成biprefix代码。 (英语) Zbl 0534.68052号 西奥。计算。科学。 28, 329-336 (1984). 审核人:T.哈朱 理学硕士:65年第68季度 2005年5月20日 20立方米 94A45型 PDF格式BibTeX公司 XML格式引用 \文本{D.Perrin},Theor。计算。科学。28329--336(1984年;Zbl 0534.68052) 全文: 内政部
弗朗西斯科·帕里西·普雷西奇 迭代因子代数和诱导度量。 (英语) Zbl 0534.68012号 西奥。计算。科学。 28, 287-298 (1984). 审核人:S.布鲁姆 理学硕士:68号01 68问题55 18立方厘米 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{F.Parisi-Prescce},Theor(西奥)。计算。科学。28、287--298(1984年;Zbl 0534.68012) 全文: 内政部
大卫·柯克帕特里克;斯特凡·雷希 随机访问机器上整数排序的上限。 (英语) Zbl 0533.68046号 西奥。计算。科学。 28, 263-276 (1984).理学硕士:65年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.Kirkpatrick}和\textit{S.Reisch},Theor。计算。科学。28263-276(1984年;Zbl 0533.68046) 全文: 内政部
费尔南德斯,C。;蒂亚加拉扬,P.S。 D连续因果网:非连续过程模型。 (英语) Zbl 0531.68016号 西奥。计算。科学。 28, 171-196 (1984). 审核人:R.Janicki公司 理学硕士:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Fernández}和\textit{P.S.Thiagarajan},Theor。计算。科学。28171--196(1984年;Zbl 0531.68016) 全文: 内政部
J.Roger欣德利 Coppo-Dezani类型与命题逻辑不对应。 (英语) Zbl 0529.03003号 西奥。计算。科学。 28, 235-236 (1984).理学硕士:03B40型 PDF格式BibTeX公司 XML格式引用 \文本{J.R.Hindley},Theor。计算。科学。28235-236(1984年;兹bl 0529.03003) 全文: 内政部
Krzysztof R.阿普特。 霍尔逻辑十年:一项调查。二: 非决定论。 (英语) Zbl 0523.68015号 西奥。计算。科学。 28, 83-109 (1984).理学硕士:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},Theor(西奥)。计算。科学。28,83--109(1984年;Zbl 0523.68015) 全文: 内政部
哈特穆特·埃里格;汉斯·乔尔格·克鲁斯基;詹姆斯·撒切尔;埃里克·瓦格纳;杰西·赖特 代数规范语言中的参数传递。 (英语) Zbl 0522.68027号 西奥。计算。科学。 28, 45-81 (1984).理学硕士:68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,Theor。计算。科学。28,45--81(1984;Zbl 0522.68027) 全文: 内政部
伯格斯特拉,J.A。;J.V.塔克。 Hoare针对具有两种数据类型的编程语言的逻辑。 (英语) Zbl 0522.68012号 西奥。计算。科学。 28, 215-221 (1984).理学硕士:68号01 第68季度第60季度 68第05页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Theor。计算。科学。28215--221(1984;Zbl 0522.68012) 全文: 内政部 链接