安德烈亚斯·马莱蒂;蒂安·鲁克,科特林·伊努 拟重标记树双同构的性质。 (英语) 兹比尔1192.68419 发现的国际期刊。计算。科学。 21,第3期,257-276(2010)。MSC公司:65年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Maletti}和\textit{C.I.Trnuc},国际期刊发现。计算。科学。21,第3号,257--276(2010;Zbl 1192.68419) 全文: 内政部
马格纳斯·斯坦比;蒂安·鲁克,科特林·伊努 通过树双晶定义语法定向翻译。 (英语) Zbl 1191.68747号 西奥。计算。科学。 410,第37号,3495-3503(2009)。MSC公司:第68页第50页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Steinby}和\textit{C.I.Trnuc},Theor。计算。科学。410,编号37,3495--3503(2009;Zbl 1191.68747) 全文: 内政部
约翰·惠誉 CAMAL 40年了——小还是漂亮吗? (英语) Zbl 1247.68323号 Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。《人工智能课堂讲稿》,32-44(2009)。MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Fitch},莱克特。注释计算。科学。5625,32-44(2009;Zbl 1247.68323) 全文: 内政部
马格纳斯·斯坦比;蒂安·鲁克,科特林·伊努 句法定向翻译和准字母表树双晶。 (英语) Zbl 1139.68375号 Holub,Jan(编辑)等人,《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-76335-2/pbk)。《计算机科学讲义》4783、265-276(2007)。MSC公司:65年第68季度 第68页第50页 PDF格式BibTeX公司 XML格式引用 \textit{M.Steinby}和\textit{C.I.Trnuc},Lect。注释计算。科学。4783、265--276(2007年;Zbl 1139.68375) 全文: 内政部
阿明·库内曼 宏树变换器输出语言的泵浦引理。 (英语) Zbl 1508.68196号 Kirchner,Hélène(编辑),代数和编程中的树——CAAP’96。第21届国际学术讨论会,1996年4月22日至24日,瑞典林雪平。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1059, 44-58 (1996).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kühnemann},莱克特。注释计算。科学。1059、44-58(1996年;Zbl 1508.68196) 全文: 内政部
乔拉·斯卢茨基;瓦格伏尔盖,桑德尔 具有迭代look-ahead的确定性自顶向下树变换器。 (英语) Zbl 0873.68137号 西奥。计算。科学。 143,第2期,285-308(1995)。MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Slutzki}和\textit{S.Vágvölgyi},Theor。计算。科学。143,第2号,285--308(1995;Zbl 0873.68137) 全文: 内政部
阿明·库内曼;福格勒、海科 合成函数和继承函数。一种新的语法导向语义计算模型。 (英语) Zbl 0818.68108号 Acta信息。 31,第5期,431-477(1994)。 审核人:阿奎内曼 MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Kühnemann}和\textit{H.Vogler},《学报》第31期,第5期,第431--477页(1994;Zbl 0818.68108) 全文: 内政部
约斯特·恩格尔弗里特;福格勒、海科 自顶向下的树到图传感器的转换能力。 (英语) Zbl 0821.68078号 J.计算。系统。科学。 49,第2期,258-305(1994)。MSC公司:2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{H.Vogler},J.Compute。系统。科学。49,第2号,258--305(1994;Zbl 0821.68078) 全文: 内政部
博伊沃伊·梅利查 由\(LR\)解析指导的正式翻译。 (英语) Zbl 0746.68056号 凯贝内提卡 28,第1期,50-61页(1992年)。MSC公司:68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Melichar},凯贝内提卡28,第1号,50-61(1992;Zbl 0746.68056) 全文: 欧洲DML 链接
约斯特·恩格尔弗里特;福格勒、海科 模块化树形传感器。 (英语) Zbl 0729.68018号 西奥。计算。科学。 78,第2期,267-303(1991年)。 审核人:马格努斯·斯坦比(图尔库) MSC公司:2005年第68季度 2012年第68季度 65年第68季度 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{H.Vogler},Theor。计算。科学。78,第2号,267--303(1991;Zbl 0729.68018) 全文: 内政部
约斯特·恩格尔弗里特;福格勒、海科 宏树传感器。 (英语) Zbl 0588.68039号 J.计算。系统。科学。 31, 71-146 (1985)。 审核人:D.卢卡努 MSC公司:65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{H.Vogler},J.Compute。系统。科学。31、71——146(1985年;Zbl 0588.68039) 全文: 内政部 链接
乔治夫,M.P。 相互依赖的翻译方案。 (英语) Zbl 0458.68031号 J.计算。系统。科学。 22, 198-219 (1981)。MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Georgeff},J.计算。系统。科学。22198-219(1981年;Zbl 0458.68031) 全文: 内政部
Eljas Soisalon-Soininen公司;埃斯科·乌科宁 将语法转换为LL(k)形式的方法。 (英语) Zbl 0423.68039号 Acta信息。 12, 339-369 (1979)。MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Soisalon-Soininen}和\textit{E.Ukkonen}.学报12,339--369(1979;Zbl 0423.68039) 全文: 内政部
西特祖,S。;泰斯塔,F。 插值叠氮酮平滑一维相对论算子微分线性。 (英语) Zbl 0385.65005号 卡尔科洛 11, 1-23 (1975)。MSC公司:65日第10天 第65天05 65D07年 PDF格式BibTeX公司 XML格式引用 \textit{S.Seatzu}和\textit{F.Testa},加尔各洛11,1--23(1977;Zbl 0385.65005) 全文: 内政部
大卫·本森。 保留语义的翻译。 (英语) Zbl 0305.68010号 数学。系统。理论 8(1974), 105-126 (1975)。MSC公司:68号01 18立方厘米 18秒20 65年第68季度 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson},数学。系统。理论8105-126(1975;Zbl 0305.68010) 全文: 内政部
刘易斯,P.M。;罗森克兰茨,D.J。;R.E.斯特恩斯。 属性化翻译。 (英语) Zbl 0308.68073号 J.计算。系统。科学。 9, 279-307 (1974)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Lewis}等人,J.Compute。系统。科学。9、279--307(1974年;Zbl 0308.68073) 全文: 内政部
Della Vigna,P.L。;C·盖齐。 两种上下文无关的语言在句法导向的翻译方案中可以翻译吗? (英语) Zbl 0305.68009号 卡尔科洛 11, 1-15 (1974)。MSC公司:68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.L.Della Vigna}和\textit{C.Ghezzi},加尔各洛11,1-15(1974;Zbl 0305.68009) 全文: 内政部
唐纳德·克努思。 自上而下的语法分析。 (英语) 兹比尔0233.68022 Acta信息。 179-110年(1971年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Knuth},《信息学报》1,79--110(1971;Zbl 0233.68022) 全文: 内政部
洛杉矶扎德。 定量模糊语义。 (英语) Zbl 0218.02057号 信息科学。 3, 159-176 (1971)。MSC公司:03E72型 PDF格式BibTeX公司 XML格式引用 \文本{L.A.Zadeh},信息科学。3159--176(1971;Zbl 0218.02057) 全文: 内政部
阿霍,A.V。;J.D.乌尔曼。 下推翻译的特征和扩展。 (英语) Zbl 0217.53803号 数学。系统。理论 5, 172-192 (1971)。MSC公司:第68页第50页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Aho}和\textit{J.D.Ullman},数学。系统。理论5,172--192(1971;Zbl 0217.53803) 全文: 内政部
沃特曼,D.A。 用于自动学习启发式的泛化学习技术。 (英语) Zbl 0203.49003号 Artif公司。智力。 1, 121-170 (1970)。 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Waterman},阿蒂夫。智力。121-170(1970年;兹bl 0203.49003) 全文: 内政部
圆形,W.C。 树上的映射和语法。 (英语) Zbl 0203.30103号 数学。系统。理论 4, 257-287 (1970)。 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Rounds},数学。系统。理论4,257--287(1970;Zbl 0203.30103) 全文: 内政部
撒切尔夫人。 广义顺序机器映射。 (英语) Zbl 0198.03303号 J.计算。系统。科学。 4, 339-367 (1970)。 PDF格式BibTeX公司 XML格式引用 \textit{J.W.撒切尔},J.计算机。系统。科学。4339-367(1970年;Zbl 0198.03303) 全文: 内政部
阿霍,A.V。;J.D.乌尔曼。 语法导向翻译和下推汇编程序。 (英语) Zbl 0182.0203号 J.计算。系统。科学。 3, 37-56 (1969)。 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Aho}和\textit{J.D.Ullman},J.Comput。系统。科学。3、37-56(1969年;Zbl 0182.02003) 全文: 内政部
阿霍,A.V。;霍普克罗夫特,J.E。;乌尔曼,J.D。 翻译的一般理论。 (英语) Zbl 0175.00803号 数学。系统。理论 3, 193-221 (1969)。 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Aho}等人,《数学》。系统。理论3,193--221(1969;Zbl 0175.00803) 全文: 内政部
阿霍,A.V。;J.D.乌尔曼。 语法导向翻译的属性。 (英语) 兹标0174.02802 J.计算。系统。科学。 3, 319-334 (1969)。 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Aho}和\textit{J.D.Ullman},J.Comput。系统。科学。319--334(1969;Zbl 0174.02802) 全文: 内政部
Dömölki,B。 基于产生式规则的通用编译器系统。 (英语) Zbl 0177.44302号 北蒂茨克BIT。信息-行为。 8, 262-275 (1968)。 PDF格式BibTeX公司 XML格式引用 \textit{B.Dömölki},BIT,Nord.Tidskr。信息-行为。8262--275(1968年;Zbl 0177.44302) 全文: 内政部
科努特,D.E。 无上下文语言的语义。 (英语) Zbl 0169.01401号 数学。系统。理论 2, 127-145 (1968)。 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Knuth},数学。系统。理论2,127--145(1968;Zbl 0169.01401) 全文: 内政部
W.H.伯克哈特。 根据语法生成测试程序。 (英语) Zbl 0183.19104号 计算 2, 53-73 (1967)。 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Burkhardt},计算机2,53--73(1967;Zbl 0183.19104) 全文: 内政部
诺尔,P。 GIER ALGOL编译器的设计。一、二、。 (英语) Zbl 0116.09608号 北蒂茨克BIT。信息-行为。 3, 124-140, 145-166 (1963)。 PDF格式BibTeX公司 XML格式引用 \textit{P.Naur},BIT,Nord.Tidskr(北提斯克)。信息-行为。3124-140145-166(1963年;Zbl 0116.09608) 全文: 内政部