罗伯特·德·西蒙 语言无限与产品去混合。 (法语) Zbl 0571.68064号 西奥。计算。科学。 31, 83-100 (1984). 审核人:M.Armbrust先生 MSC公司:65年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \文本{R.De Simone},Theor。计算。科学。31,83--100(1984;Zbl 0571.68064) 全文: 内政部
Yael Maon公司;埃米拉姆·耶胡代 关于检查字母公平分布语言上的同态等价性的测试集。 (英语) Zbl 0571.68062号 西奥。计算。科学。 33, 239-260 (1984). 审核人:P.Turakainen先生 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Maon}和\textit{A.Yehudai},Theor。计算。科学。33、239--260(1984年;Zbl 0571.68062) 全文: 内政部
J.A.戈根。;R.M.伯斯托尔。 计算语义的一些基本代数工具。逗号类别、结肠炎、签名和理论。 (英语) Zbl 0566.68065号 西奥。计算。科学。 31, 175-209 (1984).MSC公司:68问题55 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{R.M.Burstall},Theor。计算。科学。31175-209(1984年;Zbl 0566.68065) 全文: 内政部
安德烈·埃伦菲赫特;迈克尔·梅因(Michael G.Main)。;Grzegorz罗岑贝格 NLC图语法的限制。 (英语) Zbl 0566.68062号 西奥。计算。科学。 31, 211-223 (1984). 审核人:A.Maggiolo-Schettini先生 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人,Theor。计算。科学。31211-223(1984年;Zbl 0566.68062) 全文: 内政部
山崎秀树 正规Petri网。 (英语) Zbl 0562.68047号 西奥。计算。科学。 31, 307-315 (1984). 审核人:W.夸索维奇 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{H.Yamasaki},Theor。计算。科学。31307--315(1984年;Zbl 0562.68047) 全文: 内政部
Aviezri S.弗伦克尔。 Wythoff游戏、连续分数、雪松树和斐波那契搜索。 (英语) Zbl 0557.90107号 西奥。计算。科学。 30, 49-73 (1984). 审核人:I.德拉甘 MSC公司:91A05型 11页A55 65年第68季度 91A20型 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Fraenkel},Theor(西奥)。计算。科学。30、49——73(1984年;Zbl 0557.90107) 全文: 内政部
埃尔弗里德·费尔 有类型和无类型编程语言的表达能力。 (英语) Zbl 0557.68022号 西奥。计算。科学。 33, 195-238 (1984).MSC公司:60年第68季度 68号01 03D60年 03B40型 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{E.Fehr},Theor。计算。科学。33、195--238(1984年;Zbl 0557.68022) 全文: 内政部
Huynh,Dung T。 用1个字母结尾的字母判断上下文无关文法的不等价性是完全的。 (英语) Zbl 0556.68040号 西奥。计算。科学。 33, 305-326 (1984).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.T.Huynh},Theor。计算。科学。33305-326(1984年;Zbl 0556.68040) 全文: 内政部
弗里德里希·奥托 Jantzen幺半群和Greendlinger群的有限完全重写系统。 (英语) Zbl 0555.20036号 西奥。计算。科学。 32, 249-260 (1984). 审核人:B.Pondelíček公司 MSC公司:2005年5月20日 2010年1月20日 20F05型 PDF格式BibTeX公司 XML格式引用 \文本{F.奥托},Theor。计算。科学。32249--260(1984年;Zbl 0555.20036) 全文: 内政部
J·阿文豪斯。;马德勒,K。 自由群中的尼尔森约化和P-完全问题。 (英语) Zbl 0555.20015号 西奥。计算。科学。 32, 61-76 (1984). 审核人:S.J.Pride公司 MSC公司:20E05年 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{J.Avenhaus}和\textit{K.Madlener},Theor。计算。科学。32,61-76(1984年;兹bl 0555.20015) 全文: 内政部
布罗伊,M。;Wirsing,M。;成对,C。 对抽象数据类型模型的系统研究。 (英语) Zbl 0552.68010号 西奥。计算。科学。 33, 139-174 (1984).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,Theor。计算。科学。33、139--174(1984年;Zbl 0552.68010) 全文: 内政部
M.克莱博特。;M.Latteux。 部分交换和忠实的理性转换。 (英语) Zbl 0548.68073号 西奥。计算。科学。 34,编号1-2241-254(1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clerbout}和\textit{M.Latteux},Theor。计算。科学。34、241--254(1984年;Zbl 0548.68073) 全文: 内政部
Genrich,H.J。;蒂亚加拉扬,P.S。 双极同步方案理论。 (英语) Zbl 0547.68054号 西奥。计算。科学。 30, 241-318 (1984).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Genrich}和\textit{P.S.Thiagarajan},Theor。计算。科学。30、241--318(1984年;Zbl 0547.68054) 全文: 内政部
Veni Madhavan,C.E。 使用树数据结构进行二级属性检索。 (英语) Zbl 0546.68085号 西奥。计算。科学。 33, 107-116 (1984).MSC公司:68第20页 68页第10页 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{C.E.Veni Madhavan},Theor。计算。科学。33、107——116(1984年;Zbl 0546.68085) 全文: 内政部
乌兹·维什金 一种并行设计的分布式实现(PDDI)通用计算机。 (英语) Zbl 0545.68044号 西奥。计算。科学。 32, 157-172 (1984).MSC公司:2005年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \提奥,textit{U.Vishkin}。计算。科学。32157-172(1984年;兹bl 0545.68044) 全文: 内政部
拉维库马尔,B。;拉克希曼南,K.B。 应对搜索游戏中已知的谎言模式。 (英语) Zbl 0544.90105号 西奥。计算。科学。 33, 85-94 (1984).MSC公司:91A05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ravikumar}和\textit{K.B.Lakshmanan},Theor。计算。科学。33、85-94(1984年;Zbl 0544.90105) 全文: 内政部
卡雷尔·库利克二世;于盛 迭代树自动机。 (英语) Zbl 0544.68055号 西奥。计算。科学。 32, 227-247 (1984).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{S.Yu},Theor。计算。科学。32227--247(1984年;Zbl 0544.68055) 全文: 内政部
赫伯特·A·克拉伦。 抽象代数软件规范的构造方法。 (英语) Zbl 0544.68016号 西奥。计算。科学。 30, 139-204 (1984).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \文本{H.A.Klaeren},Theor。计算。科学。30、139--204(1984年;Zbl 0544.68016) 全文: 内政部
J.F.特劳布。;Wasilkowski,G.W。;Woźniakowski,H。 线性问题的平均情况最优性。 (英语) 兹伯利0543.68029 西奥。计算。科学。 30, 1-25 (1984).MSC公司:65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Traub}等人,Theor。计算。科学。30、1--25(1984年;Zbl 0543.68029) 全文: 内政部
北卡罗来纳州Soundararajan。 并行程序的一种证明技术。 (英语) Zbl 0543.68010号 西奥。计算。科学。 31, 13-29 (1984).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Soundararajan},Theor(西奥)。计算。科学。31、13-29(1984年;Zbl 0543.68010) 全文: 内政部
马乌辛斯基,Jan 面向基于两级语法概念的编程语言。 (英语) Zbl 0542.68061号 西奥。计算。科学。 28, 13-43 (1984). 审核人:J.Král先生 MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Małuszyáski},Theor。计算。科学。28、13-43(1984年;Zbl 0542.68061) 全文: 内政部
马提亚斯·扬岑;曼弗雷德·库德克 由半图厄系统定义的句子形式语言的同态图像。 (英语) Zbl 0542.68059号 西奥。计算。科学。 33,13-43(1984年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jantzen}和\textit{M.Kudlek},Theor。计算。科学。33、13-43(1984年;Zbl 0542.68059) 全文: 内政部
Krysztof R.阿普特。;A.普努利。;J.斯塔维。 重新审查公平终止——有延迟。 (英语) Zbl 0542.68015号 西奥。计算。科学。 33, 65-84 (1984).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,Theor。计算。科学。33、65-84(1984年;Zbl 0542.68015) 全文: 内政部
G.罗森伯格。;R·弗拉埃特。 关于模拟和传播EOL形式。 (英语) Zbl 0538.68067号 西奥。计算。科学。 30, 41-48 (1984). 审核人:A.Pirická-Kelemenová MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg}和\textit{R.Verraedt},Theor。计算。科学。30,41-48(1984年;兹bl 0538.68067) 全文: 内政部
奥斯卡·H·伊巴拉。;Sam M.金。 收缩网格自动机的特征和计算复杂性。 (英语) 兹伯利0536.68048 西奥。计算。科学。 30, 123-153 (1984). 审核人:G.韦奇星 MSC公司:2005年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{S.M.Kim},Theor。计算。科学。30、123——153(1984年;Zbl 0536.68048) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 不带全局变量的Pascal-like程序的正确性。 (英语) Zbl 0534.68016号 西奥。计算。科学。 30, 49-90 (1984).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},Theor(西奥)。计算。科学。30、49-90(1984年;Zbl 0534.68016) 全文: 内政部
迪迪埃·奥斯蒂;Boudol,热拉尔 Algèbre de processus et同步。 (法语) Zbl 0533.68026号 西奥。计算。科学。 30, 91-131 (1984).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Austry}和\textit{G.Boudol},Theor。计算。科学。30、91——131(1984年;Zbl 0533.68026) 全文: 内政部 链接
J.A.伯格斯特拉。;Klop,J.W。 使用霍尔逻辑证明程序包含。 (英语) Zbl 0533.68011号 西奥。计算。科学。 1984年1月30日至48日.MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.W.Klop},Theor。计算。科学。30,1-48(1984年;兹bl 0533.68011) 全文: 内政部 链接
塞拉·埃尔拉德;尼西姆·弗朗西兹 用于通信进程的最弱前提语义。 (英语) Zbl 0532.68035号 西奥。计算。科学。 29, 231-250 (1984).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Elrad}和\textit{N.Francez},Theor。计算。科学。29、231--250(1984年;Zbl 0532.68035) 全文: 内政部
费尔南德斯,C。;蒂亚加拉扬,P.S。 D连续因果网:非连续过程模型。 (英语) 兹伯利0531.68016 西奥。计算。科学。 28, 171-196 (1984). 审核人:R.Janicki公司 MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Fernández}和\textit{P.S.Thiagarajan},Theor。计算。科学。28171--196(1984年;Zbl 0531.68016) 全文: 内政部
Krzysztof R.阿普特。 霍尔逻辑十年:一项调查。二: 非决定论。 (英语) Zbl 0523.68015号 西奥。计算。科学。 28, 83-109 (1984).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},Theor(西奥)。计算。科学。28,83--109(1984年;Zbl 0523.68015) 全文: 内政部
西蒙·科恩;丹尼尔·莱曼;阿米尔·普努利 分布式系统中互斥问题的对称和经济解决方案。 (英语) Zbl 0985.68509号 西奥。计算。科学。 34,编号1-2,215-225(1984).MSC公司:68N25号 68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cohen}等人,Theor。计算。科学。34、215——225(1984年;Zbl 0985.68509) 全文: 内政部
格林·温斯克尔 同步树。 (英语) Zbl 0985.68514号 西奥。计算。科学。 34,编号1-2,33-82(1984).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Winskel},Theor。计算。科学。34、33——82(1984年;Zbl 0985.68514) 全文: 内政部