劳尔·洛佩斯·鲁埃达;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 一种用于通用符号协议分析的具有不可约性和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公司 OA许可证
玛丽亚·阿尔普特;黛米斯·巴利斯;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 通过程序专业化优化Maude程序。 （英语） Zbl 1529.68130号 Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 21-50 (2023).MSC公司：2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。13160，21-50（2023；Zbl 1529.68130） 全文： 内政部
路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 条件收缩模SMT加公理的策略。 （英语） Zbl 1529.68129号 Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 1-20 (2023).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aguirre}等人，Lect。注释计算。科学。13160，1--20（2023；Zbl 1529.68129） 全文： 内政部
何塞·梅塞盖尔 无限统一仙境中的变量和可满足性。 （英语） Zbl 07723898号 J.日志。阿尔盖布。方法计划。 134，文章ID 100877，38 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。134，文章ID 100877，38 p.（2023；Zbl 07723898） 全文： 内政部
陈晓红;多雷尔·卢卡努;格里高·罗什乌 在匹配逻辑中捕获受约束的构造函数模式。 （英语） 兹伯利07618117 J.日志。阿尔盖布。方法计划。 130，文章ID 100810，31 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛X.Chen｝等人，J.Log。阿尔盖布。方法计划。130，文章ID 100810，31 p.（2023；Zbl 07618117） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜;黛米斯·巴利斯 重写逻辑理论的符号专门化急板地. （英语） 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公司
玛丽亚·阿尔普特;黛米斯·巴利斯;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 基于变量的方程反统一。 （英语） Zbl 1522.68251号 Alicia Villanueva（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13474, 44-60 (2022).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。13474，44-60（2022；Zbl 1522.68251） 全文： 内政部
弗朗西斯科·杜兰;史蒂文·埃克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 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） 全文： 内政部 OA许可证
何塞·梅塞盖尔;斯蒂芬·斯基里克 条件方程程序层次的地面收敛性和完备性。 （英语） Zbl 1514.68039号 Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，第14届国际研讨会，WRLA 2022，德国慕尼黑。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13252, 191-211 (2022).MSC公司：68号30 68甲18 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。注释计算。科学。13252、191--211（2022；Zbl 1514.68039） 全文： 内政部
何塞·梅塞盖尔 通过归纳定理证明检查充分的完备性。 （英语） Zbl 1514.68038号 Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13252, 171-190 (2022).MSC公司：68号30 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。13252、171--190（2022年；Zbl 1514.68038） 全文： 内政部
劳尔·洛佩斯·鲁埃达;圣地亚哥埃斯科瓦尔 具有不可约性和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） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 （英语） Zbl 07517439号 安。数学。Artif公司。智力。 90，第5号，499-522（2022）.MSC公司：68N17号 68甲18 2012年第68季度 60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《数学年鉴》。Artif公司。智力。90，第5号，499--522（2022；Zbl 07517439） 全文： 内政部 链接
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） 全文： 内政部 OA许可证
塞尔达尔·埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 非不相交的联合统一和通过方程准调制的闭包。 （英语） Zbl 07497914号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 25-42 (2021).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。12941，25-42（2021；Zbl 07497914） 全文： 内政部 哈尔
塞尔达尔·埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 终止非分离组合统一。 （英语） Zbl 07496644号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，LOPSTR 2020，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 113-130 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。12561、113--130（2021；Zbl 07496644） 全文： 内政部 哈尔
何塞·梅塞盖尔 莫德的符号计算：一些小吃。 （英语） Zbl 07496639号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，LOPSTR 2020，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 3-36 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。12561，3-36（2021；兹bl 07496639） 全文： 内政部
金、多汉;克里斯托弗·林奇 等式定理证明模。 （英语） Zbl 07437078号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 166-182 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kim}和\textit{C.Lynch}，莱克特。注释计算。科学。12699、166--182（2021；Zbl 07437078） 全文： 内政部 OA许可证
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 构造器符号下基于变量的方程统一。 （英语） 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公司
塞尔达尔·埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 计算子形式收敛理论方程扩展的知识。 （英语） Zbl 1495.68113号 数学。结构。计算。科学。 30，第6号，683-709（2020）.MSC公司：2012年第68季度 68平方米25 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，《数学》。结构。计算。科学。30，第6号，683--709（2020；Zbl 1495.68113） 全文： 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔;卡米洛，罗查 有序条件规范模公理的基础汇合。 （英语） Zbl 1498.68073号 J.日志。阿尔盖布。方法计划。 111，文章ID 100513，117 p.（2020）.MSC公司：68号30 68甲18 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。111，文章ID 10051317 p.（2020；Zbl 1498.68073） 全文： 内政部
Alpunte，M。;A.昆卡-奥尔特加。;埃斯科瓦尔，S。;梅塞盖尔，J。 序排序方程程序模公理的部分求值框架。 （英语） Zbl 1494.68048号 J.日志。阿尔盖布。方法计划。 110，文章ID 100501，36 p.（2020）.MSC公司：68号30 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100501，36页（2020；兹bl 1494.68048） 全文： 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 莫德的编程和符号计算。 （英语） 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 1496.68166号 J.日志。阿尔盖布。方法计划。 110，文章ID 100483，39 p.（2020）.MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。110，文章ID 100483，39 p.（2020；Zbl 1496.68166） 全文： 内政部 链接
圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 大多数通用变体统一器。 （英语） 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；Zbl 1434.68214） 全文： 内政部 arXiv公司
路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 重写逻辑和Maude中的句子规范化条件收缩模。 （英语） Zbl 1398.68267号 J.汽车。推理 60，第4期，421-463（2018）.MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aguirre}等人，J.Autom。推理60，No.4，421--463（2018；Zbl 1398.68267） 全文： 内政部
斯蒂芬·斯基里克;何塞·梅塞盖尔 变量可满足性的元级算法。 （英语） Zbl 1430.68423号 J.日志。阿尔盖布。方法计划。 96, 81-110 (2018).MSC公司：68伏15 18立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。96、81-110（2018年；Zbl 1430.68423） 全文： 内政部 链接
詹妮克·德雷尔;查尔斯·杜梅尼;史蒂夫·克莱默;拉尔夫·萨西 超越状态协议自动验证中的子rm收敛方程理论。 （英语） Zbl 1444.68040号 Maffei，Matteo（编辑）等人，《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议，即2017年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10204, 117-140 (2017).MSC公司：68平方米25 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人，Lect。注释计算。科学。10204、117--140（2017；Zbl 1444.68040） 全文： 内政部 哈尔
何塞·梅塞盖尔 条件重写模公理的严格一致性。 （英语） Zbl 1386.68080号 西奥。计算。科学。 672, 1-35 (2017).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本｛J.Meseguer｝，Theor。计算。科学。672，1--35（2017；Zbl 1386.68080） 全文： 内政部
何塞·梅塞盖尔 初始代数中基于变量的可满足性。 （英语） Zbl 1396.68074号 Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修改选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。《计算机与信息科学通信》596，3-34（2016）。MSC公司：68问题65 18立方厘米 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，Commun（公共）。计算。信息科学。596、3--34（2016；Zbl 1396.68074） 全文： 内政部
罗希特·查达;文森特·雪瓦尔;Ciobâcă，沙特凡;史蒂夫·克莱默 密码协议等价属性的自动验证。 （英语） 兹伯利1367.68184 ACM事务处理。计算。日志。 17号第4条第23条第32页（2016年）.MSC公司：60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人，ACM Trans。计算。日志。17，第4号，第23条，32页（2016年；Zbl 1367.68184） 全文： 内政部
斯蒂芬·斯基里克;何塞·梅塞盖尔 变量可满足性的元级算法。 （英语） Zbl 1367.68256号 Lucanu，Dorel（编辑），重写逻辑及其应用。第11届国际研讨会，WRLA 2016，作为ETAPS的卫星活动，于2016年4月2日至3日在荷兰埃因霍温举行。修改选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。计算机科学讲义9942，167-184（2016）。MSC公司：68吨15 18立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}和\textit{J.Meseguer}，莱克特。注释计算。科学。9942，167--184（2016；Zbl 1367.68256） 全文： 内政部 链接
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 内置变量生成和统一，以及它们在Maude 2.7中的应用。 （英语） Zbl 1475.68046号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 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 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 1322.94089号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学9200、475-492课堂讲稿（2015）。MSC公司：94A60型 68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，莱克特。注释计算。科学。9200、475--492（2015年；Zbl 1322.94089） 全文： 内政部
曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特，纳西索;卡罗琳·塔尔科特 莫德二十年。 （英语） 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） 全文： 内政部
戴维·巴恩斯;米歇尔·凯勒;萨沙拉多米罗维奇;拉尔夫·萨西 爱丽丝和鲍勃遇到了等式理论。 （英语） Zbl 1321.68343号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，160-180（2015）。MSC公司：60年第68季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，Lect。注释计算。科学。9200、160-180（2015年；Zbl 1321.68343） 全文： 内政部
路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 重写逻辑和Maude中的句子规范化条件收缩模。 （英语） Zbl 1321.68324号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。《计算机科学讲义》9200，48-71（2015）。MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aguirre}等人，Lect。注释计算。科学。9200，48-71（2015年；兹bl 1321.68324） 全文： 内政部
马丁·奥列特，纳西索;彼得·塞巴·奥维茨基;卡罗琳·塔尔科特 何塞·梅塞盖尔：科学家和杰出的朋友。 （英语） Zbl 1321.01052号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学9200，1-47课堂讲稿（2015）。MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人，Lect。注释计算。科学。9200，1--47（2015年；兹bl 1321.01052） 全文： 内政部
圣地亚哥埃斯科瓦尔 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） 全文： 内政部