阿德里安·里斯科;阿尔贝托·维尔德乔;马丁·奥列特,纳西索;拉斐尔·卡巴列罗 重写逻辑规范的声明性调试。 (英语) 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) 全文: 内政部
拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德乔 Maude功能模块的声明式调试器。 (英语) Zbl 1347.68073号 Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,63-81(2009)。MSC公司:68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,《电子》。注释Theor。计算。科学。238,第3号,63-81(2009年;兹bl 1347.68073) 全文: 内政部
艾德里安·里斯科;阿尔贝托·维尔德乔;拉斐尔·卡巴列罗;马丁·奥列特,纳西索 重写逻辑规范的声明性调试。 (英语) Zbl 1253.68097号 Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,308-325(2009)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,Lect。注释计算。科学。5486、308--325(2009年;Zbl 1253.68097) 全文: 内政部
拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德乔 成员关系等式逻辑规范的声明性调试。 (英语) 兹比尔1143.68363 Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065174-193(2008)。MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,Lect。注释计算。科学。5065174--193(2008年;Zbl 1143.68363) 全文: 内政部