劳尔·洛佩斯·鲁埃达;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 一种用于通用符号协议分析的具有不可约性和SMT约束的高效规范收缩实现。 (英语) Zbl 07741961号 J.日志。代数。方法计划。 135,文章ID 100895,27 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.López-Rueda}等人,J.Log。代数。方法计划。135,文章ID 100895,27 p.(2023;Zbl 07741961) 全文: 内政部 arXiv公司
杨,范;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥,索尼娅 通过进程代数语义选择串空间。 (英语) Zbl 07729484号 Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13160, 307-350 (2023).MSC公司:94A60型 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Yang}等人,Lect。注释计算。科学。13160307--350(2023年;Zbl 07729484) 全文: 内政部 arXiv公司
玛丽亚·阿尔普特;巴利斯,德米斯;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 通过程序专业化优化Maude程序。 (英语) Zbl 07729469号 Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13160,21-50(2023年)。MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Lect。注释计算。科学。13160,21-50(2023年;兹bl 07729469) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜;巴利斯,德米斯 重写逻辑理论的符号专门化急板地. (英语) Zbl 07776347号 理论与实践。日志。程序。 22,第3期,444-495(2022年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《理论与实践》。日志。程序。22,第3号,444--495(2022;Zbl 07776347) 全文: 内政部 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) 全文: 内政部
劳尔·洛佩斯·鲁埃达;圣地亚哥埃斯科瓦尔 具有不可约性和SMT约束的规范收缩作为通用符号协议分析方法。 (英语) Zbl 1517.94128号 Bae,Kyungmin(编辑),重写逻辑及其应用。2022年4月2日至3日,德国慕尼黑,第14届WRLA 2022国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。13252, 45-64 (2022).MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.López-Rueda}和\textit{S.Escobar},莱克托。注释计算。科学。13252,45-64(2022;Zbl 1517.94128) 全文: 内政部
Alpunte,M。;D.巴利斯。;埃斯科瓦尔,S。;萨皮尼亚,J。 通过等式部分评估优化重写理论。 (英语) 兹比尔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页(2022;Zbl 1477.68136) 全文: 内政部
阿帕里西奥·桑切斯,达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 具有时间和空间的协议分析。 (英语) 兹比尔1498.94052 Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13066, 22-49 (2021).MSC公司:94A60型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Aparicio-Sánchez}等人,Lect。注释计算。科学。13066,22-49(2021;Zbl 1498.94052) 全文: 内政部
阿帕里西奥·桑切斯,达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 随时间进行协议分析。 (英语) Zbl 1492.94055号 Bhargavan,Karthikeyan(编辑)等人,《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12578, 128-150 (2020).MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{D.Aparicio-Sánchez}等人,Lect。注释计算。科学。12578,128-150(2020;Zbl 1492.94055) 全文: 内政部 arXiv公司
阿帕里西奥·桑切斯,达米安;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 构造器符号下基于变量的方程统一。 (英语) 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;兹bl 07455704) 全文: arXiv公司 链接
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁本·卢比奥;卡罗琳·塔尔科特 莫德的编程和符号计算。 (英语) Zbl 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公司 链接
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 内置变量生成和统一,以及它们在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) 全文: 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥,索尼娅 用不等量约束模方程理论进行符号协议分析。 (英语) 兹比尔1437.94060 Bodei,Chiara(编辑)等人,《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。9465, 238-261 (2015).MSC公司:94A60型 68号30 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,Lect。注释计算。科学。9465,238--261(2015;Zbl 1437.94060) 全文: 内政部
曼努埃尔·克拉维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特,纳西索;卡罗琳·塔尔科特 莫德二十年。 (英语) 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) 全文: 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥,索尼娅 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) 全文: 内政部
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西 变量缩小和方程统一。 (英语) Zbl 1347.68194号 Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,103-119(2009)。MSC公司:2012年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,《电子》。注释Theor。计算。科学。238,编号3103-119(2009年;兹bl 1347.68194) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 再次讨论狭窄的终止。 (英语) Zbl 1187.68271号 西奥。计算。科学。 410,编号464608-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) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达 一种模块化方程泛化算法。 (英语) Zbl 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 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.Alpunte}等人,Lect。注释计算。科学。5366、317--331(2008年;Zbl 1185.68218) 全文: 内政部
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西 有效检查有限变量属性。 (英语) Zbl 1145.68444号 安德烈·沃伦科夫(编辑),《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70588-8/pbk)。计算机科学讲义5117,79-93(2008)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,Lect。注释计算。科学。5117、79-93(2008年;Zbl 1145.68444) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 基本变窄的模块化终端。 (英语) 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.Alpunte}等人,Lect。注释计算。科学。5117,1--16(2008年;Zbl 1145.68439) 全文: 内政部
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;普拉桑纳·塔蒂 缩小和重写逻辑:从基础到应用。 (英语) 兹比尔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) 全文: 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 NRL协议分析器及其元逻辑属性的基于重写的推理系统。 (英语) 兹比尔1153.94375 西奥。计算。科学。 367,第1-2号,162-202(2006).MSC公司:94A60型 94A62型 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,Theor。计算。科学。367,编号1--2,162-202(2006;Zbl 1153.94375) 全文: 内政部