玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 有序同胚嵌入结合性和/或交换性公理的模组合。 （英语） Zbl 1497.68235号 芬丹。通知。 177，编号3-4，297-329（2020）.MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Fundam。通知。177，编号3--4，297--329（2020；Zbl 1497.68235） 全文： 内政部 arXiv公司
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮纳;黛米斯·巴利斯 与纳瓦尔对莫德理论的符号分析。 （英语） Zbl 1434.68214号 理论与实践。日志。程序。 19，编号5-6，874-890（2019）.MSC公司：2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《理论与实践》。日志。程序。19，编号5-6-874-890（2019；兹bl 1434.68214） 全文： 内政部 arXiv公司
阿尔普恩特，M。;M.科米尼。;埃斯科瓦尔，S。;M.法拉斯基。;J·伊波拉。 术语重写系统的紧凑不动点语义。 （英语） Zbl 1209.68285号 西奥。计算。科学。 411，第37号，3348-3371（2010）.MSC公司：2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Theor。计算。科学。411，第37号，3348--3371（2010；Zbl 1209.68285） 全文： 内政部
阿尔普恩特，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 重新审视按需策略注释：改进的按需评估策略。 （英语） Zbl 1186.68092号 西奥。计算。科学。 411，第2期，504-541（2010）.MSC公司：68甲15 2012年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Theor。计算。科学。411，第2号，504--541（2010；Zbl 1186.68092） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 再次讨论狭窄的终止。 （英语） Zbl 1187.68271号 西奥。计算。科学。 410，第46号，4608-4625（2009）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Alpuente}等人，Theor。计算。科学。410，第46号，4608--4625（2009；Zbl 1187.68271） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 使用依赖项对终止收缩。 （英语） Zbl 1185.68218号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，317-331（2008）。MSC公司：68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Alpuente｝等人，Lect。注释计算。科学。5366、317--331（2008年；Zbl 1185.68218） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 基本变窄的模块化终端。 （英语） Zbl 1145.68439号 安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，1-16（2008）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Alpuente｝等人，Lect。注释计算。科学。5117，1--16（2008年；Zbl 1145.68439） 全文： 内政部