编辑配置文件(在新选项卡中打开) 罗兰·博尔。 合著者距离 作者ID: 螺栓罗兰n 发布日期: 罗兰·波尔;罗兰·博尔。;博尔,R.N。 更多。。。较少的 已编制索引的文档: 13出版物自1991年以来,包括1本书 合著者: 14合著者具有8联合出版物 303合著作者 全部的 前5名合著者 5 单作者的 三 Jan Friso,格鲁特 2 Krzysztof Rafal公寓 1 Jos C.M.Baeten。 1 Jan A.Bergstra。 1 马克·贝泽姆 1 拉尔斯·德杰斯特德 1 扬·威廉·克鲁普 1 史蒂文·克鲁塞纳 1 威尔科·科恩 1 Oei、Liang 1 范德杜恩·肖滕(Frank A.van der Duyn Schouten)。 1 塞巴斯蒂安·范·维利杰曼 1 范·韦弗伦,阿尔扬 1 沃斯·德瓦尔(Vos de Wael)、斯特凡(Stefan) 系列 4 逻辑程序设计杂志 2 理论计算机科学 1 计算的形式方面 1 美国医学会杂志 1 CWI拖拉机 领域 13 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用142中的次128文档 引用人▼ 年份▼ 逻辑编程与否定:一项调查。 Zbl 0942.68518号 阿普特,克日什托夫R。;罗兰·博尔。 53 1994 过渡系统规范中否定前提的含义。 Zbl 0889.68113号 罗兰·波尔;格罗特,Jan Frisco 46 1996 逻辑程序的循环检查机制分析。 Zbl 0741.68027号 罗兰·博尔。;Krzysztof R.阿普特。;扬·威廉·克鲁普 15 1991 部分演绎中的循环检查。 Zbl 0780.68012号 罗兰·波尔 11 1993 基础良好的语义的表格式解析。 Zbl 0905.68024号 罗兰·波尔;拉尔斯·德杰斯特德 8 1998 过渡系统规范中否定前提的含义。 Zbl 0796.68142号 罗兰·波尔;Jan Friso,格鲁特 4 1991 循环检查和否定。 Zbl 0797.68104号 罗兰·博尔。 2 1991 逻辑编程中循环检查的一般完整性结果。 Zbl 0771.68034号 罗兰·博尔。 2 1992 逻辑编程中的循环检查。 Zbl 0838.68013号 博尔,R.N。 1 1995 基础良好的语义的表格式解析。 Zbl 0905.68024号 罗兰·波尔;拉尔斯·德杰斯特德 8 1998 过渡系统规范中否定前提的含义。 Zbl 0889.68113号 罗兰·波尔;格罗特,Jan Frisco 46 1996 逻辑编程中的循环检查。 Zbl 0838.68013号 博尔,R.N。 1 1995 逻辑编程与否定:一项调查。 兹比尔0942.68518 Krzysztof R.阿普特。;罗兰·博尔。 53 1994 部分演绎中的循环检查。 Zbl 0780.68012号 罗兰·波尔 11 1993 逻辑编程中循环检查的一般完整性结果。 Zbl 0771.68034号 罗兰·博尔。 2 1992 逻辑程序的循环检查机制分析。 Zbl 0741.68027号 罗兰·博尔。;Krzysztof R.阿普特。;扬·威廉·克鲁普 15 1991 过渡系统规范中否定前提的含义。 Zbl 0796.68142号 罗兰·波尔;格罗特,扬·弗里索 4 1991 循环检查和否定。 Zbl 0797.68104号 罗兰·博尔。 2 1991 所有引用出版物 前5名被引用出版物 全部的 前5名181位作者引用 8 威廉·扬·福克金 7 范格拉贝克、罗伯特·扬 6 米歇尔·阿德里安·雷尼尔 5 斯特凡妮娅·科斯坦蒂尼 5 巴斯·卢提克 4 丹尼·德·施雷耶 4 安德烈亚·福米萨诺 4 尼古拉·利昂 4 阿尔贝托·佩特罗西 4 恩里科·蓬泰利 4 毛里齐奥·普罗埃蒂 4 帕诺斯龙多吉安尼斯 4 张金金 4 张燕 4 朱兆辉 三 佩德罗·鲁宾·达吉尼奥 三 法比奥·菲奥拉万蒂 三 Jan Friso,格鲁特 三 伊芙琳娜·拉姆 三 詹姆·桑切斯·埃尔南德斯 三 瓦莱里奥·塞尼 三 西蒙·蒂尼 三 德国维达尔 2 卢卡·埃特罗 2 艾尔维拉·阿尔伯特 2 马尔科·阿尔贝蒂 2 何塞·朱利奥·阿尔弗雷斯 2 玛丽亚·阿尔普特 2 Jos C.M.Baeten。 2 安东尼奥·布罗吉 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 保利安·德温德 2 阿戈斯蒂诺·多维尔 2 沃德齐米日·德拉本特 2 托马斯·艾特 2 约翰·加拉赫(John P.Gallagher)。 2 马可·加瓦内利 2 Daniel E.Gebler。 2 罗伯托·贾科巴齐 2 李,马蒂亚斯·戴维 2 保罗·梅洛 2 科内利斯·A·米德尔堡。 2 穆罕默德·穆萨维 2 苏珊娜·尼娃 2 克里斯托斯·诺米科斯 2 埃蒂安·佩耶特 2 Phan Minh Dung公司 2 弗朗西斯科·兰扎托 2 吉安弗兰科·罗西 2 Sáenz-Pérez,费尔南多 2 沈一东 2 伊雷克·乌利多夫斯基 2 Van Weerdenburg,Muck J。 2 克里斯·弗霍夫 2 院长Voets 2 你,嘉慧 1 彼得·阿尔瓦罗 1 汤姆·J·阿梅罗特。 1 埃利·阿纳斯塔西亚迪 1 加布里埃尔·阿兰达·洛佩斯 1 Chandrabose阿拉文丹 1 菲利普·巴尔比亚尼 1 费德里科·班蒂 1 阿斯特里德·贝尔德 1 哈什·贝哈尔 1 Jan A.Bergstra。 1 布鲁姆,巴德 1 罗兰·博尔。 1 皮耶罗·安德里亚·博纳蒂 1 斯特凡·布拉斯 1 斯特凡·布吕宁 1 莫里斯·布鲁诺 1 佩德罗·卡巴拉尔 1 里卡多·卡费拉 1 Cañete-Valdeón,JoséM。 1 卡里西莫,塞萨尔 1 詹姆斯·切尼 1 马蒂奥·奇米尼 1 兰斯·克莱维兰 1 斯乔德·克兰恩 1 安吉尔·昆卡-奥尔特加 1 伊曼纽尔·德·安吉利斯 1 乔瓦尼·德·加斯佩里斯 1 尤尔根·迪克斯 1 奥马尔·埃尔卡提卜 1 埃斯拉·埃尔登 1 圣地亚哥埃斯科瓦尔 1 艾西克,佐尔坦 1 桑德罗·埃塔利 1 莫雷诺,法拉斯基 1 戈帕尔·古普塔 1 法比奥·加杜奇 1 弗朗西斯科·加兰。 1 加拉纳基,克瑞西达 1 瓦实提·加尔平 1 迈克尔·盖尔芬德 1 马诺利斯Gergatsoulis 1 吉尔根·吉斯尔 1 米盖尔·戈梅斯·扎马洛亚 1 戈帕尔·古普塔 …还有81位作者 全部的 前5名28篇连载文章中引用 28 理论计算机科学 13 逻辑程序设计理论与实践 11 信息与计算 5 人工智能 5 信息处理信件 5 逻辑与代数程序设计杂志 4 程序设计中的逻辑和代数方法杂志 三 新一代计算 三 应用非经典逻辑杂志 2 自动推理杂志 2 数学与人工智能年鉴 2 应用逻辑杂志 1 信息学报 1 信息科学 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 逻辑研究 1 纯逻辑与应用逻辑年鉴 1 国际智能系统杂志 1 国际近似推理杂志 1 计算的形式方面 1 吉泰。实验与理论人工智能杂志 1 计算机科学中的数学结构 1 数学逻辑档案 1 计算与数学组织理论 1 计算机基础理论 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 125 计算机科学(68至XX) 26 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文