编辑配置文件(在新选项卡中打开) Doets和Kees 合著者距离 作者ID: 母鹿 发布日期: Doets,Kees(多伊人、基伊人);Doets,K。 外部链接: MGP公司 已编制索引的文档: 17出版物自1983年以来,包括4本书 2作为编辑的贡献·1进一步贡献 合著者: 7合著者具有9联合出版物 288位合作作者 全部的 前5名合著者 11 单作者的 5 van Benthem,Johan F.A.K。 2 Dalla Chiara,玛丽亚·路易莎 2 丹尼尔·蒙迪奇 2 van Eijck,简 1 Krzysztof Rafal公寓 1 阿努吉·达瓦尔 1 Dov M.加巴伊。 1 弗朗茨·Günthner 1 A.Hazen。 1 威尔弗里德·霍奇斯 1 胡格斯·勒布朗 1 史蒂文·林德尔 1 戈兰·桑德霍姆 1 德克·范·达伦 1 斯科特·温斯坦 全部的 前5名系列 三 圣母院形式逻辑杂志 三 Synthese库 2 理论计算机科学 2 数学逻辑季刊(MLQ) 2 计算中的文本 1 符号逻辑杂志 1 逻辑程序设计杂志 1 逻辑与计算杂志 领域 17 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 三 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 有序,格,有序代数结构(06-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用73次71文件 引用人▼ 年份▼ 从逻辑到逻辑编程。 Zbl 0834.68007号 Doets和Kees 19 1994 高阶逻辑。 Zbl 0875.03036号 约翰·范·本特姆;Doets和Kees 19 1983 基本模型理论。 Zbl 0863.03013号 Doets和Kees 10 1996 哲学逻辑手册。第一卷:经典逻辑要素。 Zbl 0538.03001号 8 1983 高阶逻辑。第2版。 Zbl 1003.03513号 约翰·范·本特姆;Doets和Kees 6 2001 SLDNF分辨率的新定义。 Zbl 0795.68039号 阿普特,克日什托夫R。;Doets和Kees 5 1994 有限秩的基本性质。 Zbl 0904.03019号 阿努吉·达瓦尔;Doets和Kees;史蒂文·林德尔;斯科特·温斯坦 4 1998 一元性质理论。 Zbl 0689.03020号 Doets和Kees 4 1989 罗素悖论的亲属。 Zbl 0924.03095号 Doets和Kees 2 1999 量词的公理化通用属性。 兹伯利0751.03016 Doets,Kees(多伊人、基伊人) 1 1991 逻辑和科学方法。1995年8月19日至25日在意大利佛罗伦萨举行的第十届逻辑、方法论和科学哲学国际会议记录。 Zbl 0885.00048号 Dalla Chiara,玛丽亚·路易莎 1 1997 左端转为端接。 Zbl 0795.68041号 Doets和Kees 1 1994 通往逻辑、数学和编程的哈斯克尔之路。第2版。 Zbl 1262.68027号 Doets和Kees;van Eijck,简 1 2012 通往逻辑、数学和编程的哈斯克尔之路。第2版。 Zbl 1262.68027号 Doets和Kees;van Eijck,简 1 2012 高阶逻辑。第2版。 Zbl 1003.03513号 约翰·范·本特姆;Doets和Kees 6 2001 罗素悖论的亲属。 Zbl 0924.03095号 Doets和Kees 2 1999 有限秩的基本性质。 Zbl 0904.03019号 阿努吉·达瓦尔;Doets和Kees;史蒂文·林德尔;斯科特·温斯坦 4 1998 逻辑和科学方法。1995年8月19日至25日在意大利佛罗伦萨举行的第十届逻辑、方法论和科学哲学国际会议记录。 Zbl 0885.00048号 Dalla Chiara,玛丽亚·路易莎 1 1997 基本模型理论。 Zbl 0863.03013号 Doets和Kees 10 1996 从逻辑到逻辑编程。 Zbl 0834.68007号 Doets和Kees 19 1994 SLDNF分辨率的新定义。 Zbl 0795.68039号 阿普特,克日什托夫R。;Doets和Kees 5 1994 左端转为端接。 Zbl 0795.68041号 Doets,Kees(多伊人、基伊人) 1 1994 公理化量词的普遍性质。 兹伯利0751.03016 Doets和Kees 1 1991 一元性质理论。 Zbl 0689.03020号 Doets和Kees 4 1989 高阶逻辑。 Zbl 0875.03036号 约翰·范·本特姆;Doets和Kees 19 1983 哲学逻辑手册。第一卷:经典逻辑要素。 Zbl 0538.03001号 8 1983 所有引用出版物 前5名被引用出版物 全部的 前5名被89位作者引用 7 van Benthem,Johan F.A.K。 5 德拉本特,Włodzimierz 三 Doets和Kees 三 默多克·詹姆斯·加贝 三 乔治·戈特洛布 三 约翰·怀利·劳埃德 三 吴基祥 2 托马斯·艾特 2 肯·卡内瓦 2 鲁安·凯勒曼 2 埃里克·马丁。 2 格里戈里·奥尔霍维科夫。 2 安妮·普雷勒 2 威廉·T·B·乌瑟尔。 1 瓦卡尔·艾哈迈德 1 哈伊纳尔·安德雷卡 1 Krzysztof Rafal公寓 1 朱迪·阿佐尼 1 罗尔夫·巴科芬 1 Chitta R.巴拉尔。 1 利奥波多·贝尔托西。 1 尼克·贝扎尼什维利 1 帕特里克·布莱克本 1 弗洛里安·布鲁斯 1 奥塔维奥·布埃诺 1 蒂姆·巴顿 1 马可·卡多利 1 马尔滕·德·里杰克 1 沃尔特·迪安 1 安东尼奥·迪·诺拉 1 亚历山大·雅科夫列维奇·迪科夫斯基 1 装配,梅尔文·克里斯 1 迈克尔·加巴伊(Michael J.Gabbay)。 1 迈克尔·盖尔芬德 1 保罗·金蒂里尼 1 瓦伦丁·F·戈兰科。 1 尤里·古里维奇 1 Helle Hvid Hansen先生 1 奥斯曼·哈桑 1 Hintermeier,克劳斯 1 安东尼娅·韦尔塔斯 1 马库斯·赫特 1 约根森,克劳斯·弗罗文 1 吉隆嘉美 1 赫莱内·基什内尔 1 大卫·克伦伯格 1 马·戈扎塔·克鲁塞尔尼卡 1 库普克,克莱门斯 1 娜塔莎·库托尼娜 1 马丁·兰格 1 克莱门斯·劳特曼 1 圣埃芬·让·埃里克·伦格兰德 1 贾科莫·伦齐 1 史蒂文·林德尔 1 Liu,Faye F。 1 刘菲 1 玛丽亚·曼扎诺 1 埃琳娜·马尔奇奥里 1 V.Wiktor马雷克 1 Maurizio Martelli 1 皮埃尔·麦肯齐 1 卡尔·梅恩克 1 彼得·莫塞斯(Peter D.Mosses)。 1 伊斯坦·内梅蒂 1 胡安·安东尼奥·尼多·巴伦西亚 1 卡图西亚帕拉米德斯 1 劳伦斯·查尔斯·保尔森 1 莱因哈德·皮克勒 1 杰弗里·布赖恩·雷梅尔 1 马克·亚历山大·雷诺兹 1 纳尔逊·拉什顿 1 简·J·M·M·鲁顿。 1 梅赫努什·萨德扎德 1 大辅佐藤 1 托马斯·施文蒂克 1 阿伦·库马尔·沙尔马 1 沈志章 1 Gennady Shtakser公司 1 胡里奥·埃内斯托 1 Robert F.Stärk。 1 弗兰克·斯蒂芬 1 索菲涅·塔哈尔 1 特辛克,弗兰克 1 特鲁什琴斯基,米洛斯奥 1 Vijay Shanker,K。 1 路易斯·米格尔·维列加斯·席尔瓦 1 赫里贝特·沃尔默 1 乔治·沃察达基斯 1 达格·韦斯特斯特尔 全部的 前5名29篇连载文章中引用 8 Studia Logica公司 6 理论计算机科学 4 人工智能 4 纯逻辑与应用逻辑年鉴 4 应用逻辑杂志 三 信息与计算 三 逻辑、语言与信息杂志 三 逻辑程序设计理论与实践 2 信息科学 2 符号逻辑杂志 2 计算的形式方面 2 数学逻辑档案 1 信息处理信件 1 匈牙利数学周期 1 代数普遍性 1 应用数学与计算 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 合成 1 新一代计算 1 工程、通信和计算中的应用代数 1 应用的分类结构 1 应用非经典逻辑杂志 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 符号逻辑述评 全部的 前5名在9个字段中引用 46 数学逻辑和基础(03-XX) 45 计算机科学(68至XX) 三 组合数学(05-XX) 三 有序,格,有序代数结构(06-XX) 2 历史和传记(01-XX) 1 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文