杨，范;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 通过进程代数语义选择串空间。 （英语） 兹比尔1529.94036 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 1529.94036） 全文： 内政部 arXiv公司
玛丽亚·阿尔普特;黛米斯·巴利斯;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 通过程序专业化优化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） 全文： 内政部
史蒂文·艾克;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;阿尔贝托·维尔德乔 莫德战略语言。 （英语） 兹伯利07723901 J.日志。阿尔盖布。方法计划。 134，文章ID 100887，49 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker}等人，J.Log。阿尔盖布。方法计划。134，文章ID 100887，49 p.（2023；Zbl 07723901） 全文： 内政部
何塞·梅塞盖尔 无限统一仙境中的变量和可满足性。 （英语） 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） 全文： 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 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） 全文： 内政部
何塞·梅塞盖尔;斯蒂芬·斯基里克 条件方程程序层次的地面收敛性和完备性。 （英语） 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） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 （英语） 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） 全文： 内政部 链接
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 具有时间和空间的协议分析。 （英语） Zbl 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 07496639号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 3-36 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。12561，3--36（2021；Zbl 07496639） 全文： 内政部
丹尼尔·多尔蒂（编辑）;何塞·梅塞盖尔（编辑）;塞巴斯蒂安·亚历山大·莫德谢姆（编辑）;保罗·罗（编辑） 协议、链和逻辑。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。 （英语） Zbl 1490.68012号 计算机科学课堂讲稿13066.查姆：施普林格（ISBN 978-3-030-91630-5/pbk；978-3-0030-91631-2/电子书）。x、 第425页。(2021).MSC公司：68-06 68平方米25 94A60型 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Dougherty}（编辑）等，协议、链和逻辑。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：施普林格（2021；Zbl 1490.68012） 全文： 内政部
斯蒂芬·斯基里克;何塞·梅塞盖尔;卡米洛·罗查 验证可达性逻辑中的IBOS浏览器安全属性。 （英语） Zbl 1517.68254号 Escobar，Santiago（编辑）等人，《重写逻辑及其应用》。第十三届国际研讨会，WRLA 2020，虚拟活动，2020年10月20日至22日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12328176-196（2020年）。MSC公司：60年第68季度 第68页第25页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}等人，Lect。注释计算。科学。12328176-196（2020年；Zbl 1517.68254） 全文： 内政部 arXiv公司
何塞·梅塞盖尔;斯蒂芬·斯基里克 具有相等谓词的归纳推理、上下文重写和基于变体的简化。 （英语） Zbl 1517.68167号 Escobar，Santiago（编辑）等人，《重写逻辑及其应用》。第十三届国际研讨会，WRLA 2020，虚拟活动，2020年10月20日至22日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12328, 114-135 (2020).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。注释计算。科学。12328114-135（2020年；Zbl 1517.68167） 全文： 内政部 链接
何塞·梅塞盖尔 参数化字符串的变量可满足性。 （英语） Zbl 1517.68165号 Escobar，Santiago（编辑）等人，《重写逻辑及其应用》。第十三届国际研讨会，WRLA 2020，虚拟活动，2020年10月20日至22日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12328, 96-113 (2020).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。12328、96-113（2020年；Zbl 1517.68165） 全文： 内政部
何塞·梅塞盖尔 无限统一仙境中的变体。 （英语） Zbl 1517.68164号 Escobar，Santiago（编辑）等人，《重写逻辑及其应用》。第十三届国际研讨会，WRLA 2020，虚拟活动，2020年10月20日至22日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12328, 75-95 (2020).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。12328，75-95（2020年；Zbl 1517.68164） 全文： 内政部
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 随时间的协议分析。 （英语） 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 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公司
萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 条件重写系统的2D依赖项对框架。二： 先进的处理器和实现技术。 （英语） Zbl 1459.68092号 J.汽车。推理 64，第8期，1611-1662（2020）.MSC公司：2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人，J.Autom。推理64，No.8，1611--1662（2020；Zbl 1459.68092） 全文： 内政部
斯蒂芬·斯基里克;安德烈·斯特凡内斯库;何塞·梅塞盖尔 重写理论的基于构造函数的可达性逻辑。 （英语） Zbl 1471.68076号 芬丹。通知。 173，编号4，315-382（2020）.MSC公司：68号30 03B44号 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}等人，Fundam。通知。173，第4号，315--382（2020；Zbl 1471.68076） 全文： 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔;卡米洛·罗查 有序条件规范模公理的基础汇合。 （英语） 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 100513，117页（2020；兹bl 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 p.（2020；Zbl 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） 全文： 内政部 链接
刘，思;彼得·塞巴·奥维茨基;张敏;王琪;何塞·梅塞盖尔 Maude分布式事务系统一致性特性的自动分析。 （英语） Zbl 1527.68025号 Vojnar，Tomáš（编辑）等人，《系统构建和分析的工具和算法》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11428, 40-57 (2019).MSC公司：64岁以下 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Liu｝等人，Lect。注释计算。科学。11428、40-57（2019年；Zbl 1527.68025） 全文： 内政部
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 结合性公理和交换性公理的同胚嵌入模组合。 （英语） 兹比尔1524.68068 弗雷德·梅斯纳德（编辑）等，基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11408, 38-55 (2019).MSC公司：68号30 03B70号 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。11408、38-55（2019年；Zbl 1524.68068） 全文： 内政部 arXiv公司
圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 带不可约约束的规范收缩作为一种符号协议分析方法。 （英语） Zbl 07176720号 Guttman，Joshua D.（编辑）等人，《安全、协议和等式推理的基础》。献给凯瑟琳·梅多斯的散文。查姆：斯普林格。莱克特。注释计算。科学。11565, 15-38 (2019).MSC公司：2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}和\textit{J.Meseguer}，莱克特。注释计算。科学。11565，15-38（2019；Zbl 07176720） 全文： 内政部
玛丽亚·阿尔普特;黛米斯·巴利斯;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 \（{\mathsf{ACUOS}}^\mathbf{2}\）：一个用于模块化ACU泛化的高性能系统，带有子类型和继承。 （英语） Zbl 1525.68195号 Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11468, 171-181 (2019).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。11468、171--181（2019年；Zbl 1525.68195） 全文： 内政部
刘，思;彼得·塞巴·奥维茨基;王琪;因德拉尼尔·古普塔;何塞·梅塞盖尔 阅读防止更新丢失的原子事务：ROLA及其形式分析。 （英语） 兹比尔1425.68096 正式Asp。计算。 31，第5号，503-540（2019）.MSC公司：第68页，共15页 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Liu｝等人，正式Asp。计算。31，第5号，503--540（2019；Zbl 1425.68096） 全文： 内政部 链接
约书亚·D·古特曼。（编辑）;卡尔·E·兰德维尔。（编辑）;何塞·梅塞盖尔（编辑）;达斯科·巴甫洛维奇（编辑） 安全、协议和等式推理的基础。献给凯瑟琳·梅多斯的散文。 （英语） Zbl 1412.68009号 计算机科学课堂讲稿11565.查姆：施普林格（ISBN 978-3-030-19051-4/pbk；978-3-0.30-19052-1/电子书）。xii，第239页。(2019).MSC公司：68-06 68个M12 68第25页 94A60型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Guttman}（编辑）等人，《安全、协议和等式推理的基础》。献给凯瑟琳·梅多斯的散文。查姆：施普林格（2019；Zbl 1412.68009） 全文： 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔;卡米洛·罗查 证明了方程规范模公理的汇合性。 （英语） Zbl 1517.68159号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 184-204 (2018).MSC公司：2012年第68季度 03B70号 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。11152、184--204（2018；Zbl 1517.68159） 全文： 内政部 链接
何塞·梅塞盖尔 广义重写理论与连贯完成。 （英语） Zbl 1517.68166号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 164-183 (2018).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。11152、164--183（2018年；Zbl 1517.68166） 全文： 内政部 链接
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 Maude中的结合统一和符号推理模结合性。 （英语） Zbl 1517.68158号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 98-114 (2018).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。11152，98-114（2018；Zbl 1517.68158） 全文： 内政部
刘，思;彼得·塞巴·奥维茨基;凯沙夫·桑坦南;王琪;因德拉尼尔·古普塔;何塞·梅塞盖尔 ROLA：一种新的分布式事务协议及其形式化分析。 （英语） Zbl 1425.68095号 Russo，Alessandra（编辑）等人，《软件工程的基本方法》，第21届国际会议，2018年FASE，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10802, 77-93 (2018).MSC公司：第68页，共15页 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，Lect。注释计算。科学。10802、77--93（2018年；Zbl 1425.68095） 全文： 内政部
何塞·梅塞盖尔 重写逻辑和莫德中的符号推理方法。 （英语） Zbl 1509.68121号 Moss，Lawrence S.（编辑）等人，《逻辑、语言、信息和计算》。2018年7月24日至27日，哥伦比亚波哥大，第25届国际研讨会，WoLLIC 2018。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10944, 25-60 (2018).MSC公司：2012年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本｛J.Meseguer｝，Lect。注释计算。科学。10944，25-60（2018；Zbl 1509.68121） 全文： 内政部
劳尔·古铁雷斯;何塞·梅塞盖尔 带有谓词的初始代数中基于变量的可判定可满足性。 （英语） Zbl 1508.68060号 Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10855, 306-322 (2018).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}和\textit{J.Meseguer}，莱克特。注释计算。科学。10855、306--322（2018年；Zbl 1508.68060） 全文： 内政部 arXiv公司
斯蒂芬·斯基里克;安德烈·斯特凡内斯库;何塞·梅塞盖尔 重写理论的基于构造函数的可达性逻辑。 （英语） Zbl 1471.68075号 Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10855, 201-217 (2018).MSC公司：68号30 03B44号 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}等人，Lect。注释计算。科学。10855，201-217（2018；Zbl 1471.68075） 全文： 内政部 arXiv公司
萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 条件重写系统的2D依赖项对框架。一： 定义和基本处理器。 （英语） Zbl 1393.68088号 J.计算。系统。科学。 96, 74-106 (2018).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人，J.Compute。系统。科学。96、74——106（2018；Zbl 1393.68088） 全文： 内政部
斯蒂芬·斯基里克;何塞·梅塞盖尔 变量可满足性的元级算法。 （英语） 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） 全文： 内政部 链接
何塞·梅塞盖尔 条件重写模公理的严格一致性。 （英语） Zbl 1386.68080号 西奥。计算。科学。 672, 1-35 (2017).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，Theor（西奥）。计算。科学。672，1--35（2017；Zbl 1386.68080） 全文： 内政部
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 序排序方程程序模公理的部分求值。 （英语） Zbl 1485.68050号 Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 3-20 (2017).MSC公司：68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。10184，3--20（2017；Zbl 1485.68050） 全文： 内政部 arXiv公司
何塞·梅塞盖尔;斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68054号 正式Asp。计算。 29，第3期，423-452（2017）.MSC公司：68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，正式Asp。计算。29，第3号，423--452（2017；Zbl 1362.68054） 全文： 内政部
卡米洛·罗查;何塞·梅塞盖尔;塞萨尔·穆尼奥斯 重写模块SMT和开放系统分析。 （英语） Zbl 1353.68156号 J.日志。阿尔盖布。方法计划。 86，第1号，269-297（2017）.MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Rocha｝等人，J.Log。阿尔盖布。方法计划。86，No.1，269--297（2017；Zbl 1353.68156） 全文： 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔 证明条件项重写系统终止性质的依赖对。 （英语） Zbl 1353.68155号 J.日志。阿尔盖布。方法计划。 86，第1期，236-268（2017）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。86，No.1，236--268（2017；Zbl 1353.68155） 全文： 内政部
何塞·梅塞盖尔 初始代数中基于变量的可满足性。 （英语） 兹比尔1396.68074 Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日，第四次国际研讨会，法国巴黎，2015年《金融服务和安全法》。修订了选定的论文。查姆：施普林格（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） 全文： 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔 条件重写中的正规形式和正规理论。 （英语） Zbl 1356.68124号 J.日志。阿尔盖布。方法计划。 85，第1号，第1部分，67-97（2016）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，67--97（2016；Zbl 1356.68124） 全文： 内政部
刘，思;彼得·塞巴·奥维茨基;何塞·梅塞盖尔 在Real-Time Maude中对移动自组网进行建模和分析。 （英语） Zbl 1356.68123号 J.日志。阿尔盖布。方法计划。 85，第1号，第1部分，34-66（2016）.MSC公司：2012年第68季度 68M10个 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，34--66（2016；Zbl 1356.68123） 全文： 内政部
斯蒂芬·斯基里克;何塞·梅塞盖尔 变量可满足性的元级算法。 （英语） Zbl 1367.68256号 Lucanu，Dorel（编辑），重写逻辑及其应用。2016年4月2日至3日，第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（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日在葡萄牙科因布拉举行的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 1475.68142号 Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9634, 493-509 (2016).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。9634，493--509（2016；Zbl 1475.68142） 全文： 内政部
何塞·梅塞盖尔;斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68053号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学课堂讲稿9527，36-53（2015）。MSC公司：68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。注释计算。科学。9527，36-53（2015；Zbl 1362.68053） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 利用非质量约束的模方程理论进行符号协议分析。 （英语） 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） 全文： 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 扩展条件项重写系统的2D依赖对框架。 （英语） Zbl 1457.68136号 Proietti，Maurizio（编辑）等，基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8981, 113-130 (2015).MSC公司：2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人，Lect。注释计算。科学。8981、113--130（2015年；Zbl 1457.68136） 全文： 内政部
刘，思;彼得·塞巴·奥维茨基;何塞·梅塞盖尔 使用实时Maude对MANET中的领导人选举进行形式化分析。 （英语） Zbl 1454.68014号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 231-252 (2015).MSC公司：68个M12 64岁以下 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，Lect。注释计算。科学。8950231--252（2015；Zbl 1454.68014） 全文： 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔 通用逻辑中的本地化操作终端。 （英语） Zbl 1453.68053号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 91-114 (2015).MSC公司：68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，莱克特。注释计算。科学。8950，91-114（2015；Zbl 1453.68053） 全文： 内政部
穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 （英语） Zbl 1329.68169号 J.日志。阿尔盖布。方法计划。 84，第4期，505-533（2015）.MSC公司：68问题55 03B70号 2010年第68季度 2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。84，第4号，505--533（2015；Zbl 1329.68169） 全文： 内政部
卡米洛·罗查;何塞·梅塞盖尔;塞萨尔·穆尼奥斯 重写模块SMT和开放系统分析。 （英语） 兹比尔1367.68151 圣地亚哥·埃斯科瓦尔（编辑），《重写逻辑及其应用》。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/电子书）。计算机科学课堂讲稿8663247-262（2014）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Rocha｝等人，Lect。注释计算。科学。8663，247--262（2014；Zbl 1367.68151） 全文： 内政部 链接
萨尔瓦多卢卡斯;何塞·梅塞盖尔 用于证明CTRS操作终止的2D依赖项对。 （英语） 兹比尔1367.68145 Escobar，Santiago（编辑），重写逻辑及其应用。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/电子书）。计算机科学讲座笔记8663195-212（2014）。MSC公司：2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，莱克特。注释计算。科学。8663，195--212（2014；Zbl 1367.68145） 全文： 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔 顺序重写理论的强操作终止和弱操作终止。 （英语） Zbl 1367.68144号 圣地亚哥·埃斯科瓦尔（编辑），《重写逻辑及其应用》。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/电子书）。计算机科学讲座笔记8663178-194（2014）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，莱克特。注释计算。科学。8663、178--194（2014年；Zbl 1367.68144） 全文： 内政部
刘，思;彼得·塞巴·奥维茨基;何塞·梅塞盖尔 Real-Time Maude中的移动自组网框架。 （英语） Zbl 1356.68122号 圣地亚哥·埃斯科瓦尔（编辑），《重写逻辑及其应用》。2014年4月5日至6日，第十届国际研讨会，WRLA 2014，作为ETAPS的卫星活动在法国格勒诺布尔举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/电子书）。计算机科学讲座笔记8663162-177（2014）。MSC公司：2012年第68季度 68M10个 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，Lect。注释计算。科学。8663、162--177（2014年；Zbl 1356.68122） 全文： 内政部
Bae，Kyungmin先生;何塞·梅塞盖尔 使用窄化对LTLR公式进行无限状态模型检查。 （英语） Zbl 1366.68162号 圣地亚哥·埃斯科瓦尔（编辑），《重写逻辑及其应用》。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。商会：施普林格出版社（ISBN 978-3-319-12903-7/pbk；978-3-319-12904-4/ebook）。计算机科学讲座笔记8663113-129（2014）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。8663、113--129（2014年；Zbl 1366.68162） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 ACUOS：具有子类型和继承的模块化ACU泛化系统。 （英语） Zbl 1432.68422号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8761, 573-581 (2014).MSC公司：第68页第27页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。8761573--581（2014年；Zbl 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） 全文： 内政部 链接
Bae，Kyungmin先生;何塞·梅塞盖尔 重写理论的谓词抽象。 （英语） Zbl 1416.68118号 Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。第8560页，第61-76页（2014年）。MSC公司：68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。8560，61-76（2014年；兹bl 1416.68118） 全文： 内政部
卡米洛·罗查;何塞·梅塞盖尔 使用Maude不变量分析工具对交替位协议中的可靠通信进行机械分析。 （英语） Zbl 1407.68302号 Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：施普林格。莱克特。注释计算。科学。8373, 603-629 (2014).MSC公司：60年第68季度 2012年第68季度 68问题85 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}和\textit{J.Meseguer}，莱克特。注释计算。科学。8373、603--629（2014年；Zbl 1407.68302） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 一种模序分类方程泛化算法。 （英语） 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） 全文： 内政部
伊达、舒萨克（编辑）;何塞·梅塞盖尔（编辑）;Kazuhiro绪方（编辑） 规范、代数和软件。专为Kokichi Futatsugi撰写的论文。 （英语） Zbl 1283.68036号 计算机科学课堂讲稿8373.柏林：施普林格出版社（ISBN 978-3-642-54623-5/pbk）。xxi，657页。(2014).MSC公司：68-06 68号30 2012年第68季度 60年第68季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Iida}（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：施普林格出版社（2014；Zbl 1283.68036） 全文： 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司：68问题55 03B70号 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，信息计算。231，38-69（2013年；兹bl 1435.68188） 全文： 内政部
乔纳斯·埃克哈特;Mühlbauer，托比亚斯;何塞·梅塞盖尔;马丁·威尔辛 复合参与者系统的统计模型检查。 （英语） Zbl 1394.68228号 Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841143-160（2013）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eckhardt}等人，Lect。注释计算。科学。7841、143--160（2013；Zbl 1394.68228） 全文： 内政部
塞尔达尔·埃尔巴图尔;圣地亚哥埃斯科瓦尔;迪帕克·卡普尔;刘志强;克里斯托弗·林奇（Christopher A.Lynch）。;凯瑟琳·梅多斯;何塞·梅塞盖尔;纳伦德兰，帕里斯;圣地亚哥，索尼娅;拉尔夫·萨西 非对称统一：密码协议分析的新统一范式。 （英语） Zbl 1381.68264号 Bonacina，Maria Paola（编辑），自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。《人工智能课堂讲稿》，231-248（2013）。MSC公司：第68页第15页 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。7898、231--248（2013；Zbl 1381.68264） 全文： 内政部 链接
乔·亨德里克斯;何塞·梅塞盖尔 重新审视有序等式统一。 （英语） Zbl 1291.68220号 Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（2008年规则），奥地利哈根堡哈根堡城堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，37-50（2012）。MSC公司：2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Hendrix}和\textit{J.Meseguer}，电子。理论注释。计算。科学。290，37-50（2012年；兹比尔1291.68220） 全文： 内政部
Bae，Kyungmin先生;何塞·梅塞盖尔 用于重写的线性时态逻辑的基于重写的模型检查器。 （英语） Zbl 1291.68244号 Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（2008年规则），奥地利哈根堡哈根堡城堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，19-36（2012）。MSC公司：60年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，电子。理论注释。计算。科学。290、19-36（2012年；Zbl 1291.68244） 全文： 内政部
迈克尔·凯特尔曼;肖恩·凯勒;何塞·梅塞盖尔 重写生产规则集的语义。 （英语） Zbl 1279.68188号 J.日志。阿尔盖布。程序。 81，编号7-8，929-956（2012）.MSC公司：68问题55 2012年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}等人，J.Log。阿尔盖布。程序。81，编号7--8929--956（2012；Zbl 1279.68188） 全文： 内政部
圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 折叠变体变窄和最佳变体终止。 （英语） Zbl 1291.68217号 J.日志。阿尔盖布。程序。 81，编号7-8，898-928（2012）. 审核人：Temur Kutsia（林茨） MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，J.Log。阿尔盖布。程序。81，编号7--8898--928（2012；Zbl 1291.68217） 全文： 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔 条件有序重写理论的Church-Rosser和相干性质。 （英语） Zbl 1272.03139号 J.日志。阿尔盖布。程序。 81，编号7-8，816-850（2012）.MSC公司：03B70号 68甲18 68甲19 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7--8816--850（2012；Zbl 1272.03139） 全文： 内政部
何塞·梅塞盖尔 二十年的逻辑重写。 （英语） Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81，编号7-8，721-781（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7--8，721--781（2012；Zbl 1267.03043） 全文： 内政部
劳尔·古铁雷斯;何塞·梅塞盖尔;卡米洛·罗查 有序等式丰富了模公理。 （英语） 兹比尔1366.68185 杜兰，弗朗西索（编辑），重写逻辑及其应用。2012年3月24日至25日，作为ETAPS的卫星活动，在爱沙尼亚塔林举办了2012年WRLA第九届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-34004-8/pbk）。计算机科学课堂讲稿7571162-181（2012）。MSC公司：68问题65 2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}等人，Lect。注释计算。科学。7571、162--181（2012；Zbl 1366.68185） 全文： 内政部 链接
Bae，Kyungmin先生;何塞·梅塞盖尔 局部公平下的模型检验LTLR公式。 （英语） Zbl 1367.68180号 杜兰，弗朗西索（编辑），重写逻辑及其应用。2012年3月24日至25日，作为ETAPS的卫星活动，在爱沙尼亚塔林举办了2012年WRLA第九届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-34004-8/pbk）。计算机科学课堂讲稿757199-117（2012）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。7571，99-117（2012；Zbl 1367.68180） 全文： 内政部
何塞·梅塞盖尔;彼得·塞巴·奥维茨基 分布式实时系统PALS体系结构模式的形式化和正确性。 （英语） Zbl 1284.68073号 西奥。计算。科学。 451，1-37（2012年）.MSC公司：64岁以下 60年第68季度 2007年7月68日 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{P.C.lveczky}，Theor。计算。科学。451、1--37（2012年；Zbl 1284.68073） 全文： 内政部 链接
Bae，Kyungmin先生;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 使用窄化对无限状态系统进行抽象逻辑模型检查。 （英语） Zbl 1356.68140号 van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21，81-96（2013）。MSC公司：60年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}等人，LIPIcs——莱布尼茨国际程序。通知。21、81-96（2011年；Zbl 1356.68140） 全文： 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;卡罗琳·塔尔科特 Maude 2.6中的变体、统一、缩小和符号可达性。 （英语） Zbl 1236.68180号 Schmid-Schauß，Manfred（编辑），第22届改写技术和应用国际会议（RTA 2011），塞尔维亚诺维萨德，2011年5月30日至6月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-30-9）。LIPIcs–莱布尼茨国际信息学会议录10，31-40，仅电子版（2011年）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Duran}等人，LIPIcs——莱布尼茨国际程序。通知。10、31——40（2011年；Zbl 1236.68180） 全文： 内政部 链接
古尔·阿加（编辑）;奥利维尔·丹维（编辑）;何塞·梅塞盖尔（编辑） 形式化建模：演员、开放系统、生物系统。在卡罗琳·塔尔科特70岁生日之际为她撰写的论文。 （英语） Zbl 1225.68006号 计算机科学课堂讲稿7000.柏林：施普林格出版社（ISBN 978-3-642-24932-7/pbk）。xx，第447页。(2011).MSC公司：68-06 92-06 00B30型 PDF格式BibTeX公司 XML格式引用 \textit｛G.Agha｝（编辑）等人，《形式建模：行动者、开放系统、生物系统》。在卡罗琳·塔尔科特70岁生日之际为她撰写的论文。柏林：施普林格出版社（2011；Zbl 1225.68006） 全文： 内政部
卡米洛·罗查;何塞·梅塞盖尔 证明重写理论的安全性。 （英语） Zbl 1344.68142号 Andrea Corradini等人，《计算机科学中的代数和余代数》。第四届国际会议，CALCO 2011，英国温彻斯特，2011年8月30日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22943-5/pbk）。计算机科学课堂讲稿6859314-328（2011）。MSC公司：60年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}和\textit{J.Meseguer}，莱克特。注释计算。科学。6859、314--328（2011；Zbl 1344.68142） 全文： 内政部 链接
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1342.68198号 Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。MSC公司：68问题55 03B70号 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，莱克特。注释计算。科学。6914，1--37（2011；Zbl 1342.68198） 全文： 内政部
迈克尔·凯特尔曼;何塞·梅塞盖尔 vlogsl语言：基于仿真的硬件验证的策略语言。 （英语） Zbl 1325.68150号 Barner，Sharon（编辑）等人，《硬件和软件：验证和测试》。2010年10月4日至7日，以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19582-2/pbk）。计算机科学课堂讲稿6504129-145（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}和\textit{J.Meseguer}，莱克特。注释计算。科学。6504129-145（2011年；Zbl 1325.68150） 全文： 内政部
卡米洛·罗查;何塞·梅塞盖尔 构造函数、足够的完整性和重写理论的无死锁性。 （英语） Zbl 1306.68087号 Fermüller，Christian G.（编辑）等人，《编程逻辑、人工智能和推理》。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。计算机科学课堂讲稿6397594-609（2010）。MSC公司：2012年第68季度 03B70号 65年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit｛C.Rocha｝和\textit｛J.Meseguer｝，Lect。注释计算。科学。6397、594--609（2010年；Zbl 1306.68087） 全文： 内政部
Bae，Kyungmin先生;何塞·梅塞盖尔 重写Maude模型检查器的线性时序逻辑。 （英语） 兹比尔1306.68099 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381208-225（2010）。MSC公司：60年第68季度 03B44号 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。6381208-225（2010年；Zbl 1306.68099） 全文： 内政部
孙木;何塞·梅塞盖尔;沙，路易 安全医疗系统的正式模式体系结构。 （英语） Zbl 1306.68090号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381157-173（2010）。MSC公司：2012年第68季度 60年第68季度 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.Sun}等人，Lect。注释计算。科学。6381、157--173（2010年；Zbl 1306.68090） 全文： 内政部
迈克尔·凯特尔曼;肖恩·凯勒;何塞·梅塞盖尔 异步数字电路的并发重写语义和分析。 （英语） Zbl 1306.68078号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381140-156（2010）。MSC公司：2012年第68季度 68问题55 68问题85 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}等人，Lect。注释计算。科学。6381、140-156（2010年；Zbl 1306.68078） 全文： 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔 用于条件排序重写理论的Maude一致性检查工具。 （英语） 兹比尔1306.68066 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿638186-103（2010）。MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，莱克特。注释计算。科学。6381、86-103（2010年；Zbl 1306.68066） 全文： 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔 一个Church-Rosser检查工具，用于条件排序等式Maude规范。 （英语） Zbl 1306.68065号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381，69-85（2010）。MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，莱克特。注释计算。科学。6381、69-85（2010年；Zbl 1306.68065） 全文： 内政部
圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 折叠变体变窄和最佳变体终止。 （英语） Zbl 1306.68069号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381，52-68（2010）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。注释计算。科学。6381、52-68（2010年；Zbl 1306.68069） 全文： 内政部 链接
阿勒科恩，比阿特丽兹;萨尔瓦多卢卡斯;何塞·梅塞盖尔 用于（A\vee C\）终止的依赖项对框架。 （英语） Zbl 1306.68060号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381，35-51（2010）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alarcón}等人，Lect。注释计算。科学。6381、35-51（2010年；Zbl 1306.68060） 全文： 内政部
何塞·梅塞盖尔 二十年的逻辑重写。 （英语） Zbl 1306.68082号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿638115-17（2010）。MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。6381，15-17（2010；Zbl 1306.68082） 全文： 内政部
乔·亨德里克斯;迪帕克·卡普尔;何塞·梅塞盖尔 带有偏爱和子部分的覆盖集归纳法：一个权力主义案例研究。 （英语） Zbl 1291.68346号 Kaufmann，Matt（编辑）等人，《交互式定理证明》。2010年7月11日至14日在英国爱丁堡举行的2010年ITP第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14051-8/pbk）。计算机科学课堂讲稿6172275-290（2010）。MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Hendrix}等人，Lect。注释计算。科学。6172275--290（2010年；Zbl 1291.68346） 全文： 内政部
阿图尔·博罗纳特;何塞·梅塞盖尔 MOF的代数语义。 （英语） Zbl 1213.68358号 正式Asp。计算。 22，编号3-4，269-296（2010）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Boronat}和\textit{J.Meseguer}，正式Asp。计算。22，编号3--4，269--296（2010；Zbl 1213.68358） 全文： 内政部 哈尔
何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特，纳西索 代数模拟。 （英语） Zbl 1184.68300号 J.日志。阿尔盖布。程序。 79，第2期，第103-143页（2010年）.MSC公司：2012年第68季度 60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，J.Log。阿尔盖布。程序。79，No.2，103--143（2010；Zbl 1184.68300） 全文： 内政部
弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔 通过转换证明基于重写的编程语言终止的方法。 （英语） Zbl 1337.68067号 Almendros-Jiménez，Jesús M（编辑），《第八届西班牙编程与计算机语言会议记录》（PROLE 2008），2008年10月8日至10日，西班牙吉昂。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记24893-113（2009）。MSC公司：68号30 03B70号 68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Durán｝等人，电子。理论注释。计算。科学。24893--113（2009年；Zbl 1337.68067） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达 有序概括。 （英语） 兹比尔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}等人，《电子》。理论注释。计算。科学。24627--38（2009年；Zbl 1347.68193） 全文： 内政部
马丁·奥列特，纳西索;何塞·梅塞盖尔;阿尔贝托·维尔德乔 莫德策略的重写语义。 （英语） Zbl 1347.68199号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，227-247（2009）。MSC公司：2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人，《电子》。理论注释。计算。科学。238，第3号，227--247（2009；Zbl 1347.68199） 全文： 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔 会员资格均衡程序的操作终止：顺序排序方式。 （英语） Zbl 1347.68198号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，207-225（2009）。MSC公司：2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，电子。理论注释。计算。科学。238，第3号，207--225（2009；Zbl 1347.68198） 全文： 内政部