×
作者ID: 里斯科·阿德里安“Riesco,Adrián”最近发表的zbMATH文章
发布日期: 阿德里安·里斯科;艾德里安·里斯科;A.里斯科。
外部链接: ORCID公司
已编制索引的文档: 24出版物自2008年起
合著者: 18位合著者具有22联合出版物
229位联合作者

按年份列出的出版物

zbMATH Open中包含的引文

15出版物有被引用45中的次24文件 引用人 年份
Maude功能模块的声明式调试器。 兹比尔1347.68073
拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德霍
9
2009
对莫德的缺失答案进行声明性调试。 Zbl 1236.68146号
阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索
6
2010
重写逻辑规范的声明性调试。 Zbl 1253.68097号
艾德里安·里斯科;阿尔贝托·维尔德霍;拉斐尔·卡巴列罗;马丁·奥列特,纳西索
5
2009
重写逻辑规范的声明性调试。 Zbl 1279.68220号
阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索;拉斐尔·卡巴列罗
4
2012
成员关系等式逻辑规范的声明性调试。 Zbl 1143.68363号
拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德霍
2008
并发Erlang程序的声明性调试。 兹比尔1400.68052
拉斐尔·卡巴列罗;马丁·马丁,恩里克;阿德里安·里斯科;萨尔瓦多塔马利特
2018
通过转换证明树简化Maude声明性调试器中的问题。 Zbl 1377.68072号
拉斐尔·卡巴列罗;阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索
2012
在Maude中使用大步骤和小步骤语义来执行声明性调试。 Zbl 1416.68044号
阿德里安·里斯科
2014
基于语言定义的通用程序切片技术。 Zbl 1394.68084号
阿德里安·里斯科;艾琳娜·莫瑞卡;作为阿沃,米哈伊尔
2
2013
加强莫德规范的调试。 Zbl 1306.68085号
艾德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索
2
2010
指定并分析Maude中的Kademlia协议。 Zbl 1471.68151号
伊莎贝尔·皮塔;阿德里安·里斯科
1
2015
将莫德融入赫茨。 Zbl 1308.68075号
米海·Codescu;蒂尔·莫萨科夫斯基;阿德里安·里斯科;克里斯蒂安·梅德
1
2011
Maude的完整声明式调试器。 Zbl 1308.68069号
阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索
1
2011
CafeOBJ的Maude环境。 Zbl 1358.68195号
阿德里安·里斯科;Kazuhiro绪方;高基町五指
1
2017
函数逻辑编程的单数和复数函数。 Zbl 1286.68057号
阿德里安·里斯科;胡安·罗德里格斯·霍塔拉
1
2014
并发Erlang程序的声明性调试。 Zbl 1400.68052号
拉斐尔·卡巴列罗;马丁·马丁,恩里克;阿德里安·里斯科;萨尔瓦多塔马利特
2018
CafeOBJ的Maude环境。 Zbl 1358.68195号
阿德里安·里斯科;Kazuhiro绪方;高基町五指
1
2017
详细说明和分析Maude中的Kademlia协议。 Zbl 1471.68151号
伊莎贝尔·皮塔;阿德里安·里斯科
1
2015
在Maude中使用大步骤和小步骤语义来执行声明性调试。 Zbl 1416.68044号
阿德里安·里斯科
2014
函数逻辑编程的单数和复数函数。 Zbl 1286.68057号
阿德里安·里斯科;胡安·罗德里格斯·霍塔拉
1
2014
基于语言定义的通用程序切片技术。 Zbl 1394.68084号
阿德里安·里斯科;艾琳娜·莫瑞卡;作为阿沃,米哈伊尔
2
2013
重写逻辑规范的声明性调试。 Zbl 1279.68220号
阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索;拉斐尔·卡巴列罗
4
2012
通过转换证明树简化Maude声明性调试器中的问题。 Zbl 1377.68072号
拉斐尔·卡巴列罗;阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索
2012
将莫德融入赫茨。 Zbl 1308.68075号
米海·Codescu;蒂尔·莫萨科夫斯基;阿德里安·里斯科;克里斯蒂安·梅德
1
2011
Maude的完整声明式调试器。 Zbl 1308.68069号
阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索
1
2011
Maude遗漏答案的声明性调试。 Zbl 1236.68146号
阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索
6
2010
加强莫德规范的调试。 Zbl 1306.68085号
艾德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索
2
2010
Maude功能模块的声明式调试器。 兹比尔1347.68073
拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德霍
9
2009
重写逻辑规范的声明性调试。 Zbl 1253.68097号
艾德里安·里斯科;阿尔贝托·维尔德霍;拉斐尔·卡巴列罗;马丁·奥列特,纳西索
5
2009
成员关系等式逻辑规范的声明性调试。 Zbl 1143.68363号
拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德霍
2008

按年份列出的引文