阿德里安·里斯科;阿尔贝托·维尔德乔;马丁·奥列特,纳西索;拉斐尔·卡巴列罗 重写逻辑规范的声明性调试。 (英语) Zbl 1279.68220号 J.日志。阿尔盖布。程序。 81,编号7-8,851-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) 全文: 内政部
马丁·奥列特,纳西索;米盖尔·帕洛米诺;阿尔贝托·维尔德乔 按主题重写逻辑书目: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) 全文: 内政部
马丁·奥列特,纳西索(编辑) 特刊:重写逻辑及其应用。根据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格式
何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特,纳西索 代数模拟。 (英语) Zbl 1184.68300号 J.日志。阿尔盖布。程序。 79,第2期,第103-143页(2010年).MSC公司:2012年第68季度 60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,J.Log。阿尔盖布。程序。79,No.2,103--143(2010;Zbl 1184.68300) 全文: 内政部
阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude中的可执行结构操作语义。 (英语) Zbl 1088.68095号 J.日志。阿尔盖布。程序。 67,编号1-2226-293(2006).MSC公司:68问题55 60年第68季度 68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet},J.Log。阿尔盖布。程序。67,编号1--2,226--293(2006;Zbl 1088.68095) 全文: 内政部 链接