H.C.M.克莱因。;彭顿,M。;G.罗森伯格。;萨洛马,K。 与方向无关的上下文敏感文法。 (英语) Zbl 0599.68055号 Inf.控制 63, 113-117 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.C.M.Kleijn}等人,Inf.Control 63,113--117(1984;Zbl 0599.68055) 全文: 内政部
Feldman,Yishai A。 具有明确概率的可判定命题动态逻辑。 (英语) Zbl 0592.68031号 Inf.控制 63, 11-38 (1984).MSC公司:68问题65 03B25号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Feldman},Inf.Control 63,11-38(1984;兹bl 0592.68031) 全文: 内政部
巴利亚特·纳伦德兰;弗里德里希·奥托;卡尔·温克尔曼 有限Church-Rosser-Tue系统的一致共轭问题是NP-完全的。 (英语) Zbl 0592.03025号 Inf.控制 63, 58-66 (1984).MSC公司:03天 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}等人,Inf.Control 63,58--66(1984;Zbl 0592.03025) 全文: 内政部
M.阿杰泰。;Fredman,M。;J.Komlós。 优先级队列的哈希函数。 (英语) Zbl 0591.68093号 Inf.控制 63, 217-225 (1984).MSC公司:68第20页 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Ajtai}等人,Inf.Control 63,217--225(1984;Zbl 0591.68093) 全文: 内政部
理查德·科尔;Yap,Chee K。 几何检索问题。 (英语) Zbl 0591.68091号 Inf.控制 63, 39-57 (1984).MSC公司:68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cole}和\textit{C.K.Yap},Inf.Control公司63,39-57(1984年;Zbl 0591.68091) 全文: 内政部
Franzblau,D.S。;克莱特曼,D.J。 用矩形覆盖多边形的算法。 (英语) Zbl 0591.68073号 Inf.控制 63164-189(1984年).MSC公司:68卢比99 05B40号 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Franzblau}和\textit{D.J.Kleitman},Inf.Control 63,164--189(1984;Zbl 0591.68073) 全文: 内政部
拉尔夫·哈特穆特·古汀 面向c的动态多边形交集搜索。 (英语) Zbl 0591.68061号 Inf.控制 63, 143-163 (1984).MSC公司:68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Güting},信息控制63,143--163(1984;Zbl 0591.68061) 全文: 内政部
M.G.古达。;曼宁,E.G。;Yu,Y.T.于。 关于两个有限状态机之间通信的进展。 (英语) Zbl 0591.68057号 Inf.控制 63, 200-216 (1984).MSC公司:65年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Gouda}等人,Inf.Control 63,200--216(1984;Zbl 0591.68057) 全文: 内政部
J.M.罗布森。 单带图灵机计算的快速概率RAM模拟。 (英语) Zbl 0591.68051号 Inf.控制 63, 67-87 (1984).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Robson},信息控制63,67--87(1984;Zbl 0591.68051) 全文: 内政部
大卫·哈雷;德克斯特·科赞 一种用于归纳集和应用程序的编程语言。 (英语) 兹比尔0591.68037 Inf.控制 63, 118-139 (1984).MSC公司:68问题65 03日70 60年第68季度 68第20页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{D.Kozen},Inf.Control公司63、118--139(1984年;Zbl 0591.68037) 全文: 内政部
西斯特拉,A.P。;E.M.克拉克。;北弗朗西兹。;A.R.梅耶。 消息缓冲区可以在线性时态逻辑中公理化吗? (英语) Zbl 0591.68022号 Inf.控制 63, 88-112 (1984).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人,《Inf.Control》63,88--112(1984;Zbl 0591.68022) 全文: 内政部
安德烈·埃伦菲赫特;格列泽戈兹·罗森贝格 格雷巴赫范式的一个简单证明。 (英语) Zbl 0589.68054号 Inf.控制 63, 190-199 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},《信息控制》63,190--199(1984;Zbl 0589.68054) 全文: 内政部