×
作者ID: 卡贝扎·丹尼尔Daniel Cabeza最近发表的zbMATH文章
发布日期: 丹尼尔·卡贝扎
编入索引的文档: 5出版物自1999年起
合著者: 3位合著者具有5份联合出版物
84位合作作者

系列

按年份列出的出版物

zbMATH Open中包含的引文

5出版物有被引用19中的次15文件 引用人 年份
Prolog的新模块系统。 Zbl 0983.68598号
丹尼尔·卡贝扎曼纽尔·赫尔梅内吉尔多
7
2000
在LP系统中结合函数表示法、惰性求值和高阶的语法方法。 Zbl 1185.68151号
阿马迪奥·卡萨斯丹尼尔·卡贝扎曼努埃尔五世(Manuel V.Hermenegildo)。
5
2006
Ciao模块化独立编译器及其通用程序处理库。 Zbl 0958.68032号
丹尼尔·卡贝扎曼纽尔·赫尔梅内吉尔多
4
1999
Hiord:一种具有谓词抽象的无类型高阶逻辑编程语言。 Zbl 1115.68370号
丹尼尔·卡贝扎曼纽尔·赫尔梅内吉尔多詹姆斯·利普顿
2
2004
Ciao模块系统:Prolog的新模块系统。 Zbl 0958.68033号
丹尼尔·卡贝扎曼纽尔·赫尔梅内吉尔多
1
1999
在LP系统中结合函数表示法、惰性求值和高阶的语法方法。 兹比尔1185.68151
阿马德奥Casas丹尼尔·卡贝扎曼努埃尔五世(Manuel V.Hermenegildo)。
5
2006
Hiord:一种具有谓词抽象的无类型高阶逻辑编程语言。 Zbl 1115.68370号
丹尼尔·卡贝扎曼纽尔·赫尔梅内吉尔多詹姆斯·利普顿
2
2004
Prolog的新模块系统。 Zbl 0983.68598号
丹尼尔·卡贝扎曼纽尔·赫尔梅内吉尔多
7
2000
Ciao模块化独立编译器及其通用程序处理库。 Zbl 0958.68032号
丹尼尔·卡贝扎曼纽尔·赫尔梅内吉尔多
4
1999
Ciao模块系统:Prolog的新模块系统。 Zbl 0958.68033号
丹尼尔·卡贝扎曼纽尔·赫尔梅内吉尔多
1
1999

按年份列出的引文