约斯特·恩格尔弗里特;稻田,Kazuhiro;塞巴斯蒂安·马内思 树行走树传感器的线性边界组成:线性尺寸增加和复杂性。 (英语) Zbl 1512.68137号 Acta信息。 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公司
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) 全文: 内政部
M.曼纳。;斯卡切洛,F。;北卡罗来纳州塞拉利昂。 关于整型属性正则文法的复杂性。 (英语) Zbl 1218.68093号 J.计算。系统。科学。 77,第2期,393-421(2011)。 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:2012年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Manna}等人,《计算杂志》。系统。科学。77,No.2,393--421(2011;Zbl 1218.68093) 全文: 内政部
Büchse,马蒂亚斯;托尔斯滕·苏贝尔 一元数据日志树传感器。 (英语) Zbl 1234.68174号 Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457267-278(2009)。MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Büchse}和\textit{T.Stüber},莱克特。注释计算。科学。5457、267--278(2009年;Zbl 1234.68174) 全文: 内政部
胜本,Shin-ya 属性语法和范畴语义。 (英语) Zbl 1156.68026号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。第35届国际学术讨论会,2008年ICALP,冰岛雷克雅未克,2008年7月7日至11日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-70582-6/pbk)。计算机科学课堂讲稿5126271-282(2008)。MSC公司:2012年第68季度 18 C50 18D05日 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{S.-y.Katsumata},莱克特。注释计算。科学。5126271-282(2008年;Zbl 1156.68026) 全文: 内政部
法兰克·奈文 无等级树的属性文法作为结构化文档的查询语言。 (英语) 兹比尔1101.68636 J.计算。系统。科学。 70,第2期,221-257(2005)。MSC公司:2012年第68季度 第68页,共15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.Neven},J.计算。系统。科学。70,第2号,221--257(2005;Zbl 1101.68636) 全文: 内政部
陈洁才;杨,吴 用于指定Java程序中可访问性的属性语法框架。 (英语) Zbl 1027.68070号 计算。语言系统。结构。 28,第2期,203-235(2002)。MSC公司:2012年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.-T.Chan}和\textit{W.Yang},计算机。语言系统。结构。28,第2号,203--235(2002;Zbl 1027.68070) 全文: 内政部
罗斯、特奥多尔 统一的语言处理方法。 (英语) 兹比尔0997.68070 西奥。计算。科学。 281,第1-2号,499-536(2002)。MSC公司:65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \文本{T.Rus},Theor。计算。科学。281,编号1--2,499--536(2002;Zbl 0997.68070) 全文: 内政部
罗德里克·布洛姆;约斯特·恩格尔弗里特 一元二阶逻辑和属性文法定义的树转导的比较。 (英语) Zbl 0960.68086号 J.计算。系统。科学。 61,第1期,1-50页(2000年)。MSC公司:2012年第68季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}和\textit{J.Engelfriet},J.Comput。系统。科学。61,第1号,1--50(2000;Zbl 0960.68086) 全文: 内政部 链接
塞巴斯蒂安·马内思 总确定性树形传感器的发电功率。 (英语) Zbl 0927.68046号 Inf.计算。 147,第2期,111-144(1998)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Maneth},Inf.计算。147,No.2,111--144(1998;Zbl 0927.68046) 全文: 内政部 链接
马萨塔卡·萨萨;Takuya Ookubo 属性语法描述的系统调试方法。 (英语) Zbl 1336.68040号 信息处理。莱特。 62,第6期,305-313页(1997年)。MSC公司:68纳米30 68N20型 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Sassa}和\textit{T.Ookubo},Inf.过程。莱特。62,编号6,305-313(1997年;兹bl 1336.68040) 全文: 内政部
M.村田。;H·中松山。 DSSSL定位模型的理论基础。 (英语) Zbl 0888.68123号 数学。计算。建模 25,第4期,95-107(1997)。MSC公司:68单位15 PDF格式BibTeX公司 XML格式引用 \textit{M.Murata}和\textit{H.Nakatsuyama},数学。计算。模型25,No.4,95--107(1997;Zbl 0888.68123) 全文: 内政部
A.L.jun Brown。;曼塔,S。;和歌山,T。 文档处理的正式规范。 (英语) Zbl 0888.68121号 数学。计算。建模 25,第4号,57-72(1997)。MSC公司:68单位15 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Brown jun.}等人,数学。计算。模型25,编号4,57--72(1997;Zbl 0888.68121) 全文: 内政部
美国卡斯滕斯。;怀特,W.M。 属性语法中的模块化和可重用性。 (英语) Zbl 0818.68103号 Acta信息。 31,第7号,601-627(1994)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Kastens}和\textit{W.M.Waite},《学报》第31期,第7期,第601--627页(1994年;Zbl 0818.68103) 全文: 内政部
库塞尔,B。;M·莫斯巴。 树分解图的一元二阶估计。 (英语) Zbl 0789.68083号 西奥。计算。科学。 109,编号1-2,49-82(1993)。MSC公司:2012年第68季度 68兰特 03B15号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{M.Mosbah},Theor。计算。科学。109,编号1--2,49-82(1993;Zbl 0789.68083) 全文: 内政部
皮埃尔·德兰萨特 定程序声明性的证明方法。 (英语) Zbl 0783.68078号 西奥。计算。科学。 118,第2号,99-166(1993)。MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \提奥,textit{P.Deransart}。计算。科学。118,编号2,99--166(1993;Zbl 0783.68078) 全文: 内政部 链接
约斯特·恩格尔弗里特;琳达·海克 无上下文超图文法与属性文法具有相同的术语生成能力。 (英语) Zbl 0769.68072号 Acta信息。 29,第2期,161-210(1992)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{L.Heyker},《学报》第29卷第2期,第161--210页(1992年;Zbl 0769.68072) 全文: 内政部
西野哲郎 关联属性文法和词汇功能文法。 (英语) Zbl 0753.68057号 信息科学。 66,第1-2、1-22号(1992年)。MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Nishino},信息科学。66,编号1--2,1--22(1992;Zbl 0753.68057) 全文: 内政部
梅里斯特,梅里克;Jaan Penjam 面向基于知识的语言规范。 (英语) Zbl 1412.68029号 巴兹迪ṇJánis(编辑)等人,波罗的海计算机科学。精选论文。柏林等:Springer-Verlag。莱克特。注释计算。科学。502, 65-76 (1991).MSC公司:68甲15 2012年第68季度 60年第68季度 68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Meriste}和\textit{J.Penjam},莱克特。注释计算。科学。50265--76(1991年;Zbl 1412.68029) 全文: 内政部
帕特里克·圣迪泽尔 关于逻辑编程Dislog的解释:在逻辑中编程长距离依赖。 (英语) Zbl 1493.68075号 Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 232-246 (1990).MSC公司:68N17号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{P.圣蒂泽尔},莱克特。注释计算。科学。463,232--246(1990年;Zbl 1493.68075) 全文: 内政部
查普曼,N.P。 使用属性语法定义、分析和实现通信协议。 (英语) Zbl 0707.68009号 形式方面计算。 2,第4号,359-392(1990)。MSC公司:68M10个 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Chapman},正式Asp。计算。2,第4号,359--392(1990;Zbl 0707.68009) 全文: 内政部
乔尔马·塔尔希奥 非属性语法。 (英语) Zbl 0696.68090号 比特币 30,第3期,437-449(1990)。MSC公司:65年第68季度 68N20型 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Tarhio},BIT 30,编号3,437--449(1990;Zbl 0696.68090) 全文: 内政部
尤根·艾克尔 文档的逻辑和布局结构。 (英语) Zbl 0900.68453号 计算。物理学。Commun公司。 61,No.1-2,201-208(1990)。MSC公司:68单位15 PDF格式BibTeX公司 XML格式引用 \textit{J.Eickel},计算。物理学。Commun公司。61,编号1--2,201-208(1990;Zbl 0900.68453) 全文: 内政部
罗伯特·吉格里奇 属性耦合文法的组成和评估。 (英语) Zbl 0639.68072号 Acta信息。 25,第4号,335-423(1988)。 审核人:R.吉格里奇 MSC公司:65年第68季度 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Giegerich},Acta Inf.25,No.4,335--423(1988;Zbl 0639.68072) 全文: 内政部