Alpunte,M。;M.科米尼。;埃斯科瓦尔,S。;Falaschi,M。;J·伊波拉。 术语重写系统的紧凑不动点语义。 (英语) Zbl 1209.68285号 西奥。计算。科学。 411,第37号,3348-3371(2010).MSC公司:第68季度第42季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。411,第37号,3348--3371(2010;Zbl 1209.68285) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 再次讨论狭窄的终止。 (英语) Zbl 1187.68271号 西奥。计算。科学。 410,第46号,4608-4625(2009).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。410,第46号,4608--4625(2009;Zbl 1187.68271) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 基本缩窄的模块化端接。 (英语) Zbl 1145.68439号 安德烈·沃伦科夫(编辑),《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70588-8/pbk)。计算机科学课堂讲稿5117,1-16(2008)。MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Lect。注释计算。科学。5117,1--16(2008年;Zbl 1145.68439) 全文: 内政部