编辑配置文件(在新选项卡中打开) Preining,诺伯特 合著者距离 作者ID: 普瑞宁·诺伯特 发布日期: Preining,诺伯特 已编制索引的文档: 19出版物自1997年以来,包括2个附加arXiv预打印 合著者: 16位合著者具有16联合出版物 345合著者 全部的 前5名合著者 三 单作者的 8 马提亚斯·巴兹 6 阿诺德·贝克曼 2 蝉蜕、阿加塔 2 理查德·扎克 1 Franz Brauße 1 彼得·柯林斯。 1 高基町五指 1 马丁·罗伯特·戈尔斯特恩 1 Kim、Sunyoung 1 米查尔·科内奇 1 Lee,Gyesik先生 1 Müller,Norbert Th。 1 艾克·诺依曼 1 Kazuhiro绪方 1 塞翁公园 1 马丁·齐格勒 全部的 前5名系列 三 逻辑与计算杂志 2 纯逻辑与应用逻辑年鉴 1 符号逻辑杂志 1 理论计算机科学 1 订单 1 软计算 全部的 前5名领域 18 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 1 阶、格、有序代数结构(06-XX) 1 几何图形(51至XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用75中的次43文件 引用人▼ 年份▼ 一阶哥德尔逻辑。 Zbl 1146.03010号 马提亚斯·巴兹;Preining,诺伯特;理查德·扎克 28 2007 线性克里普克框架和哥德尔逻辑。 Zbl 1118.03016号 阿诺德·贝克曼;Preining,诺伯特 10 2007 连续弗雷塞猜想。 Zbl 1171.03027号 阿诺德·贝克曼;马丁·戈尔斯特恩;Preining,诺伯特 10 2008 哥德尔逻辑和坎托·本迪克森分析。 Zbl 1023.03015号 Preining,诺伯特 4 2002 用单数句分离基础良好结构和双重基础良好结构的中间谓词逻辑。 Zbl 1348.03026号 阿诺德·贝克曼;Preining,诺伯特 4 2015 哥德尔-杜米特逻辑。 Zbl 1284.03173号 马提亚斯·巴兹;Preining,诺伯特 三 2011 类型\({\omega}\)的克里普克框架上量化命题逻辑的量词消去。 Zbl 1146.03011号 马提亚斯·巴兹;Preining,诺伯特 三 2008 一元哥德尔逻辑中的SAT:可判定性和不可判定性之间的边界。 Zbl 1246.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 三 2009 哥德尔逻辑中的一阶可满足性:一个NP-完全片段。 兹比尔1244.03090 马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 2 2011 哥德尔逻辑——一项调查。 Zbl 1298.03075号 Preining,诺伯特 2 2010 关于一阶哥德尔逻辑的分类。 Zbl 1445.03034号 马提亚斯·巴兹;Preining,诺伯特 2 2019 具有分散端块的线性Kripke框架的逻辑判定。 Zbl 1400.03053号 阿诺德·贝克曼;Preining,诺伯特 1 2017 哥德尔逻辑的超自然演绎——一个用于并行推理的自然演绎系统。 Zbl 1444.03094号 阿诺德·贝克曼;Preining,诺伯特 1 2018 超自然演绎。 Zbl 1394.03068号 阿诺德·贝克曼;Preining,诺伯特 1 2015 CafeOBJ中的活力属性——元级规范的案例研究。 Zbl 1457.68066号 Preining,诺伯特;Kazuhiro绪方;高基町五指 1 2015 关于一阶哥德尔逻辑的分类。 Zbl 1445.03034号 马提亚斯·巴兹;Preining,诺伯特 2 2019 哥德尔逻辑的超自然演绎——一个用于并行推理的自然演绎系统。 Zbl 1444.03094号 阿诺德·贝克曼;Preining,诺伯特 1 2018 具有分散端块的线性Kripke框架的逻辑判定。 Zbl 1400.03053号 阿诺德·贝克曼;Preining,诺伯特 1 2017 用单数句分离基础良好结构和双重基础良好结构的中间谓词逻辑。 Zbl 1348.03026号 阿诺德·贝克曼;Preining,诺伯特 4 2015 超自然演绎。 Zbl 1394.03068号 阿诺德·贝克曼;Preining,诺伯特 1 2015 CafeOBJ中的生动属性——元级规范的案例研究。 Zbl 1457.68066号 Preining,诺伯特;Kazuhiro绪方;高基町五指 1 2015 哥德尔-杜米特逻辑。 Zbl 1284.03173号 马提亚斯·巴兹;Preining,诺伯特 三 2011 哥德尔逻辑中的一阶可满足性:一个NP-完全片段。 Zbl 1244.03090号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 2 2011 哥德尔逻辑——一项调查。 Zbl 1298.03075号 Preining,诺伯特 2 2010 一元哥德尔逻辑中的SAT:可判定性和不可判定性之间的边界。 Zbl 1246.03046号 马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 三 2009 连续弗雷塞猜想。 Zbl 1171.03027号 阿诺德·贝克曼;马丁·戈尔斯特恩;Preining,诺伯特 10 2008 类型\({\omega}\)的克里普克框架上量化命题逻辑的量词消去。 Zbl 1146.03011号 马提亚斯·巴兹;Preining,诺伯特 三 2008 一阶哥德尔逻辑。 兹比尔1146.03010 马提亚斯·巴兹;Preining,诺伯特;理查德·扎克 28 2007 线性克里普克框架和哥德尔逻辑。 Zbl 1118.03016号 阿诺德·贝克曼;Preining,诺伯特 10 2007 哥德尔逻辑和坎托·本迪克森分析。 Zbl 1023.03015号 Preining,诺伯特 4 2002 所有引用出版物 前5名被引用出版物 全部的 前5名46位作者引用 11 马提亚斯·巴兹 7 Preining,诺伯特 4 胡安·巴勃罗·阿奎莱拉 4 蝉蜕、阿加塔 4 杰玛·罗伯斯 三 泽维尔·凯塞多 三 罗德里格斯,里卡多·奥斯卡 2 费德里科·阿西埃里 2 阿诺德·贝克曼 2 马蒂奥·比安奇 2 奥利弗·法辛 2 彼得·哈耶克 2 罗莎莉,伊姆霍夫 2 何塞·梅恩德斯。 2 乔治·梅特卡夫 2 佛朗哥·蒙塔格纳 2 卢卡·斯帕达 2 理查德·扎克 1 奥费尔·阿列利 1 阿诺·阿夫隆 1 安尼马里州博格 1 斯特凡·博格沃德 1 马丁·迪格斯 1 沃伊切赫Dzik 1 Fermüller,Christian G。 1 大卫·费尔南德斯·杜克 1 字体,Josep Maria 1 高基町五指 1 弗朗西斯科·詹科(Francesco A.Genco)。 1 马丁·罗伯特·戈尔斯特恩 1 乔治·戈特洛布 1 奥里·拉哈夫 1 马蒂亚斯·兰辛格 1 蒂姆·S·里昂。 1 布雷特·麦克莱恩 1 Kazuhiro绪方 1 迪米特里·巴塔里亚 1 拉斐尔·佩尼亚洛萨 1 尼古拉斯·皮斯克 1 Primavesi,A。 1 乔纳斯·罗格 1 弗朗西斯科·萨尔托 1 斯特凡诺·斯费拉扎 1 克里斯蒂安·斯特拉瑟 1 星期二,奥利姆弗里茨 1 彼得·沃伊泰拉克 全部的 前5名20篇连载文章中引用 6 Studia Logica公司 6 纯逻辑与应用逻辑年鉴 三 数学逻辑档案 2 模糊集与系统 2 理论计算机科学 2 应用非经典逻辑杂志 2 软计算 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 符号逻辑杂志 1 拓扑及其应用 1 订单 1 信息与计算 1 逻辑、语言与信息杂志 1 数学逻辑季刊(MLQ) 1 逻辑与逻辑哲学 1 逻辑程序设计理论与实践 1 泛逻辑 1 计算机科学中的逻辑方法 1 符号逻辑述评 在5个字段中引用 40 数学逻辑和基础(03-XX) 8 阶、格、有序代数结构(06-XX) 5 计算机科学(68至XX) 1 一般拓扑结构(54-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文