何塞·梅塞盖尔；斯蒂芬·斯基里克 条件方程程序层次的地面收敛性和完备性。 （英语） Zbl 1514.68039号 Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13252, 191-211 (2022).MSC公司：68号30 68甲18 第68季度第42季度 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 第68季度第42季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。13252、171--190（2022年；Zbl 1514.68038） 全文： 内政部
何塞·梅塞盖尔；格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司：第68季度55 03B70号 68号30 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，信息计算。231、38--69（2013年；Zbl 1435.68188） 全文： 内政部
何塞·梅塞盖尔 二十年的逻辑重写。 （英语） 兹比尔1267.03043 J.日志。阿尔盖布。程序。 81，编号7-8，721-781（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.Meseguer｝，J.日志。阿尔盖布。程序。81，编号7--8，721--781（2012；Zbl 1267.03043） 全文： 内政部
何塞·梅塞盖尔；格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1342.68198号 Owe，Olaf（编辑）等人，《计算理论基础》。第18届国际研讨会，2011年《烟草控制框架公约》，挪威奥斯陆，2011年8月22日至25日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。MSC公司：第68季度55 03B70号 68号30 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，莱克特。注释计算。科学。6914，1--37（2011；Zbl 1342.68198） 全文： 内政部
☑特拉安·弗洛林（Traian Florin）；格里高·罗什乌；何塞·梅塞盖尔 操作语义的重写逻辑方法。 （英语） 兹比尔1165.68041 Inf.计算。 207，第2号，305-340（2009）.MSC公司：第68季度55 03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{T.F.öerbţnu}等人，《Inf.Compute》。207，第2号，305-340（2009；Zbl 1165.68041） 全文： 内政部
彼得·塞巴·奥维茨基；何塞·梅塞盖尔 实时淡紫色的语义和语用。 （英语） Zbl 1115.68095号 高-订购符号。计算。 20，第1-2号，161-196（2007）.MSC公司：第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，高-订购符号。计算。20，编号1--2，161-196（2007；Zbl 1115.68095） 全文： 内政部
何塞·梅塞盖尔；格里高·罗什乌 重写逻辑语义项目。 （英语） Zbl 1111.68068号 西奥。计算。科学。 373，第3期，213-237（2007）.MSC公司：第68季度55 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，Theor。计算。科学。373，第3号，213--237（2007；Zbl 1111.68068） 全文： 内政部 链接
何塞·梅塞盖尔；格里高·罗什乌 走向行为莫德：行为成员关系等式逻辑。 （英语） Zbl 1270.68194号 Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记65，第1期，197-253（2002）。MSC公司：68问题65 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，电子。注释Theor。计算。科学。65，第1号，197--253（2002；Zbl 1270.68194） 全文： 内政部
马蒂·奥利特，纳西索；何塞·梅塞盖尔 重写逻辑：路线图和参考书目。 （英语） Zbl 1027.68613号 西奥。计算。科学。 285，第2期，121-154（2002）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}和\textit{J.Meseguer}，Theor。计算。科学。285，编号2，121--154（2002；Zbl 1027.68613） 全文： 内政部
彼得·塞巴·奥维茨基；何塞·梅塞盖尔 重写逻辑中实时和混合系统的规范。 （英语） Zbl 1001.68061号 西奥。计算。科学。 285，第2期，359-405（2002）.MSC公司：第68季度第42季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，Theor。计算。科学。285，第2号，359--405（2002；Zbl 1001.68061） 全文： 内政部
马克·奥利弗·斯特尔；何塞·梅塞盖尔；彼得·塞巴·奥维茨基 使用重写逻辑作为统一框架来表示和执行Petri网。 （英语） Zbl 1263.68094号 Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记44，第4期，140-162（2001）。MSC公司：第68季度第42季度 60年第68季度 68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit｛M.-O.Stehr｝等人，电子。注释Theor。计算。科学。44，第4号，140--162（2001；Zbl 1263.68094） 全文： 内政部
罗伯托·布鲁尼；何塞·梅塞盖尔；乌戈·蒙塔纳里；弗拉迪米罗·萨松 Petri网的函数模型。 （英语） Zbl 1005.68102号 Inf.计算。 170，第2期，207-236（2001）.MSC公司：68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，《信息计算》。170，第2号，207--236（2001；Zbl 1005.68102） 全文： 内政部 链接
A.布胡拉。；Jouannaud，J.-P。；梅塞盖尔，J。 成员关系等式逻辑中的说明和证明。 （英语） Zbl 0938.68057号 西奥。计算。科学。 236，编号1-2，35-132（2000）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouhoula}等人，Theor。计算。科学。236，编号1--2，35-132（2000；Zbl 0938.68057） 全文： 内政部
何塞·梅塞盖尔；乌戈·蒙塔纳里；弗拉迪米罗·萨松 Place/Transition Petri网的过程与展开语义。 （英语） Zbl 0872.68130号 西奥。计算。科学。 153，编号1-2，171-210（1996）.MSC公司：68问题85 第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，Theor。计算。科学。153，编号1--2，171-210（1996；Zbl 0872.68130） 全文： 内政部 链接
何塞·梅塞盖尔 重写逻辑作为并发的语义框架：进度报告。 （英语） Zbl 1514.68175号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第111931-372页（1996年）。MSC公司：68问题85 03B70号 第68季度第42季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。1119、331--372（1996年；Zbl 1514.68175） 全文： 内政部
约瑟夫·戈根（Joseph A.Goguen）。；何塞·梅塞盖尔 有序代数。I： 多重继承、重载、异常和部分操作的等式推导。 （英语） Zbl 0778.68056号 西奥。计算。科学。 105，第2期，217-273（1992）. 审核人：S.Bloom（霍博肯） MSC公司：第68季度55 08A70号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{J.Meseguer}，Theor。计算。科学。105，第217-273号（1992年；兹bl 0778.68056） 全文： 内政部
何塞·梅塞盖尔；乌戈·蒙塔纳里 Petri网是幺半群。 （英语） Zbl 0711.68077号 Inf.计算。 88，No.2，105-155（1990）. 审核人：R.Janicki公司 MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{U.Montanari}，Inf.Compute。88，No.2，105--155（1990；Zbl 0711.68077） 全文： 内政部