编辑配置文件（在新选项卡中打开） 拉斐尔·格林森 合著者距离 作者ID： 格里姆森·拉斐尔 发布日期： 拉斐尔·格林森;R.格林森。 外部链接： MGP公司 已编制索引的文档： 9出版物自2008年起 合著者： 5位合著者具有9联合出版物 85位合作作者 合著者 0 单作者的 5 Bart H.M.Kuijpers。 4 圣地亚哥菲格拉 4 丹尼尔·戈林 2 乔斯·海因茨 1 瓦利德·奥斯曼 全部的 前5名系列 2 计算机与系统科学杂志 1 信息处理信件 1 数理逻辑报告 1 复杂性杂志 1 工程、通信和计算中的应用代数 1 数学逻辑季刊（MLQ） 领域 6 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 1 几何图形（51至XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用6次4文件 引用人▼ 年份▼ 类IF逻辑的形式语义。 Zbl 1197.03028号 圣地亚哥菲格拉;丹尼尔·戈林;拉斐尔·格林森 三 2010 关于IF-逻辑与经典否定的表达能力。 Zbl 1328.03029号 圣地亚哥菲格拉;丹尼尔·戈林;拉斐尔·格林森 2 2011 有效评估约束数据库中的特定查询。 Zbl 1260.68135号 拉斐尔·格林森;乔斯·海因茨;巴特·奎杰珀斯 1 2011 关于IF-逻辑与经典否定的表达能力。 Zbl 1328.03029号 圣地亚哥Figueira;丹尼尔·戈林;拉斐尔·格林森 2 2011 有效评估约束数据库中的特定查询。 Zbl 1260.68135号 拉斐尔·格林森;乔斯·海因茨;巴特·奎杰珀斯 1 2011 类IF逻辑的形式语义。 Zbl 1197.03028号 圣地亚哥Figueira;丹尼尔·戈林;拉斐尔·格林森 三 2010 全部的 前5名8位作者引用 2 拉斐尔·格林森 1 圣地亚哥菲格拉 1 丹尼尔·戈林 1 乔斯·海因茨 1 埃马努伊尔·克拉萨纳基斯 1 Bart H.M.Kuijpers。 1 安德烈亚斯·西梅尼迪斯。 1 特罗·图伦海莫 4篇连载文章中引用 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 工程、通信和计算中的应用代数 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 三 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 按年份列出的引文