何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) 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年;Zbl 1435.68188) 全文: 内政部
何塞·梅塞盖尔 二十年的逻辑重写。 (英语) 兹比尔1267.03043 J.日志。阿尔盖布。程序。 81,编号7-8,721-781(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.日志。阿尔盖布。程序。81,编号7--8,721--781(2012;Zbl 1267.03043) 全文: 内政部
☑特拉安·弗洛林(Traian Florin);格里高·罗什乌;何塞·梅塞盖尔 操作语义的重写逻辑方法。 (英语) Zbl 1165.68041号 Inf.计算。 207,第2期,305-340(2009).MSC公司:68问题55 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.F.öerbţnu}等人,《Inf.Compute》。207,第2号,305-340(2009;Zbl 1165.68041) 全文: 内政部