编辑配置文件(在新选项卡中打开) 马尔滕·德·里杰克 合著者距离 作者ID: de-rijke.maarten公司 发布日期: 马尔滕·德·里杰克;马尔滕·德·里杰克;de Rijke,M。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 52出版物自1991年以来,包括1本书 11作为编辑的贡献 合著者: 48位合著者具有52联合出版物 1423合著作者 全部的 前5名合著者 11 单作者的 10 帕特里克·布莱克本 5 克里斯托夫·蒙兹 5 海因里希·西奥多 4 卡洛斯·阿雷塞斯 4 娜塔莎·库托尼娜 4 维尼马,伊德 4 迈克尔·维克托洛维奇(Michael Viktorovich) 三 汉斯·德·尼维尔 三 Dov M.加巴伊。 三 范德霍克,威比 2 布兰德,塞巴斯蒂安 2 克莱尔·加登 2 罗塞拉·根纳里 2 Infante-Lopez,Gabriel G。 2 奥利弗·莱蒙 2 安吉洛·蒙塔纳里 2 克里斯特·塞格伯格 2 Atsushi岛岛岛 1 洛雷达纳·阿法纳西耶夫 1 娜塔莎·亚历奇纳 1 布兰登·贝内特 1 陈一凡 1 拉兹洛·齐尔马兹 1 Stéphane P.德姆里。 1 伊奥娜·马蒂尔德·迪米特里奥 1 克莱尔·狄克逊 1 迈克尔·费希尔 1 马西莫·弗朗西切特 1 恩里科·弗朗科尼 1 盖夫,伯特兰 1 乔纳森·金兹伯格 1 埃文·戈利斯 1 伊恩·霍洛克斯 1 乌尔里希Hustadt 1 马库斯·克拉希特 1 李,张 1 马尔滕·马克思 1 劳伦斯·S·莫斯。 1 安德烈亚斯·农纳加特 1 ÖNualláin,布伦丹 1 汉斯·尤根·奥巴赫 1 阿尔班·蓬塞 1 任鹏杰 1 霍尔格·斯特姆 1 van Benthem,Johan F.A.K。 1 王蒙 1 王,杨 1 弗兰克·沃尔特 全部的 前5名系列 7 逻辑、语言与信息杂志 4 Studia Logica公司 4 逻辑与计算杂志 4 CSLI课堂讲稿 三 圣母院形式逻辑杂志 2 人工智能 1 哲学逻辑杂志 1 符号逻辑杂志 1 理论计算机科学 1 符号计算杂志 1 神经网络 1 人工智能综述 1 应用非经典逻辑杂志 1 应用逻辑杂志 1 剑桥理论计算机科学丛书 1 逻辑与计算研究 1 合成库 1 应用逻辑系列 全部的 前5名领域 57 数学逻辑和基础(03-XX) 30 计算机科学(68至XX) 12 总体主题;集合(00-XX) 2 阶、格、有序代数结构(06-XX) 2 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有1138年被引用中的次1017文件 引用人▼ 年份▼ 模态逻辑。 Zbl 0988.03006号 帕特里克·布莱克本;马尔滕·德·里杰克;维尼马,伊德 863 2001 不等式的模态逻辑。 Zbl 0788.03019号 马尔滕·德·里杰克 49 1992 关于分级模态逻辑的注释。 Zbl 0951.03018号 马尔滕·德·里杰克 21 2000 模型检查混合逻辑(应用于半结构化数据)。 Zbl 1100.68065号 马西莫·弗朗西切特;马尔滕·德·里杰克 21 2006 带算子布尔代数的Sahlqvist定理及其在柱代数中的应用。 Zbl 0823.03037号 马尔滕·德·里杰克;维尼马,伊德 19 1995 广义量词和模态逻辑。 Zbl 0797.03014号 范德霍克,威比;马尔滕·德·里杰克 18 1993 没有否定的模拟。 Zbl 0904.03008号 娜塔莎·库托尼娜;马尔滕·德·里杰克 14 1997 在经典逻辑中对二值非经典逻辑进行编码。 Zbl 0992.03019号 汉斯·尤根·奥巴赫;安德烈亚斯·农纳加特;马尔滕·德·里杰克;Dov M.加巴伊。 13 2001 时间逻辑的双模拟。 Zbl 0882.03017号 娜塔莎·库托尼娜;马尔滕·德·里杰克 12 1997 为什么要组合逻辑? Zbl 0887.03025号 帕特里克·布莱克本;马尔滕·德·里杰克 10 1997 路径约束的模态透视图。 兹比尔1093.68032 娜塔莎·亚历奇纳;斯特凡·德姆里;马尔滕·德·里杰克 10 2003 模态、描述和混合逻辑的解析。 Zbl 0993.03007号 卡洛斯·阿雷塞斯;马尔滕·德·里杰克;汉斯·德·尼维尔 10 2001 计数对象。 Zbl 0827.68105号 范德霍克,威比;马尔滕·德·里杰克 8 1995 模态逻辑的组合。 兹比尔1014.68158 布兰登·贝内特;克莱尔·狄克逊;迈克尔·费希尔;乌尔里希Hustadt;恩里科·弗朗科尼;伊恩·霍洛克斯;马尔滕·德·里杰克 8 2002 一阶描述逻辑中概念表达的表达性。 Zbl 0993.03042号 娜塔莎·库托尼娜;马尔滕·德·里杰克 8 1999 有序树的PDL。 Zbl 1185.03056号 洛雷达纳·阿法纳西耶夫;帕特里克·布莱克本;伊奥娜·迪米特里奥;贝特朗·盖菲;埃文·戈利斯;马尔滕·马克思;马尔滕·德·里杰克 7 2005 基本模态逻辑中的全局可定义性。 Zbl 0998.03014号 马尔滕·德·里杰克;霍尔格·斯特姆 7 2001 通过分辨率确定防护碎片。 Zbl 1012.03046号 汉斯·德·尼维尔;马尔滕·德·里杰克 7 2003 皮尔士代数的逻辑。 Zbl 0842.03015号 马尔滕·德·里杰克 4 1995 编辑:图表推理的功效。视觉逻辑、语言和信息。 Zbl 0941.03538号 奥利弗·莱蒙;马尔滕·德·里杰克;Atsushi岛岛岛 三 1999 模态逻辑的进展。第1卷。1996年10月,德国柏林自由大学第一届AiML会议论文集。 Zbl 0897.00022号 三 1998 从描述到混合逻辑,然后再回来。 Zbl 1031.03052号 卡洛斯·阿雷塞斯;马尔滕·德·里杰克 三 2002 放大,缩小。 兹比尔0872.03008 帕特里克·布莱克本;马尔滕·德·里杰克 2 1997 动态模态逻辑系统。 Zbl 0910.03016号 马尔滕·德·里杰克 2 1998 组合系统的前沿2。1998年10月2日至4日,荷兰阿姆斯特丹,第二届国际研讨会(FroCoS’98)论文选集。 Zbl 0978.00029号 2 2000 前缀分辨率。模态逻辑和描述逻辑的一种解析方法。 Zbl 0937.03014号 卡洛斯·阿雷塞斯;汉斯·德·尼维尔;马尔滕·德·里杰克 2 1999 什么是模态逻辑? Zbl 0880.03009号 马尔滕·德·里杰克 1 1996 两种排序的度量时态逻辑。 Zbl 0901.03019号 安吉洛·蒙塔纳里;马尔滕·德·里杰克 1 1997 交叉收缩。 Zbl 0961.03019号 范德霍克,威比;马尔滕·德·里杰克 1 1999 现代模态逻辑的起源。 Zbl 0994.03010号 迈克尔·扎克哈里亚舍夫;克里斯特·塞格伯格;马尔滕·德·里杰克;海因里希·瓦辛 1 2001 模态逻辑和过程代数。相互模拟视角。1994年4月,荷兰阿姆斯特丹“三天相互模拟”研讨会论文。 Zbl 0943.68508号 1 1995 基于集合的SAT搜索行为预测。 Zbl 0990.90536号 布赖恩丹·奥斯·努拉因;马尔滕·德·里杰克;约翰·范·本特姆 1 2001 概率上下文无关文法的表达能力注释。 Zbl 1102.68042号 加布里埃尔·芬特·洛佩兹;马尔滕·德·里杰克 1 2006 动态语义的解析演算。 Zbl 0928.03010号 克里斯托夫·蒙兹;马尔滕·德·里杰克 1 1998 皮尔士代数的模态特征。 Zbl 0922.03088号 马尔滕·德·里杰克 1 1999 钻石和默认值。纯内涵逻辑和应用内涵逻辑的研究。1990年9月至1991年5月在荷兰阿姆斯特丹大学举行的内涵逻辑研讨会上提交的论文。 兹伯利0812.00020 1 1993 古希腊模态逻辑中的证明和表达。 Zbl 1111.03312号 马尔滕·德·里杰克;海因里希·瓦辛 1 2002 两分类度量时序逻辑的完备性结果。 Zbl 1496.03078号 安吉洛·蒙塔纳里;马尔滕·德·里杰克 1 1995 模型检查混合逻辑(应用于半结构化数据)。 兹比尔1100.68065 马西莫·弗朗西切特;马尔滕·德·里杰克 21 2006 概率上下文无关文法的表达能力注释。 Zbl 1102.68042号 加布里埃尔·芬特·洛佩兹;马尔滕·德·里杰克 1 2006 有序树的PDL。 Zbl 1185.03056号 洛雷达纳·阿法纳西耶夫;帕特里克·布莱克本;伊奥娜·迪米特里奥;贝特朗·盖菲;埃文·戈利斯;马尔滕·马克思;马尔滕·德·里杰克 7 2005 路径约束的模态透视图。 Zbl 1093.68032号 娜塔莎·亚历奇纳;斯特凡·德姆里;马尔滕·德·里杰克 10 2003 通过分辨率确定防护碎片。 Zbl 1012.03046号 汉斯·德·尼维尔;马尔滕·德·里杰克 7 2003 模态逻辑的组合。 Zbl 1014.68158号 布兰登·贝内特;克莱尔·狄克逊;迈克尔·费希尔;乌尔里希Hustadt;恩里科·弗兰科尼;伊恩·霍洛克斯;马尔滕·德·里杰克 8 2002 从描述到混合逻辑,然后再回来。 Zbl 1031.03052号 卡洛斯·阿雷塞斯;马尔滕·德·里杰克 三 2002 古希腊模态逻辑中的证明和表达。 Zbl 1111.03312号 马尔滕·德·里杰克;海因里希·万兴 1 2002 模态逻辑。 Zbl 0988.03006号 帕特里克·布莱克本;马尔滕·德·里杰克;维尼马,伊德 863 2001 在经典逻辑中对二值非经典逻辑进行编码。 Zbl 0992.03019号 汉斯·尤根·奥巴赫;安德烈亚斯·农纳加特;马尔滕·德·里杰克;Dov M.加巴伊。 13 2001 模态、描述和混合逻辑中的分辨率。 Zbl 0993.03007号 卡洛斯·阿雷塞斯;马尔滕·德·里杰克;汉斯·德·尼维尔 10 2001 基本模态逻辑中的全局可定义性。 Zbl 0998.03014号 马尔滕·德·里杰克;霍尔格·斯特姆 7 2001 现代模态逻辑的起源。 Zbl 0994.03010号 迈克尔·扎克哈里亚舍夫;克里斯特·塞格伯格;马尔滕·德·里杰克;海因里希·瓦辛 1 2001 基于集合的SAT搜索行为预测。 Zbl 0990.90536号 布赖恩丹·奥斯·努拉因;马尔滕·德·里杰克;约翰·范·本特姆 1 2001 关于分级模态逻辑的注释。 Zbl 0951.03018号 马尔滕·德·里杰克 21 2000 组合系统的前沿2。1998年10月2日至4日,荷兰阿姆斯特丹,第二届国际研讨会(FroCoS’98)论文选集。 Zbl 0978.00029号 2 2000 一阶描述逻辑中概念表达的表达性。 Zbl 0993.03042号 娜塔莎·库托尼娜;马尔滕·德·里杰克 8 1999 编辑:图表推理的功效。视觉逻辑、语言和信息。 Zbl 0941.03538号 奥利弗·莱蒙;马尔滕·德·里杰克;Atsushi岛岛岛 三 1999 前缀分辨率。模态和描述逻辑的一种解析方法。 Zbl 0937.03014号 卡洛斯·阿雷塞斯;汉斯·德·尼维尔;马尔滕·德·里杰克 2 1999 交叉收缩。 Zbl 0961.03019号 范德霍克,威比;马尔滕·德·里杰克 1 1999 皮尔斯代数的一个模态特征。 Zbl 0922.03088号 马尔滕·德·里杰克 1 1999 模态逻辑的进展。第1卷。1996年10月,德国柏林自由大学第一届AiML会议论文集。 Zbl 0897.00022号 三 1998 动态模态逻辑系统。 兹比尔0910.03016 马尔滕·德·里杰克 2 1998 动态语义的解析演算。 Zbl 0928.03010号 克里斯托夫·蒙兹;马尔滕·德·里杰克 1 1998 没有否定的模拟。 Zbl 0904.03008号 娜塔莎·库托尼娜;马尔滕·德·里杰克 14 1997 时间逻辑的双模拟。 Zbl 0882.03017号 娜塔莎·库托尼娜;马尔滕·德·里杰克 12 1997 为什么要组合逻辑? Zbl 0887.03025号 帕特里克·布莱克本;马尔滕·德·里杰克 10 1997 放大,缩小。 Zbl 0872.03008号 帕特里克·布莱克本;马尔滕·德·里杰克 2 1997 两种排序的度量时态逻辑。 Zbl 0901.03019号 安吉洛·蒙塔纳里;马尔滕·德·里杰克 1 1997 什么是模态逻辑? Zbl 0880.03009号 马尔滕·德·里杰克 1 1996 带算子布尔代数的Sahlqvist定理及其在柱代数中的应用。 Zbl 0823.03037号 马尔滕·德·里杰克;维尼马,伊德 19 1995 计数对象。 Zbl 0827.68105号 范德霍克,威比;马尔滕·德·里杰克 8 1995 皮尔士代数的逻辑。 Zbl 0842.03015号 马尔滕·德·里杰克 4 1995 模态逻辑和过程代数。互模拟视角。1994年4月,荷兰阿姆斯特丹“三天相互模拟”研讨会论文。 Zbl 0943.68508号 1 1995 两分类度量时序逻辑的完备性结果。 Zbl 1496.03078号 安吉洛·蒙塔纳里;马尔滕·德·里杰克 1 1995 广义量词和模态逻辑。 兹伯利0797.03014 范德霍克,威比;马尔滕·德·里杰克 18 1993 钻石和默认值。纯内涵逻辑和应用内涵逻辑的研究。1990年9月至1991年5月在荷兰阿姆斯特丹大学举行的内涵逻辑研讨会上提交的论文。 Zbl 0812.00020号 1 1993 不等式的模态逻辑。 兹比尔0788.03019 马尔滕·德·里杰克 49 1992 所有引用出版物 前5名被引用出版物 全部的 前5名1021位作者引用 29 汉斯·皮特·范·迪特马什 26 尼克·贝扎尼什维利 21 菲利普·巴尔比亚尼 20 古拉姆·贝扎尼什维利 19 van Benthem,Johan F.A.K。 17 卡洛斯·阿雷塞斯 16 马明辉 15 范德霍克,威比 14 贝内维特斯,马里奥·R·F·。 14 维尼马,伊德 12 亚历山大·巴尔塔格 12 Stéphane P.德姆里。 12 王燕京 11 托马斯·奥戈特内斯 11 马尔滕·德·里杰克 11 劳尔·费尔瓦里 11 瓦伦丁·F·戈兰科。 11 安德烈亚斯·赫齐格 11 德克·帕丁森 11 Smets,Sonja J.L。 10 马里兰州阿基尔汗 10 埃米利亚诺·洛里尼 10 佐野胜彦 9 帕特里克·布莱克本 9 大卫·费尔南德斯·杜克 9 罗伯特·伊恩·戈德布拉特 9 伊恩·马丁·霍德金森 9 Özgün,艾比克 9 雷娜特·施密特(Renate A.Schmidt)。 8 威廉·康拉迪 8 乌尔里希Hustadt 7 莫华·班纳吉 7 克莱尔·狄克逊 7 塞巴斯蒂安·恩奎斯特 7 梅·盖尔克 7 帕特里克·R·吉拉德。 7 大卫·格罗西 7 科斯塔斯·库特拉斯。 7 安蒂·库西斯托 7 卢塞罗·布莱恩,乔尔·格雷戈里 7 马丁斯(Manuel António Martins) 7 马尔滕·马克思 7 Cláudia Nalon 7 阮林安 7 Rasmus Krmmer Rendsvig 7 克里斯蒂娜·塞尔纳达斯。 7 格特·斯莫尔卡 7 廷切夫、廷科 6 卢卡·埃特罗 6 吉列尔莫·巴迪亚 6 弗朗西斯科·贝拉迪内利 6 劳拉·博泽利 6 托本·布吕纳 6 Broersen,Jan M。 6 彼得·弗里茨 6 伯恩哈德·海尼曼 6 托马斯·伊卡德(Thomas F.III) 6 Anna Ingólfsdóttir 6 马克·卡明斯基 6 邱恩·荣·廖 6 埃里克·帕奎特 6 亚历山德拉·帕尔米吉亚诺 6 法比奥·帕帕奇尼 6 拉马努贾姆,R。 6 若昂·拉斯加 6 路易斯·梅纳施·谢赫特 6 弗朗索瓦·施瓦森特鲁伯 6 德米特里·什卡托夫 6 十个Cate,Balder David 6 费尔南多·雷蒙多(Fernando Raymundo) 6 迈克尔·J·伍尔德里奇。 5 娜塔莎·亚历奇纳 5 Franz巴德 5 亚当·比约恩达尔 5 托马斯·博兰德 5 贾科莫·博纳诺 5 吉姆·德·格罗特 5 范洁 5 圣地亚哥菲格拉 5 西尔维奥·吉拉尔迪 5 劳里·T·海拉。 5 丰弘Hoshi 5 斯坦尼斯拉夫·基科特 5 克莱门斯·库普克 5 阿吉·库鲁茨 5 亚历山大·库兹 5 刘芬荣 5 卡斯滕·卢茨 5 莱恩 5 约书亚·萨克 5 阿米尔卡·塞尔纳达斯。 5 迪米特·瓦卡雷洛夫 5 范·艾伊克(Jan van Eijck) 5 Paulo Augusto S.维洛索。 5 Sheila R.M.维洛索。 5 乔尼·维尔特玛 5 弗兰克·沃尔特 5 尤戈斯·齐科斯 4 纪尧姆拍卖行 4 克里斯托夫·埃瓦尔德·本兹穆勒 …还有921位作者 全部的 前5名80连载 88 Studia Logica公司 58 哲学逻辑杂志 52 合成 42 理论计算机科学 42 逻辑、语言与信息杂志 41 应用非经典逻辑杂志 38 纯逻辑与应用逻辑年鉴 33 人工智能 32 符号逻辑述评 30 应用逻辑杂志 22 圣母院形式逻辑杂志 19 信息与计算 18 国际近似推理杂志 16 ACM计算逻辑事务 15 符号逻辑杂志 15 程序设计中的逻辑和代数方法杂志 14 泛逻辑 13 数学与人工智能年鉴 13 计算机科学中的逻辑方法 10 数学逻辑档案 9 代数普遍性 9 自动推理杂志 7 埃尔肯特尼斯 6 信息科学 6 数学逻辑季刊(MLQ) 5 模糊集与系统 5 纯粹与应用代数杂志 5 逻辑科公报 5 符号逻辑公报 5 逻辑与逻辑哲学 4 信息处理信件 4 订单 4 符号计算杂志 4 计算机基础理论 4 逻辑与代数程序设计杂志 三 信息学报 三 计算机与系统科学杂志 三 美国数学学会会刊 三 计算的形式方面 三 应用分类结构 2 信息传输问题 2 代数与逻辑 2 MSCS公司。计算机科学中的数学结构 2 游戏与经济行为 2 软计算 1 国际理论物理杂志 1 以色列数学杂志 1 数学生物科学 1 数学笔记 1 俄罗斯数学调查 1 数学进展 1 Automatica公司 1 代数杂志 1 数学经济学杂志 1 斯洛伐克数学 1 SIAM计算机杂志 1 西伯利亚数学杂志 1 拓扑及其应用 1 匈牙利数学学报 1 新一代计算 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 1 国际计算机数学杂志 1 分布式计算 1 Indagationes Mathematicae公司。新系列 1 Izvestiya:数学 1 计算与数学组织理论 1 计算系统理论 1 托波伊 1 逻辑程序设计理论与实践 1 中欧数学杂志 1 智能与模糊系统杂志 1 中国科学。F系列 1 物理学报A:数学与理论 1 理论经济学学士期刊 1 科学中国。信息科学 1 游戏 1 计算机科学前沿 1 诺尔斯 1 Logicheskie Issledovaniya公司 1 意大利马特马提卡联盟Bollettino dell'Unione Matematica Italiana 全部的 前5名27个领域被引用 886 数学逻辑和基础(03-XX) 387 计算机科学(68至XX) 59 阶、格、有序代数结构(06-XX) 47 博弈论、经济学、金融和其他社会和行为科学(91-XX) 27 一般拓扑结构(54至XX) 14 组合数学(05-XX) 14 范畴理论;同调代数(18-XX) 13 一般代数系统(08-XX) 8 历史和传记(01-XX) 8 量子理论(81-XX) 6 几何形状(51至XX) 三 群论与推广(20-XX) 三 概率论与随机过程(60-XX) 三 生物学和其他自然科学(92-XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 结合环与代数(16-XX) 1 非结合环和代数(17-XX) 1 测量和集成(28-XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 微分几何(53至XX) 1 代数拓扑(55-XX) 1 全局分析,流形分析(58至XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文