编辑配置文件(在新选项卡中打开) 大卫·比林顿 合著者距离 作者ID: 比林顿·达维德 发布日期: 大卫·比林顿;D.比林顿。 已编制索引的文档: 29出版物自1980年以来,包括1本书 合著者: 7合著者具有14联合出版物 195位合作作者 全部的 前5名合著者 15 单作者的 10 格里戈里斯·安东尼奥 9 迈克尔·马赫(Michael J.Maher)。 7 圭多州长 2 安德鲁·洛克 1 杰夫·布莱 1 R.Geoff,Dromey 1 阿卜杜勒·萨塔尔 全部的 前5名系列 三 Ars Combinatoria公司 2 逻辑与计算杂志 2 ACM计算逻辑事务 1 澳大利亚数学学会公报 1 离散数学 1 信息科学 1 Studia Logica公司 1 逻辑程序设计杂志 1 JCMCC公司。组合数学与组合计算杂志 1 计算的形式方面 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 逻辑研究(伦敦) 领域 20 计算机科学(68至XX) 10 数理逻辑与基础(03-XX) 9 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用112中的次69文件 引用人▼ 年份▼ 可废止逻辑的论证语义。 Zbl 1067.03038号 圭多州长;迈克尔·马赫(Michael J.Maher)。;格里戈里斯·安东尼奥;大卫·比林顿 35 2004 可废止逻辑的表示结果。 兹比尔1171.68740 格里戈里斯·安东尼奥;大卫·比林顿;圭多州长;迈克尔·马赫(Michael J.Maher)。 27 2001 失效逻辑是稳定的。 Zbl 0808.03011号 大卫·比林顿 9 1993 可解逻辑的包含定理。 Zbl 1351.68261号 大卫·比林顿;格里戈里斯·安东尼奥;圭多州长;迈克尔·马赫 7 2010 修正非单调理论:可解逻辑的例子。 Zbl 0957.03017号 D.比林顿。;安东尼奥(G.Antoniou)。;G·州长。;马希尔,M。 6 1999 度序列可由3-一致超图实现的条件。 Zbl 0727.05044号 大卫·比林顿 5 1988 失效逻辑与无否定的逻辑编程之比较。 Zbl 0959.68117号 安东尼奥(G.Antoniou)。;马希尔,M.J。;D.比林顿。 5 2000 将不可行逻辑嵌入逻辑编程。 Zbl 1108.68027号 格里戈里斯·安东尼奥;大卫·比林顿;圭多州长;迈克尔·马赫(Michael J.Maher)。 4 2006 度序列的多重图形实现的图的连通子图。 Zbl 0473.05039号 大卫·比林顿 2 1981 超图的度多集。 Zbl 0486.05052号 大卫·比林顿 2 1982 命题合理逻辑:引言和实施。 Zbl 0977.68077号 大卫·比林顿;安德鲁·洛克 2 2001 关联可取消逻辑和默认逻辑。 Zbl 1052.68721号 格里戈里斯·安东尼奥;大卫·比林顿 2 2001 命题子句是可解除逻辑。 Zbl 1178.68554号 大卫·比林顿 1 2008 似是而非逻辑的证明算法形成了一个层次结构。 Zbl 1175.68431号 大卫·比林顿 1 2005 可废止逻辑中可证明性的研究。 Zbl 0928.03029号 马希尔,M.J。;安东尼奥(G.Antoniou)。;D.比林顿。 1 1998 可数多度集的超图实现图。 Zbl 0491.05047号 大卫·比林顿 1 1982 度序列可由超图唯一实现。 Zbl 0459.05051号 大卫·比林顿 1 1980 度序列在超图集合中唯一可实现。 兹伯利0463.05052 大卫·比林顿 1 1980 可解逻辑的包含定理。 Zbl 1351.68261号 大卫·比林顿;格里戈里斯·安东尼奥;圭多州长;迈克尔·马赫 7 2010 命题子句是可解除逻辑。 Zbl 1178.68554号 大卫·比林顿 1 2008 将不可行逻辑嵌入逻辑编程。 Zbl 1108.68027号 格里戈里斯·安东尼奥;大卫·比林顿;圭多州长;迈克尔·马赫(Michael J.Maher)。 4 2006 似是而非逻辑的证明算法形成了一个层次结构。 Zbl 1175.68431号 大卫·比林顿 1 2005 可废止逻辑的论证语义。 Zbl 1067.03038号 圭多州长;迈克尔·马赫(Michael J.Maher)。;格里戈里斯·安东尼奥;大卫·比林顿 35 2004 可废止逻辑的表示结果。 兹比尔1171.68740 格里戈里斯·安东尼奥;大卫·比林顿;圭多州长;迈克尔·马赫(Michael J.Maher)。 27 2001 命题合理逻辑:引言和实施。 Zbl 0977.68077号 大卫·比林顿;安德鲁·洛克 2 2001 关联可取消逻辑和默认逻辑。 Zbl 1052.68721号 格里戈里斯·安东尼奥;大卫·比林顿 2 2001 失效逻辑与无否定的逻辑编程之比较。 Zbl 0959.68117号 安东尼奥(G.Antoniou)。;马希尔,M.J。;D.比林顿。 5 2000 修正非单调理论:可解逻辑的例子。 Zbl 0957.03017号 D.比林顿。;安东尼奥(G.Antoniou)。;G·州长。;马希尔,M。 6 1999 可废止逻辑中可证明性的研究。 Zbl 0928.03029号 马希尔,M.J。;安东尼奥(G.Antoniou)。;D.比林顿。 1 1998 失效逻辑是稳定的。 Zbl 0808.03011号 大卫·比林顿 9 1993 度序列可由3-一致超图实现的条件。 Zbl 0727.05044号 大卫·比林顿 5 1988 超图的度多集。 Zbl 0486.05052号 大卫·比林顿 2 1982 可数多度集的超图实现图。 Zbl 0491.05047号 大卫·比林顿 1 1982 度序列的多重图形实现的图的连通子图。 Zbl 0473.05039号 大卫·比林顿 2 1981 度序列可由超图唯一实现。 Zbl 0459.05051号 大卫·比林顿 1 1980 度序列在超图集合中唯一可实现。 兹伯利0463.05052 大卫·比林顿 1 1980 所有引用的出版物 前5名被引用出版物 全部的 前5名123位作者引用 13 圭多州长 8 安东尼诺·罗托洛 6 莱拉·阿姆古德 5 弗朗西斯科·奥利维里 4 克里斯塔尼·马特奥 4 吉列尔莫·里卡多·西马里 三 奥费尔·阿列利 三 大卫·比林顿 三 卡洛斯·伊万·切斯尼瓦尔 三 路易斯·戈多 三 迈克尔·马赫(Michael J.Maher)。 三 佩雷·帕尔多 三 雷吉斯·里维雷特 三 西蒙·斯坎纳皮科 三 范德托雷,Leendert W.N。 2 菲利普·贝斯纳德 2 圭多·波埃拉 2 马丁·卡米纳达。 2 Arkady A.Chernyak。 2 Chernyak,詹娜·A。 2 托马斯·艾特 2 劳拉·佐丹奴 2 安东尼·亨特 2 弗雷德里克·迈尔 2 Shmuel Onn公司 2 加布里埃拉·皮戈齐 2 哈斯米克·萨哈基扬 2 阿卜杜勒·萨塔尔 2 弗朗西丝卡·托尼 1 Akama、Seiki 1 特蕾莎·阿尔辛 1 格里戈里斯·安东尼奥 1 莱文·阿斯兰扬 1 马蒂奥·巴多尼 1 彼得罗·巴罗尼 1 塞萨尔·巴托里尼 1 哈拉尔贝克 1 萨拉·贝伦斯 1 Trevor J.M.Bench-Capon。 1 皮埃尔·比斯克特 1 杰夫·布莱 1 费德里科·塞鲁蒂 1 陈,陈 1 程龙 1 查尔斯·科尔伯恩。 1 马达琳娜·克罗伊托鲁 1 大卫,维克多 1 安托万·德扎 1 加布里埃尔·德扎 1 埃尔贝斯,凯瑟琳 1 埃斯拉·埃尔登 1 爱德华多·利奥波多·费尔梅 1 Michael J.费拉拉。 1 迈克尔·芬克 1 保罗·福多 1 高、杨 1 亚历杭德罗·哈维尔·加西亚 1 马西米利亚诺·贾科明 1 戈麦斯,塞尔吉奥·亚历杭德罗 1 托马斯·戈登。 1 埃里克·格雷戈里 1 本杰明·格罗夫。 1 埃斯特班·格雷罗 1 斯文·奥夫·汉森 1 Stephen G.哈特克。 1 穆斯塔法·哈什米 1 阿卜杜勒拉夫·赫卡姆 1 阿明·赫扎特 1 Joris Hulstijn 1 汤米·詹胡宁 1 Kern Isberner,加布里埃尔 1 基弗,迈克尔 1 威廉·劳伦斯·科凯 1 托马斯·克伦瓦尔纳 1 帕特里克·克伦佩尔曼 1 Lam、Ho-Pun 1 加布里埃尔·伦齐尼 1 阿萨夫·莱文 1 梁森林 1 海伦娜·林格伦 1 保罗·曼卡雷拉 1 恩里科·马尔基奥尼 1 阿尔贝托·马泰利 1 米歇尔·马托尼 1 赛义德·穆罕默德·米苏姆 1 桑杰·莫吉尔 1 中松,川美 1 阿巴亚·纳亚克。 1 胡安·卡洛斯·尼维斯 1 法里德·努伊奥瓦 1 唐纳德·纳特(Donald E.Nute)。 1 穆罕默德·阿里·奥根 1 莫妮卡·帕尔米拉尼 1 Phan Minh Dung公司 1 亨利·普拉肯 1 本杰明·莱尼格尔(Benjamin M.Reiniger)。 1 利维奥·罗巴尔多 1 阿里安娜·罗西 1 乔瓦尼·萨托 1 肯·佐藤 …还有23位作者 全部的 前5名19篇连载文章中引用 8 逻辑程序设计理论与实践 6 人工智能 5 国际近似推理杂志 4 应用非经典逻辑杂志 4 数学与人工智能年鉴 4 应用逻辑杂志 三 离散应用数学 2 哲学逻辑杂志 2 逻辑、语言与信息杂志 1 模糊集与系统 1 信息科学 1 合成 1 理论计算机科学 1 控制论 1 组合数学 1 SIAM离散数学杂志 1 组合数学电子杂志 1 国际语义计算杂志 1 国际信息技术与决策杂志 全部的 前5名在6个字段中引用 60 计算机科学(68至XX) 23 数理逻辑与基础(03-XX) 8 组合数学(05-XX) 三 运筹学、数学规划(90-XX) 2 几何图形(51至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文