约斯特·恩格尔弗里特;稻田,Kazuhiro;塞巴斯蒂安·马内思 树行走树传感器的线性边界组成:线性尺寸增加和复杂性。 (英语) Zbl 1512.68137号 学报信息。 58,编号1-2,95-152(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,《信息学报》58,第1--2、95-152期(2021年;Zbl 1512.68137) 全文: 内政部 arXiv公司
E.巴杜埃尔。;R·T·后贡。;Nkuimi-Jugnia,C。;B.福清。 属性文法作为无限树及其描述性组合的循环表示上的树变换器。 (英语) Zbl 1291.68214号 西奥。计算。科学。 480, 1-25 (2013).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}等人,Theor。计算。科学。480,1--25(2013;Zbl 1291.68214) 全文: 内政部
Jean-Marie Gaillourdet;帕特里克·米歇尔;阿恩·施·赫夫特;劳赫,妮可 支持属性的排序树的通用函数表示(Haskell可以做到)。 (英语) Zbl 1383.68016号 沃伦科夫,安德烈(编辑)等人,《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林:施普林格出版社(ISBN 978-3-642-37650-4/pbk)。计算机科学课堂讲稿7797,72-89(2013)。MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Gaillourdet}等人,Lect。注释计算。科学。7797、72-89(2013年;Zbl 1383.68016) 全文: 内政部
迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃伦科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉 Harald Ganzinger的遗产:对逻辑和编程的贡献。 (英语) Zbl 1383.68003号 沃伦科夫,安德烈(编辑)等人,《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林:施普林格出版社(ISBN 978-3-642-37650-4/pbk)。计算机科学课堂讲稿7797,1-18(2013)。MSC公司:2003年8月 01A70号 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,Lect。注释计算。科学。7797,1-18(2013;Zbl 1383.68003) 全文: 内政部
埃里克·范怀克;德里克·博丹;高继敏;Krishnan、Ligesh Silver:一个可扩展的属性语法系统。 (英语) Zbl 1187.68285号 科学。计算。程序。 75,编号1-2,39-54(2010).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{E.van Wyk}等人,科学。计算。程序。75,编号1--2,39-54(2010;Zbl 1187.68285) 全文: 内政部 链接
约斯特·恩格尔弗里特;埃里克·利林;安德烈亚斯·马莱蒂 扩展的多自下而上树传感器。 (英语) Zbl 1186.68254号 学报信息。 46,编号8,561-590(2009).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,《信息学报》第46卷,第8期,第561--590页(2009年;Zbl 1186.68254) 全文: 内政部
中野圭介 组成堆栈属性树变换器。 (英语) Zbl 1173.68036号 理论计算。系统。 44,编号1,1-38(2009).MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakano},理论计算。系统。44,第1号,1--38(2009;Zbl 1173.68036) 全文: 内政部
约斯特·恩格尔弗里特;埃里克·利林;安德烈亚斯·马莱蒂 扩展的多自下而上树传感器。 (英语) Zbl 1161.68523号 Ito,Masami(编辑)等人,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿5257289-300(2008)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,Lect。注释计算。科学。5257289--300(2008年;Zbl 1161.68523) 全文: 内政部
安德烈亚斯·马莱蒂 扩展自顶向下树传感器的组成。 (英语) Zbl 1154.68075号 Inf.计算。 206,编号9-10,1187-1196(2008).MSC公司:65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Maletti},Inf.计算。206,编号9--10,1187--1196(2008;Zbl 1154.68075) 全文: 内政部
罗德里克·布洛姆;约斯特·恩格尔弗里特 一元二阶逻辑和属性文法定义的树转导的比较。 (英语) Zbl 0960.68086号 J.计算。系统。科学。 61,第1期,1-50页(2000年).MSC公司:第68季度第42季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}和\textit{J.Engelfriet},J.Comput。系统。科学。61,第1号,1--50(2000;Zbl 0960.68086) 全文: 内政部 链接
约斯特·恩格尔弗里特;塞巴斯蒂安·马内思 宏树变换器、属性语法和MSO可定义树翻译。 (英语) Zbl 1045.68585号 Inf.计算。 154,第1期,34-91(1999).MSC公司:65年第68季度 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{S.Maneth},Inf.Compute。154,第1号,34-91(1999年;兹bl 1045.68585) 全文: 内政部 链接
塞巴斯蒂安·马内思 总确定性树形传感器的发电功率。 (英语) Zbl 0927.68046号 Inf.计算。 147,第2期,111-144(1998).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Maneth},Inf.计算。147,No.2,111--144(1998;Zbl 0927.68046) 全文: 内政部 链接
罗伯特·吉格里奇 属性耦合文法的组成和评估。 (英语) Zbl 0639.68072号 学报信息。 25,第4号,335-423(1988). 审核人:R.吉格里奇 MSC公司:65年第68季度 68N20型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Giegerich},Acta Inf.25,第4期,第335-423页(1988年;Zbl 0639.68072) 全文: 内政部