Alpunte,M。;A.昆卡-奥尔特加。;埃斯科瓦尔,S。;梅塞盖尔,J。 序排序方程程序模公理的部分求值框架。 (英语) Zbl 1494.68048号 J.日志。阿尔盖布。方法计划。 110,文章ID 100501,第36页(2020).MSC公司:68号30 08A70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法程序。110,文章ID 100501,36 p.(2020;Zbl 1494.68048) 全文: 内政部
伊利亚诺·塞维萨托;安德烈·斯克洛夫 通过线性逻辑(完整版)关联基于状态和基于进程的并发。 (英语) Zbl 1181.68168号 Inf.计算。 207,第10号,1044-1077(2009).MSC公司:68问题85 03B70号 第03页 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{A.Scedrov},Inf.Compute。207,第10号,1044--1077(2009;Zbl 1181.68168) 全文: 内政部
弗朗西斯科·杜兰;何塞·梅塞格尔 莫德的模代数。 (英语) Zbl 1116.68047号 科学。计算。程序。 66,第2期,125-153(2007).MSC公司:60年第68季度 68号30 第68季度第42季度 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},科学。计算。程序。66,No.2,125--153(2007;Zbl 1116.68047) 全文: 内政部
罗伯托·布鲁尼;何塞·梅塞格尔 广义重写理论的语义基础。 (英语) Zbl 1097.68051号 西奥。计算。科学。 360,编号1-3,386-414(2006).MSC公司:第68季度第42季度 第68季度55 68问题85 03B70号 05年3月 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)