J.A.伯格斯特拉。;J.V.塔克。 霍尔逻辑的表达性和完整性。 (英语) 兹伯利0549.68021 J.计算。系统。科学。 25, 267-284 (1982). 审核人:J.-J.Ch.梅耶 MSC公司:68问题65 60年第68季度 03D60年 03C35号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.Compute。系统。科学。25267--284(1982;Zbl 0549.68021) 全文: 内政部 链接
杰拉德·休特;Jean-Marie Hullot公司 用构造器在方程理论中通过归纳法证明。 (英语) Zbl 0532.68041号 J.计算。系统。科学。 25, 239-266 (1982).MSC公司:68问题65 08B05号 68N01型 2004年8月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}和\textit{J.-M.Hullot},J.Compute。系统。科学。25239--266(1982;Zbl 0532.68041) 全文: 内政部
Kuich,W。 一些主调节有理锥的代数特征。 (英语) Zbl 0528.68058号 J.计算。系统。科学。 25, 377-401 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Kuich},J.计算。系统。科学。25377--401(1982年;Zbl 0528.68058) 全文: 内政部
莫德凯·本·阿里;约瑟夫·霍尔珀(Joseph Y.Halpern)。;阿米尔·普努利 确定性命题动态逻辑:有限模型、复杂性和完整性。 (英语) Zbl 0512.03013号 J.计算。系统。科学。 25202-417(1982年).MSC公司:03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari}等人,《计算杂志》。系统。科学。25402--417(1982;Zbl 0512.03013) 全文: 内政部
阿肖克·钱德拉;大卫·哈雷 关系查询的结构和复杂性。 (英语) Zbl 0511.68073号 J.计算。系统。科学。 25, 99-128 (1982).MSC公司:68第20页 03C13号机组 65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Chandra}和\textit{D.Harel},J.Comput。系统。科学。25、99——128(1982;Zbl 0511.68073) 全文: 内政部
克里斯托夫·霍夫曼。 图同构的次完备推广。 (英语) 兹比尔0508.68044 J.计算。系统。科学。 25, 332-359 (1982).MSC公司:68兰特 65年第68季度 20对25 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Hoffmann},J.计算。系统。科学。25、332--359(1982;Zbl 0508.68044) 全文: 内政部
本特利,乔恩·路易斯;Donna J·布朗。 一类一般的资源权衡。 (英语) 兹比尔0507.68019 J.计算。系统。科学。 25, 214-238 (1982).MSC公司:68瓦99 68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Bentley}和\textit{D.J.Brown},J.Compute。系统。科学。25214--238(1982;Zbl 0507.68019) 全文: 内政部
Takumi Kasai;雷蒙德·米勒(Raymond E.Miller)。 并行计算模型之间的同态。 (英语) Zbl 0506.68047号 J.计算。系统。科学。 25, 285-331 (1982).MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Kasai}和\textit{R.E.Miller},J.Compute。系统。科学。25285--331(1982;Zbl 0506.68047) 全文: 内政部
沃尔夫冈·托马斯 在符号逻辑中对常规事件进行分类。 (英语) Zbl 0503.68055号 J.计算。系统。科学。 25260-376(1982年).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas},J.Comput(计算机)。系统。科学。25、360-376(1982;Zbl 0503.68055) 全文: 内政部
尼尔·伊梅尔曼 一阶可表达性的上下限。 (英语) Zbl 0503.68032号 J.计算。系统。科学。 25, 76-98 (1982).MSC公司:65年第68季度 2015年3月1日 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Immerman},J.计算机。系统。科学。25,76-98(1982年;Zbl 0503.68032) 全文: 内政部
菲利普·弗拉乔莱特;安德鲁·奥德利兹科 二叉树和其他简单树的平均高度。 (英语) Zbl 0499.68027号 J.计算。系统。科学。 25, 171-213 (1982).MSC公司:68兰特 05二氧化碳 05C30号 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{P.Flajolet}和\textit{A.Odlyzko},J.Compute。系统。科学。25171--213(1982;Zbl 0499.68027) 全文: 内政部 链接
约斯特·恩格尔弗里特;斯文·斯库姆 单状态树传感器的复制能力。 (英语) Zbl 0495.68073号 J.计算。系统。科学。 25, 418-435 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{S.Skyum},J.Comput。系统。科学。25、418--435(1982年;Zbl 0495.68073) 全文: 内政部
大卫·哈雷;德克斯特·科赞;罗希特·帕里赫 过程逻辑:表达性、可决定性、完整性。 (英语) Zbl 0494.03016号 J.计算。系统。科学。 25, 144-170 (1982).MSC公司:03B45号 68问题65 68N01型 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,J.Compute。系统。科学。25144-170(1982年;兹bl 0494.03016) 全文: 内政部
米哈利斯·亚纳卡基斯;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。 代数依赖性。 (英语) Zbl 0493.68095号 J.计算。系统。科学。 25, 2-41 (1982).MSC公司:68第20页 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis}和\textit{C.H.Papadimitriou},J.Compute。系统。科学。25,2--41(1982;Zbl 0493.68095) 全文: 内政部
尤金·卢克斯(Eugene M.Luks)。 有界价图的同构可以在多项式时间内进行测试。 (英语) Zbl 0493.68064号 J.计算。系统。科学。 25, 42-65 (1982).MSC公司:68兰特 05C25号 20对25 2010年1月20日 65年第68季度 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Luks},J.计算。系统。科学。25、42-65(1982年;Zbl 0493.68064) 全文: 内政部
斯蒂芬·马哈尼。 NP的稀疏完备集:Berman和Hartmanis猜想的解。 (英语) Zbl 0493.68043号 J.计算。系统。科学。 25, 130-143 (1982).MSC公司:65年第68季度 2015年3月1日 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Mahaney},J.计算。系统。科学。25130-143(1982年;兹bl 0493.68043) 全文: 内政部 链接
迈克尔·奥·拉宾。 \(N\)-进程互斥,由(4\cdot\log_2N\)值共享变量进行有界等待。 (英语) Zbl 0493.68018号 J.计算。系统。科学。 25, 66-75 (1982).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Rabin},J.计算。系统。科学。25、66-75(1982年;Zbl 0493.68018) 全文: 内政部