Alpunte，M。;A.昆卡-奥尔特加。;埃斯科瓦尔，S。;Meseguer，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 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 1116.68047号 科学。计算。程序。 66，第2期，125-153（2007）.MSC公司：60年第68季度 68号30 2012年第68季度 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，科学。计算。程序。66，编号2125-153（2007年；Zbl 1116.68047） 全文： 内政部
罗伯托·布鲁尼;何塞·梅塞盖尔 广义重写理论的语义基础。 （英文） Zbl 1097.68051号 西奥。计算。科学。 360，编号1-3，386-414（2006）.MSC公司：2012年第68季度 68问题55 68问题85 03B70号 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{J.Meseguer}，Theor。计算。科学。360，编号1--3386--414（2006；Zbl 1097.68051） 全文： 内政部
何塞·梅塞盖尔;乌戈·蒙塔纳里 将平铺逻辑映射到重写逻辑。 （英文） Zbl 0903.08010 Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1376, 62-91 (1998).MSC公司：08A70号 第68季度第65季度 18立方厘米 2010年第68季度 68问题55 18D05日 18天10分 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{U.Montanari}，莱克特。注释计算。科学。1376、62-91（1998年；Zbl 0903.08010）