马库斯·洛伊；塞巴斯蒂安·马内思；曼弗雷德·施密特·沙乌 语法压缩树的参数约简和自动机求值。 （英语） Zbl 1246.68114号 J.计算。系统。科学。 78，第5期，1651-1669（2012）.MSC公司：68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人，J.Compute。系统。科学。78，第5号，1651--1669（2012；Zbl 1246.68114） 全文： 内政部
曼弗雷德·施密特·肖斯；大卫·萨贝尔；阿尼斯，阿尔图 多项式时间内压缩项的同余闭包。 （英语） Zbl 1348.68085号 Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，227-242（2011）。MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}等人，Lect。注释计算。科学。6989、227--242（2011；Zbl 1348.68085） 全文： 内政部
约尔迪·利维；马图·维拉雷特 在二阶统一中简化签名。 （英语） Zbl 1196.68113号 申请。代数工程通讯。计算。 20，编号5-6，427-445（2009）. 审核人：马可·加博瓦迪（博洛尼亚） MSC公司：2012年第68季度 03B15号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{M.Villaret}，应用。代数工程通讯。计算。20，编号5-6427-445（2009年；兹bl 1196.68113） 全文： 内政部
阿德里亚·加斯科恩；吉勒姆·戈多伊；曼弗雷德·施密特·沙乌 与单例树语法的统一。 （英语） Zbl 1242.68132号 Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。《计算机科学讲义》5595、365-379（2009）。MSC公司：2012年第68季度 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人，Lect。注释计算。科学。5595365-379（2009年；Zbl 1242.68132） 全文： 内政部
马库斯·洛伊；塞巴斯蒂安·马内思；曼弗雷德·施密特·沙乌 语法压缩树中的参数缩减。 （英语） Zbl 1234.68182号 de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504212-226（2009）。MSC公司：2012年第68季度 68页30 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人，Lect。注释计算。科学。5504212--226（2009年；Zbl 1234.68182） 全文： 内政部
阿列克西·舒伯特 关于仿射收缩的构建。 （英语） Zbl 1153.68013号 数学。结构。计算。科学。 18，第4期，753-793（2008）.MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schubert}，数学。结构。计算。科学。18，第4号，753--793（2008；Zbl 1153.68013） 全文： 内政部