卡雷尔·库利克 抽象/具体计算机自动机的计算理论。 (英语) Zbl 0565.68047号 SIGACT News 14,No.1,21-35(1982)。MSC公司:2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
A.贝托尼。;G·莫里。;北萨巴迪尼。 上下文无关的跟踪语言。 (英语) Zbl 0548.68072号 Les arbres en algèbre et en programmation,7ème Colloq.,里尔1982,32-42(1982)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
阿尔弗雷德·劳特 抽象语法和程序操作。 (德语) Zbl 0534.68014号 慕尼黑理工大学数学与信息学院。115 S.(1982)。MSC公司:68号01 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
布鲁诺·库塞尔;保罗·弗朗西·扎内塔奇 关于属性系统的等价问题。 (英语) Zbl 0529.68005号 Inf.控制 52, 275-305 (1982).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Franchi-Zannettacci},Inf.Control 52,275--305(1982;Zbl 0529.68005) 全文: 内政部
索林·伊斯特拉尔 关于非代数粘附的一些评论。 (英语) Zbl 0528.68052号 西奥。计算。科学。 21, 341-349 (1982).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Istrail},Theor。计算。科学。21、341--349(1982;Zbl 0528.68052) 全文: 内政部
Kwong、Yat-sang 异步并行计算中的约简和活锁。(1978年论文修订版)。 (英语) 兹伯利0527.68004 《计算机科学:系统编程》,第7期。密歇根州安阿伯:UMI研究出版社。埃塞克斯·埃平:鲍克出版公司(供应商)。X、 107页,44.00美元(1982年)。MSC公司:68-02 第68页第25页 60年第68季度 68问题85 65年第68季度 68平方米 PDF格式BibTeX公司 XML格式
巴兹丁,是的。M。 归纳推理的一些规则及其应用。 (俄语) Zbl 0516.68015号 Semiotika公司。 19, 59-89 (1982).MSC公司:60年第68季度 68瓦99 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Ya.M.Barzdin'},Semiotika Inf.19,59--89(1982;Zbl 0516.68015)
Yu Sakalauskajte。 关于一类递归程序方案中的等价变换。 (俄语) Zbl 0515.68059号 Mat.Logika底漆。 2, 81-91 (1982).MSC公司:65年第68季度 03B05号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.Sakalauskajte},Mat.Logika引文。2、81-91(1982年;Zbl 0515.68059)
V.N.多姆拉乔夫。 关于程序属性的调查方法。 (俄语) Zbl 0514.68015号 Kibernetika岛 1982年,第3期,第118-120页(1982年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Domrachev},Kibernetika 1982,第3期,118--120(1982;Zbl 0514.68015)
弗兰克·旺库勒 Charakterisierung von Graphenklassen durch verbotene Strukturen und Reduktionen公司。(论文)。 (德语) Zbl 0508.68047号 多特蒙德大学Abteilung Informatik der Universityät Dortmund。第98条(1982年)。MSC公司:65年第68季度 60年第68季度 03B25号 PDF格式BibTeX公司 XML格式
Philip E.伦敦。;马丁·费瑟(Martin S.Feather)。 实现规范自由。 (英语) Zbl 0497.68006号 科学。计算。程序。 2, 91-131 (1982).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.E.London}和\textit{M.S.Feather},科学。计算。程序。2、91——131(1982年;Zbl 0497.68006) 全文: 内政部
罗伯特·B·K·杜瓦。;米查·谢里尔;埃莉亚·魏泽尔鲍姆 垃圾收集算法的转换派生。 (英语) Zbl 0492.68015号 ACM事务处理。程序。语言系统。 4, 650-667 (1982).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.B.K.Dewar}等人,ACM Trans。程序。语言系统。4650-667(1982年;Zbl 0492.68015) 全文: 内政部
北卡罗来纳州科科。;杜利,S。 异常处理机制及其验证规则。 (英语) Zbl 0489.68012号 计算。语言。 7, 89-102 (1982).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Cocco}和\textit{S.Dulli},计算机。Lang.7,89--102(1982;Zbl 0489.68012) 全文: 内政部
达米安·尼温斯基 代数(树)文法的定点语义(扩展抽象)。 (英语) Zbl 0488.68053号 自动化,语言和编程,第九学院,奥胡斯/丹麦。1982年,Lect。票据计算。科学。第140384-396页(1982年)。MSC公司:第68季度55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
彼得·帕达维茨 图形语法和操作语义。 (英语) Zbl 0486.68090号 西奥。计算。科学。 19, 117-141 (1982).MSC公司:第68季度55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Padawitz},Theor。计算。科学。19、117--141(1982;Zbl 0486.68090) 全文: 内政部
玛丽·卢·索法 控制纪律的必要性:使语言与实施一样通用。 (英语) Zbl 0482.68014号 比特币 22, 169-182 (1982).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Lou Soffa},BIT 22,169--182(1982;Zbl 0482.68014) 全文: 内政部
布鲁诺·库塞尔;保罗·弗朗西·扎内塔奇 属性语法和递归程序方案。一、二、。 (英语) Zbl 0481.68068号 西奥。计算。科学。 17, 163-191, 235-257 (1982).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Franchi-Zannettacci},Theor。计算。科学。17、163--191、235--257(1982年;Zbl 0481.68068) 全文: 内政部
A.P.W.博姆。;A.德布鲁因。 并行进程的动态网络。 (英语) Zbl 0478.68049号 数学。美分。,金额。,Afd.Inf.IW 192/82,40 p.(1982)。MSC公司:2005年第68季度 60年第68季度 第68页第25页 68瓦99 68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式
达姆,沃纳 IO和OI层次结构。 (英语) Zbl 0478.68012号 西奥。计算。科学。 20, 95-207 (1982).MSC公司:68号01 68问题65 65年第68季度 03B40型 60年第68季度 05年3月 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm},Theor(西奥)。计算。科学。20,95--207(1982;Zbl 0478.68012) 全文: 内政部
格雷戈·波希曼。 带时序逻辑的硬件规范:示例。 (英语) Zbl 0477.94036号 IEEE传输。计算。 31, 223-231 (1982).MSC公司:94立方厘米 03B45 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Bochmann},IEEE Trans。计算。31223--231(1982;Zbl 0477.94036) 全文: 内政部
利索维克,L.P。 自由半群中的拟恒等式。 (英语) 兹伯利0475.20049 乌克兰。数学。J。 33, 316-319 (1982).MSC公司:2005年5月20日 20立方米 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lisovik},乌克尔。数学。J.33,316-319(1982;Zbl 0475.20049) 全文: 内政部