何塞·梅塞盖尔;斯蒂芬·斯基里克 条件方程程序层次的地面收敛性和完备性。 (英语) 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},莱克特。注释计算。科学。13252191-211(2022年;兹比尔1514.68039) 全文: 内政部
何塞·梅塞盖尔 通过归纳定理证明检查充分的完备性。 (英语) 兹比尔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) 全文: 内政部
李丽怡;埃尔萨·甘特。 (\mathbb{K})的完整语义及其对Isabelle的翻译。 (英语) Zbl 07500643号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2021》。2021年9月8日至10日,哈萨克斯坦努尔苏尔坦,第18届国际学术讨论会,虚拟活动。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12819, 152-171 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和\textit{E.L.Gunter},莱克特。注释计算。科学。12819、152--171(2021;Zbl 07500643) 全文: 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 莫德的编程和符号计算。 (英语) 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.日志。阿尔盖布。方法计划。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 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 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik},莱克特。注释计算。科学。9527,36-53(2015;Zbl 1362.68053) 全文: 内政部