编辑配置文件(在新选项卡中打开) 丹尼尔·卡贝扎 合著者距离 作者ID: 卡贝扎·丹尼尔 发布日期: 丹尼尔·卡贝扎 编入索引的文档: 5出版物自1999年起 合著者: 3位合著者具有5份联合出版物 84位合作作者 合著者 0 单作者的 5 曼努埃尔五世(Manuel V.Hermenegildo)。 1 阿马迪奥·卡萨斯 1 詹姆斯·利普顿(James B.Lipton)。 系列 字段 5 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 8 曼努埃尔五世(Manuel V.Hermenegildo)。 三 何塞·弗朗西斯科·莫拉莱斯 2 丹尼尔·卡贝扎 2 伊莎贝尔·加西亚·孔特雷拉斯 2 菲利普·科纳 2 詹姆斯·利普顿(James B.Lipton)。 2 汤姆·施里杰弗斯 2 Wielemaker,简 1 萨尔瓦多阿布雷乌 1 吉安卢卡·阿马托 1 曼纽尔·卡罗 1 阿马迪奥·卡萨斯 1 乔瓦尼·西亚托 1 维托尔·桑托斯·科斯塔 1 维罗妮卡·达尔 1 丹尼尔·迪亚兹 1 塞尔吉奥·瓜达拉马 1 迈克尔·哈纳斯 1 塞巴斯蒂安·克林斯 1 Michael Leuschel先生 1 罗伯特·W·麦克格雷。 1 苏珊娜·穆尼奥斯 1 苏珊娜·尼娃 1 法尔科·诺加茨 1 德国普埃布拉 1 彼得·詹姆斯·斯塔基 1 保罗·塔劳 1 克劳迪奥·沃切雷特 1 菲利普·李·沃德勒 4篇连载文章中引用 三 逻辑程序设计理论与实践 2 理论计算机科学 1 模糊集与系统 1 函数编程杂志 在2个字段中引用 15 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文