阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·肖斯 压缩术语的统一和匹配。 (英语) Zbl 1351.68128号 ACM事务处理。计算。日志。 第12号第4条第26条第37页(2011年).MSC公司:2012年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人,《美国医学杂志》。计算。日志。12,第4号,第26条,第37页(2011年;Zbl 1351.68128) 全文: 内政部 arXiv公司
阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 与一个上下文变量的上下文统一。 (英语) Zbl 1192.68431号 J.塞姆。计算。 45,第2期,173-193(2010).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人,J.Symb。计算。45,第2号,173--193(2010;Zbl 1192.68431) 全文: 内政部 链接
阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌 与单例树语法的统一。 (英语) Zbl 1242.68132号 Treinen,Ralf(编辑),重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02347-7/pbk)。计算机科学课堂讲稿5595365-379(2009)。MSC公司:2012年第68季度 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人,Lect。注释计算。科学。5595365-379(2009年;Zbl 1242.68132) 全文: 内政部