迈克尔·凯特尔曼;肖恩·凯勒;何塞·梅塞盖尔 重写生产规则集的语义。 (英文) Zbl 1279.68188号 J.日志。阿尔盖布。程序。 81,编号7-8,929-956(2012).MSC公司:68问题55 2012年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}等人,J.Log。阿尔盖布。程序。81,编号7--8929--956(2012;Zbl 1279.68188) 全文: 内政部
圣地亚哥埃斯科瓦尔;拉尔夫·萨斯;何塞·梅塞盖尔 折叠变体变窄和最佳变体终止。 (英文) Zbl 1291.68217号 J.日志。阿尔盖布。程序。 81,编号7-8,898-928(2012). 审核人:Temur Kutsia(林茨) MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,J.Log。阿尔盖布。程序。81,编号7--8898--928(2012;Zbl 1291.68217) 全文: 内政部
阿德里安·里斯科;阿尔贝托·维尔德乔;马丁·奥列特,纳西索;拉斐尔·卡巴列罗 重写逻辑规范的声明性调试。 (英文) Zbl 1279.68220号 J.日志。阿尔盖布。程序。 81,编号7-8851-897(2012).MSC公司:60年第68季度 03B70号 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,J.Log。阿尔盖布。程序。81、编号7--8、851--897(2012;Zbl 1279.68220) 全文: 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔 条件有序重写理论的Church-Rosser和相干性质。 (英文) Zbl 1272.03139号 J.日志。阿尔盖布。程序。 81,编号7-8,816-850(2012).MSC公司:03B70号 68甲18 68甲19 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8816--850(2012;Zbl 1272.03139) 全文: 内政部
马丁·奥列特,纳西索;米盖尔·帕洛米诺;阿尔贝托·维尔德乔 按主题重写逻辑书目:1990-2011。 (英文) Zbl 1262.03052号 J.日志。阿尔盖布。程序。 81,编号7-8,782-815(2012).MSC公司:03B70号 00A15年 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人,J.Log。阿尔盖布。程序。81,编号7--8,782--815(2012;Zbl 1262.03052) 全文: 内政部
何塞·梅塞盖尔 二十年的逻辑重写。 (英文) Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81,编号7-8,721-781(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8,721--781(2012;Zbl 1267.03043) 全文: 内政部
马丁·奥列特,纳西索(编辑) 特刊:重写逻辑及其应用。根据2010年3月20日至21日在塞浦路斯帕福斯举行的第八届重写逻辑及其应用国际研讨会(WRLA)上的演示文稿选出的论文。 (英文) Zbl 1294.68023号 J.日志。阿尔盖布。程序。81,编号7-8,719-956(2012)。 MSC公司:68-06 03B70号 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式