玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜;巴利斯,德米斯 重写逻辑理论的符号专门化急板地. (英文) Zbl 1530.68130号 理论与实践。日志。程序。 22,第3期,444-495(2022年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《理论与实践》。日志。程序。22,第3号,444--495(2022;Zbl 1530.68130) 全文: 内政部 arXiv公司
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 Maude 3.2(系统描述)中的等式统一和匹配以及符号可达性分析。 (英文) Zbl 07628207号 Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13385, 529-540 (2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,Lect。注释计算。科学。13385、529--540(2022;Zbl 07628207) 全文: 内政部
Alpunte,M。;D.巴利斯。;埃斯科瓦尔,S。;萨皮尼亚,J。 通过等式部分评估优化重写理论。 (英文) Zbl 1477.68136号 J.日志。阿尔盖布。方法计划。 124,文章ID 100729,29 p.(2022).MSC公司:2012年第68季度 第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100729,29 p.(2022;Zbl 1477.68136) 全文: 内政部
阿帕里西奥·桑切斯,达米安;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 构造器符号下基于变量的方程统一。 (英文) Zbl 07455704号 Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32538-51(2020年)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Aparicio-Sánchez}等人,《电子》。程序。西奥。计算。科学。(EPTCS)325,38--51(2020;Zbl 07455704) 全文: arXiv公司 链接
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 有序同胚嵌入结合性和/或交换性公理的模组合。 (英文) 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公司
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 莫德的编程和符号计算。 (英文) 兹比尔1494.68109 J.日志。阿尔盖布。方法计划。 110,文章ID 100497,58 p.(2020).MSC公司:2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100497,58 p.(2020;Zbl 1494.68109) 全文: 内政部 arXiv公司
圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 大多数通用变体统一器。 (英文) Zbl 07453112号 Bogaerts,Bart(ed.)等人,《第35届逻辑编程(技术通信)国际会议论文集》,2019年ICLP,美国拉斯克鲁塞斯,2019月20日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)306154-167(2019)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}和\textit{J.Sapiña},电子。程序。西奥。计算。科学。(EPTCS)306154-167(2019年;Zbl 07453112) 全文: 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公司
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 内置变量生成和统一,以及它们在Maude 2.7中的应用。 (英文) Zbl 1475.68046号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9706, 183-192 (2016).MSC公司:68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,Lect。注释计算。科学。9706183--192(2016;Zbl 1475.68046) 全文: 内政部 链接
曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特,纳西索;卡罗琳·塔尔科特 莫德二十年。 (英文) Zbl 1321.68007号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲稿9200,232-254(2015)。MSC公司:68-03 01A65号 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人,Lect。注释计算。科学。9200、232--254(2015;Zbl 1321.68007) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 ACUOS:具有子类型和继承的模块化ACU泛化系统。 (英文) Zbl 1432.68422号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。8761, 573-581 (2014).MSC公司:68T27型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Lect。注释计算。科学。8761573-581(2014年;兹bl 1432.68422) 全文: 内政部 链接
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥,索尼娅 Maude-NRL协议分析器中的状态空间缩减。 (英文) Zbl 1360.94307号 Inf.计算。 238, 157-186 (2014).MSC公司:94A60型 68个M12 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,《信息计算》。238157--186(2014年;Zbl 1360.94307) 全文: 内政部 链接
圣地亚哥埃斯科瓦尔 Maude中的功能逻辑编程。 (英文) Zbl 1407.68081号 Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。勒克特。注释计算。科学。8373, 315-336 (2014).MSC公司:68N17号 68甲18 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar},莱克特。注释计算。科学。8373、315--336(2014;Zbl 1407.68081) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 一种模序分类方程泛化算法。 (英文) Zbl 1314.68169号 Inf.计算。 235, 98-136 (2014). 审核人:Temur Kutsia(林茨) MSC公司:2012年第68季度 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《Inf.Compute》。235、98——136(2014;Zbl 1314.68169) 全文: 内政部
毛里西奥·阿尔巴·卡斯特罗;玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔 重写逻辑中全局不干涉的抽象证明。 (英文) Zbl 1312.68049号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第八届国际研讨会,2009年FMCO,荷兰埃因霍温,2009年11月4-6日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17070-6/pbk)。计算机科学课堂讲稿6286,105-124(2010)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alba-Castro}等人,Lect。注释计算。科学。6286、105-124(2010年;Zbl 1312.68049) 全文: 内政部 arXiv公司
Alpunte,M。;M.科米尼。;埃斯科瓦尔,S。;M.法拉斯基。;J·伊波拉。 术语重写系统的紧凑不动点语义。 (英文) Zbl 1209.68285号 西奥。计算。科学。 411,第37号,3348-3371(2010).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{M.Alpuente}等人,Theor。计算。科学。411,编号373348-3371(2010年;Zbl 1209.68285) 全文: 内政部
Alpunte,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) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达 有序概括。 (英文) 兹比尔1347.68193 Falaschi,Moreno(编辑),第17届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2008),意大利锡耶纳,2008年7月3日至4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记246,27-38(2009)。MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《电子》。注释Theor。计算。科学。24627--38(2009年;Zbl 1347.68193) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 再次讨论狭窄的终止。 (英文) 兹比尔1187.68271 西奥。计算。科学。 410,第46号,4608-4625(2009).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。410,第46号,4608--4625(2009;Zbl 1187.68271) 全文: 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 Maude-NPA:密码协议分析模方程属性。 (英文) Zbl 1252.94061号 Aldini,Alessandro(编辑)等人,《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林:施普林格出版社(ISBN 978-3-642-03828-0/pbk)。计算机科学课程讲稿5705,1-50(2009)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,Lect。注释计算。科学。5705,1-50(2009年;Zbl 1252.94061) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥赫达 一种模块化的等式泛化算法。 (英文) 兹比尔1185.68219 Michael Hanus(编辑),基于逻辑的程序合成和转换。2008年7月17日至18日在西班牙巴伦西亚举行的2008年LOPSTR第18届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-00514-5/pbk)。计算机科学课堂讲稿5438,24-39(2009)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Lect。注释计算。科学。5438,24-39(2009;Zbl 1185.68219) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 基本变窄的模块化终端。 (英文) Zbl 1145.68439号 Voronkov,Andrei(编辑),重写技术和应用。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.Alpunte}等人,Lect。注释计算。科学。5117,1--16(2008年;Zbl 1145.68439) 全文: 内政部
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;普拉桑纳·塔蒂 缩小和重写逻辑:从基础到应用。 (英文) Zbl 1279.68205号 López Fraguas,Francisco J.(编辑),第十五届函数和(约束)逻辑编程研讨会论文集(WFLP 2006),西班牙马德里,2006年11月16日至17日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》177,5-33(2007)。MSC公司:60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,《电子》。注释Theor。计算。科学。177、5-33(2007年;Zbl 1279.68205) 全文: 内政部