编辑配置文件(在新选项卡中打开) 德克·帕丁森 合著者距离 作者ID: 帕丁森·迪尔克 发布日期: 德克·帕丁森;帕丁森,D。 外部链接: MGP公司 已编制索引的文档: 86出版物自2000年以来,包括1本书和1个附加arXiv预打印 6作为编辑的贡献 合著者: 38位合著者具有82联合出版物 864位合作作者 全部的 前5名合著者 10 单作者的 29 卢茨·施罗德 10 克莱门斯·库普克 8 阿巴斯·埃达拉特 6 亚历山大·库兹 5 吉姆·德·格罗特 5 斯特凡·米利厄斯 4 科琳娜·科斯特 4 比约恩·莱尔曼 4 塔德乌兹·利塔克 三 尼尔·加尼 三 彼得·汉考克。 三 胜彦三野 三 马丁·威尔辛 三 托尔斯滕·维曼 2 法利斯·阿布·萨利赫 2 弗雷德里克·达尔奎斯特 2 拉杰夫·普拉巴卡尔·戈尔 2 安德烈,队长 2 米纳州穆罕默德扬 2 罗伯特·迈尔斯。 2 彼得·迈克尔·舒斯特 1 约瑟夫·伯杰 1 贾斯敏·克里斯蒂安·布兰切特 1 阿明·法朱迪安 1 谢尔盖·冈查洛夫 1 丹尼尔·豪斯曼 1 罗尔夫·亨尼克 1 巴巴拉·科尼格 1 Kovács,Laura Ildikó 1 Cláudia Nalon 1 罗伊斯,伯恩哈德 1 塞凡·法特梅 1 威廉·斯奈尔 1 安娜·索科洛娃 1 穆凯什·蒂瓦里 1 弗洛里安·维德曼 1 威尔德,保罗 1 朱利亚·扎佩 全部的 前5名系列 6 计算机科学中的逻辑方法 4 理论计算机科学 4 信息与计算 三 逻辑与计算杂志 三 计算机科学课堂讲稿 2 圣母院形式逻辑杂志 2 MSCS公司。计算机科学中的数学结构 2 ACM计算逻辑事务 1 计算机与系统科学杂志 1 数学逻辑季刊(MLQ) 1 LMS计算与数学杂志 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 全部的 前5名领域 69 数学逻辑和基础(03-XX) 52 计算机科学(68至XX) 14 范畴理论;同调代数(18-XX) 6 一般性和全局性主题;集合(00-XX) 5 阶、格、有序代数结构(06-XX) 4 常微分方程(34-XX) 4 数值分析(65-XX) 2 实际功能(26年X月X日) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 结合环与代数(16-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 73出版物有被引用455中的次233文件 引用人▼ 年份▼ 协代数模态逻辑:局部结果的稳健性、完备性和可判定性。 Zbl 1052.03009号 德克·帕丁森 42 2003 基于末端序列归纳的余代数表达逻辑。 兹比尔1088.03031 德克·帕丁森 29 2004 联合逻辑的代数语义。 Zbl 1271.03031号 克莱门斯·库普克;亚历山大·库兹;德克·帕丁森 22 2004 模态逻辑的协同语义:综述。 Zbl 1360.03068号 克莱门斯·库普克;德克·帕丁森 20 2011 余代数模态逻辑中的语义原则。 Zbl 0976.68109号 德克·帕丁森 17 2001 等级-1模态逻辑的PSPACE界限。 Zbl 1351.03015号 卢茨·施罗德;德克·帕丁森 16 2009 通用跟踪语义和分级单体。 Zbl 1366.68211号 斯特凡·米利厄斯;德克·帕丁森;卢茨·施罗德 13 2015 完整组合逻辑的模块化结构。 Zbl 1126.03020号 科琳娜·科斯特;德克·帕丁森 13 2007 使用嵌套不动点的流处理器的表示。 Zbl 1189.68031号 彼得·汉考克。;尼尔·加尼;德克·帕丁森 12 2009 模态逻辑的模块化结构。 Zbl 1099.03018号 科琳娜·科斯特;德克·帕丁森 11 2004 用于余代数\(\mu\)-演算的EXPTIME表格。 Zbl 1257.03045号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 10 2009 余代数的超滤扩展。 Zbl 1151.03357号 库普克,C。;A.库尔兹。;帕丁森,D。 9 2005 有限秩的余代数模态逻辑。 Zbl 1135.18300号 亚历山大·库兹;德克·帕丁森 9 2005 协代数混合逻辑。 Zbl 1234.03020号 罗伯·迈尔斯;德克·帕丁森;卢茨·施罗德 8 2009 应用于条件逻辑的一般模态割消去。 Zbl 1232.03049号 德克·帕丁森;卢茨·施罗德 8 2011 基于多分类余代数的异构模态逻辑模块化算法。 Zbl 1260.03061号 卢茨·施罗德;德克·帕丁森 8 2011 一级模态逻辑是联合逻辑。 Zbl 1266.03032号 卢茨·施罗德;德克·帕丁森 7 2010 超越等级1:代数语义和联合逻辑的有限模型。 Zbl 1139.03012号 德克·帕丁森;卢茨·施罗德 7 2008 代数演算的EXPTIME表格。 Zbl 1237.03014号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 7 2011 模态希尔伯特公理和序列规则之间的对应关系及其在S5中的应用。 Zbl 1401.03044号 比约恩·莱尔曼;德克·帕丁森 7 2013 单子上递归方程的余代数弱互模拟。 Zbl 1409.68188号 谢尔盖·冈查洛夫;德克·帕丁森 6 2014 有限共渗的新基础。局部有限不动点及其性质。 Zbl 1475.68196号 斯特凡·米利厄斯;德克·帕丁森;托尔斯滕·维曼 6 2016 余代数逻辑中的截消。 Zbl 1255.03052号 德克·帕丁森;卢茨·施罗德 6 2010 皮卡德定理的区域理论解释。 Zbl 1112.65065号 阿巴斯·埃达拉特;德克·帕丁森 6 2007 异构模态逻辑的模块化算法。 Zbl 1126.03028号 卢茨·施罗德;德克·帕丁森 6 2007 具有谨慎单调性的条件逻辑的最优表。 Zbl 1211.68413号 卢茨·施罗德;德克·帕丁森;丹尼尔·豪斯曼 6 2010 精确覆盖的逻辑:完备性和一致插值。 Zbl 1433.03058号 德克·帕丁森 6 2013 模糊模态逻辑的van Benthem定理。 Zbl 1453.03024号 威尔德,保罗;卢茨·施罗德;德克·帕丁森;巴巴拉·科尼格 6 2018 表达性导致了余代数的模态逻辑。 Zbl 0979.03508号 德克·帕丁森 5 2001 线性不等式的模态逻辑。 Zbl 1254.03036号 克莱门斯·库普克;德克·帕丁森 5 2010 刘易斯条件逻辑的顺序系统。 Zbl 1361.68238号 比约恩·莱尔曼;德克·帕丁森 5 2012 浅模态逻辑的截消。 兹比尔1244.68069 比约恩·莱尔曼;德克·帕丁森 5 2011 应用于条件逻辑的泛型模态截消。 Zbl 1260.03104号 德克·帕丁森;卢茨·施罗德 5 2009 最终余代数上的连续函数。 Zbl 1276.68110号 尼尔·加尼;彼得·汉考克;德克·帕丁森 5 2006 基于经典逻辑或直觉逻辑构造具有上下文限制的无割序列系统。 Zbl 1303.03052号 比约恩·莱尔曼;德克·帕丁森 5 2013 一种多变量微分学的计算模型。 Zbl 1119.03062号 Edalat,A。;A.队长。;帕丁森,D。 5 2005 有限共递归和迭代代数的新基础。 Zbl 1435.68208号 斯特凡·米利厄斯;德克·帕丁森;托尔斯滕·维曼 5 2020 一级模态逻辑是联合逻辑。 Zbl 1186.03049号 卢茨·施罗德;德克·帕丁森 4 2007 混合自动机的表示语义。 Zbl 1123.68056号 阿巴斯·埃达拉特;德克·帕丁森 4 2007 混合自动机的表示语义。 Zbl 1168.68417号 阿巴斯·埃达拉特;德克·帕丁森 4 2006 协代数谓词逻辑。 兹比尔1433.03163 塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 4 2012 余代数谓词逻辑的van Benthem/Rosen定理。 Zbl 1388.03069号 卢茨·施罗德;德克·帕丁森;塔德乌兹·利塔克 4 2017 余代数模态逻辑的强完备性。 Zbl 1236.03060号 卢茨·施罗德;德克·帕丁森 4 2009 皮卡德定理的领域理论解释。 Zbl 1098.65078号 Edalat,A。;帕丁森,D。 4 2004 最终余代数上的连续函数。 Zbl 1337.68070号 尼尔·加尼;彼得·汉考克;德克·帕丁森 三 2009 论联合逻辑的融合。 Zbl 1343.03049号 弗雷德里克·达尔奎斯特;德克·帕丁森 三 2011 代数逻辑的最优表算法。 Zbl 1284.03207号 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森 三 2010 用于联合描述逻辑的全局缓存。 Zbl 1291.03017号 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 三 2010 无界向量场初值问题的区域理论解。 Zbl 1273.65097号 阿巴斯·埃达拉特;德克·帕丁森 三 2006 合并逻辑中切割的可接受性。 Zbl 1279.03087号 德克·帕丁森;卢茨·施罗德 三 2008 简化的煤层气痕迹等效。 Zbl 1453.68112号 亚历山大·库兹;斯特凡·米利厄斯;德克·帕丁森;卢茨·施罗德 三 2015 多变量微分学的计算模型。 Zbl 1271.03061号 阿巴斯·埃达拉特;安德烈,队长;德克·帕丁森 三 2013 模态直觉逻辑是辩证逻辑。 Zbl 1498.03050号 吉姆·德·格罗特;德克·帕丁森 三 2020 在comodels上进行合理而完整的等式推理。 Zbl 1351.68078号 德克·帕丁森;卢茨·施罗德 2 2015 算术模态逻辑中的全局假设推理。 Zbl 1436.03136号 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 2 2015 余代数模态逻辑中的一致插值。 Zbl 1433.03158号 塞凡·法特梅;卢茨·施罗德;德克·帕丁森 2 2017 计算机科学中的联合运算方法。2012年3月31日至4月1日,爱沙尼亚塔林,CMCS 2012第11届国际研讨会,与ETAPS 2012联合举办。修订了选定的论文。 Zbl 1246.68051号 2 2012 余代数对应理论。 Zbl 1284.03211号 卢茨·施罗德;德克·帕丁森 2 2010 重写理论的模态逻辑。 Zbl 0965.03038号 德克·帕丁森 2 2000 组合逻辑混合逻辑中的命名模型。 Zbl 1230.68191号 卢茨·施罗德;德克·帕丁森 2 2010 联合谓词逻辑的模型理论和证明理论。 Zbl 1459.03104号 塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 2 2018 余代数逻辑的一些Sahlqvist完备性结果。 Zbl 1260.03039号 弗雷德里克·达尔奎斯特;德克·帕丁森 2 2013 程序等价是共创的。 Zbl 1401.68084号 德克·帕丁森;卢茨·施罗德 2 2016 求解初值问题的区域理论二阶欧拉方法。 兹伯利07516373 阿巴斯·埃达拉特;阿明·法朱迪安;米纳州穆罕默德扬;德克·帕丁森 2 2020 (模态)双直觉逻辑的Hennessy-Milner性质。 Zbl 1530.03048号 吉姆·德·格罗特;德克·帕丁森 2 2019 面向数学操作语义中的效果。 Zbl 1342.68064号 法利斯·阿布·萨利赫;德克·帕丁森 1 2011 使组件移动:一种关注点分离的方法。 Zbl 1254.68124号 德克·帕丁森;马丁·威尔辛 1 2003 为余代数翻译逻辑。 Zbl 1278.03095号 德克·帕丁森 1 2003 优先逻辑的基于解析的演算。 Zbl 1508.03043号 Cláudia Nalon;德克·帕丁森 1 2018 数学操作语义中的模型和效果。 Zbl 1260.68250号 法利斯·阿布·萨利赫;德克·帕丁森 1 2013 关于余代数、余纤维和并发的注释。 Zbl 0963.18001号 亚历山大·库兹;德克·帕丁森 1 2000 具有经典证人的建构域。 Zbl 1509.03172号 德克·帕丁森;米纳州穆罕默德扬 1 2021 Hennessy-Milner性质的拓扑紧性。 兹比尔1525.03050 吉姆·德·格罗特;德克·帕丁森 1 2022 Hennessy-Milner性质的拓扑紧性。 Zbl 1525.03050号 吉姆·德·格罗特;德克·帕丁森 1 2022 具有经典证人的建构域。 Zbl 1509.03172号 德克·帕丁森;米纳州穆罕默德扬 1 2021 有限共递归和迭代代数的新基础。 Zbl 1435.68208号 斯特凡·米利厄斯;德克·帕丁森;托尔斯滕·维曼 5 2020 模态直觉逻辑是辩证逻辑。 Zbl 1498.03050号 吉姆·德·格罗特;德克·帕丁森 三 2020 求解初值问题的区域理论二阶欧拉方法。 兹伯利07516373 阿巴斯·埃达拉特;阿明·法朱迪安;米纳州穆罕默德扬;德克·帕丁森 2 2020 (模态)双直觉逻辑的Hennessy-Milner性质。 Zbl 1530.03048号 吉姆·德·格罗特;德克·帕丁森 2 2019 模糊模态逻辑的van Benthem定理。 Zbl 1453.03024号 威尔德,保罗;卢茨·施罗德;德克·帕丁森;巴巴拉·科尼格 6 2018 联合谓词逻辑的模型理论和证明理论。 兹比尔1459.03104 塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 2 2018 优先逻辑的基于解析的演算。 Zbl 1508.03043号 Cláudia Nalon;德克·帕丁森 1 2018 余代数谓词逻辑的van Benthem/Rosen定理。 Zbl 1388.03069号 卢茨·施罗德;德克·帕丁森;塔德乌兹·利塔克 4 2017 余代数模态逻辑中的一致插值。 Zbl 1433.03158号 塞凡·法特梅;卢茨·施罗德;德克·帕丁森 2 2017 有限共渗的新基础。局部有限不动点及其性质。 Zbl 1475.68196号 斯特凡·米利厄斯;德克·帕丁森;托尔斯滕·维曼 6 2016 程序等价是共创的。 Zbl 1401.68084号 德克·帕丁森;卢茨·施罗德 2 2016 通用跟踪语义和分级单体。 Zbl 1366.68211号 斯特凡·米利厄斯;德克·帕丁森;卢茨·施罗德 13 2015 简化的煤层气痕迹等效。 Zbl 1453.68112号 亚历山大·库兹;斯特凡·米利厄斯;德克·帕丁森;卢茨·施罗德 三 2015 在comodels上进行合理而完整的等式推理。 Zbl 1351.68078号 德克·帕丁森;卢茨·施罗德 2 2015 算术模态逻辑中的全局假设推理。 Zbl 1436.03136号 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 2 2015 单子上递归方程的余代数弱互模拟。 Zbl 1409.68188号 谢尔盖·冈查洛夫;德克·帕丁森 6 2014 模态希尔伯特公理和序列规则之间的对应关系及其在S5中的应用。 Zbl 1401.03044号 比约恩·莱尔曼;德克·帕丁森 7 2013 精确覆盖的逻辑:完备性和一致插值。 Zbl 1433.03058号 德克·帕丁森 6 2013 基于经典逻辑或直觉逻辑构造具有上下文限制的无割序列系统。 Zbl 1303.03052号 比约恩·莱尔曼;德克·帕丁森 5 2013 一种多变量微分学的计算模型。 Zbl 1271.03061号 阿巴斯·埃达拉特;安德烈,队长;德克·帕丁森 三 2013 余代数逻辑的一些Sahlqvist完备性结果。 Zbl 1260.03039号 弗雷德里克·达尔奎斯特;德克·帕丁森 2 2013 数学操作语义中的模型和效果。 Zbl 1260.68250号 法利斯·阿布·萨利赫;德克·帕丁森 1 2013 Lewis条件逻辑的序列系统。 Zbl 1361.68238号 比约恩·莱尔曼;德克·帕丁森 5 2012 协代数谓词逻辑。 Zbl 1433.03163号 塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 4 2012 计算机科学中的协同代数方法。2012年3月31日至4月1日,爱沙尼亚塔林,CMCS 2012第11届国际研讨会,与ETAPS 2012联合举办。修订了选定的论文。 Zbl 1246.68051号 2 2012 模态逻辑的协同语义:综述。 Zbl 1360.03068号 克莱门斯·库普克;德克·帕丁森 20 2011 应用于条件逻辑的泛型模态截消。 Zbl 1232.03049号 德克·帕丁森;卢茨·施罗德 8 2011 基于多分类余代数的异构模态逻辑模块化算法。 Zbl 1260.03061号 卢茨·施罗德;德克·帕丁森 8 2011 用于余代数\(\mu\)-演算的EXPTIME表格。 兹伯利1237.03014 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 7 2011 浅模态逻辑的截消。 Zbl 1244.68069号 比约恩·莱尔曼;德克·帕丁森 5 2011 论联合逻辑的融合。 Zbl 1343.03049号 弗雷德里克·达尔奎斯特;德克·帕丁森 三 2011 面向数学操作语义中的效果。 Zbl 1342.68064号 法利斯·阿布·萨利赫;德克·帕丁森 1 2011 一级模态逻辑是联合逻辑。 Zbl 1266.03032号 卢茨·施罗德;德克·帕丁森 7 2010 余代数逻辑中的截消。 Zbl 1255.03052号 德克·帕丁森;卢茨·施罗德 6 2010 具有谨慎单调性的条件逻辑的最优表。 Zbl 1211.68413号 卢茨·施罗德;德克·帕丁森;丹尼尔·豪斯曼 6 2010 线性不等式的模态逻辑。 兹比尔1254.03036 克莱门斯·库普克;德克·帕丁森 5 2010 余代数逻辑的最优表算法。 Zbl 1284.03207号 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森 三 2010 用于联合描述逻辑的全局缓存。 Zbl 1291.03017号 拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 三 2010 余代数对应理论。 Zbl 1284.03211号 卢茨·施罗德;德克·帕丁森 2 2010 组合逻辑混合逻辑中的命名模型。 兹比尔1230.68191 卢茨·施罗德;德克·帕丁森 2 2010 等级-1模态逻辑的PSPACE界限。 Zbl 1351.03015号 卢茨·施罗德;德克·帕丁森 16 2009 使用嵌套不动点的流处理器的表示。 Zbl 1189.68031号 彼得·汉考克。;尼尔·加尼;德克·帕丁森 12 2009 用于余代数\(\mu\)-演算的EXPTIME表格。 Zbl 1257.03045号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 10 2009 协代数混合逻辑。 Zbl 1234.03020号 罗伯·迈尔斯;德克·帕丁森;卢茨·施罗德 8 2009 应用于条件逻辑的泛型模态截消。 Zbl 1260.03104号 德克·帕丁森;卢茨·施罗德 5 2009 余代数模态逻辑的强完备性。 Zbl 1236.03060号 卢茨·施罗德;德克·帕丁森 4 2009 最后余代数上的连续函数。 Zbl 1337.68070号 尼尔·加尼;彼得·汉考克;德克·帕丁森 三 2009 超越等级1:代数语义和联合逻辑的有限模型。 Zbl 1139.03012号 德克·帕丁森;卢茨·施罗德 7 2008 合并逻辑中切割的可接受性。 Zbl 1279.03087号 德克·帕丁森;卢茨·施罗德 三 2008 完整组合逻辑的模块化结构。 Zbl 1126.03020号 科琳娜·科斯特;德克·帕丁森 13 2007 皮卡德定理的区域理论解释。 Zbl 1112.65065号 阿巴斯·埃达拉特;德克·帕丁森 6 2007 异构模态逻辑的模块化算法。 Zbl 1126.03028号 卢茨·施罗德;德克·帕丁森 6 2007 一级模态逻辑是联合逻辑。 Zbl 1186.03049号 卢茨·施罗德;德克·帕丁森 4 2007 混合自动机的指称语义。 Zbl 1123.68056号 阿巴斯·埃达拉特;德克·帕丁森 4 2007 最终余代数上的连续函数。 Zbl 1276.68110号 尼尔·加尼;彼得·汉考克;德克·帕丁森 5 2006 混合自动机的表示语义。 Zbl 1168.68417号 阿巴斯·埃达拉特;德克·帕丁森 4 2006 无界向量场初值问题的区域理论解。 兹比尔1273.65097 阿巴斯·埃达拉特;德克·帕丁森 三 2006 超滤器扩展用于余代数。 Zbl 1151.03357号 库普克,C。;A.库尔兹。;帕丁森,D。 9 2005 有限秩的余代数模态逻辑。 Zbl 1135.18300号 亚历山大·库兹;德克·帕丁森 9 2005 多变量微分学的计算模型。 Zbl 1119.03062号 Edalat,A。;A.队长。;帕丁森,D。 5 2005 基于末端序列归纳的余代数表达逻辑。 Zbl 1088.03031号 德克·帕丁森 29 2004 代数语义的代数逻辑。 Zbl 1271.03031号 克莱门斯·库普克;亚历山大·库兹;德克·帕丁森 22 2004 模态逻辑的模块化结构。 Zbl 1099.03018号 科琳娜·科斯特;德克·帕丁森 11 2004 皮卡德定理的领域理论解释。 Zbl 1098.65078号 Edalat,A。;帕丁森,D。 4 2004 协代数模态逻辑:局部结果的稳健性、完备性和可判定性。 Zbl 1052.03009号 德克·帕丁森 42 2003 使组件移动:关注点分离方法。 Zbl 1254.68124号 德克·帕丁森;马丁·威尔辛 1 2003 为余代数翻译逻辑。 Zbl 1278.03095号 德克·帕丁森 1 2003 余代数模态逻辑中的语义原则。 兹比尔0976.68109 德克·帕丁森 17 2001 表达性导致了余代数的模态逻辑。 Zbl 0979.03508号 德克·帕丁森 5 2001 重写理论的模态逻辑。 Zbl 0965.03038号 德克·帕丁森 2 2000 关于余代数、余纤维和并发的注释。 Zbl 0963.18001号 亚历山大·库兹;德克·帕丁森 1 2000 所有引用出版物 前5名被引用出版物 全部的 前5名266位作者引用 25 德克·帕丁森 24 卢茨·施罗德 12 斯特凡·米利厄斯 11 克莱门斯·库普克 11 亚历山大·库兹 10 维尼马,伊德 8 科琳娜·科斯特 7 吉姆·德·格罗特 7 托尔斯滕·维曼 6 Bezhanishvili,尼克 6 Helle Hvid Hansen先生 6 巴托克·克林 6 比约恩·莱尔曼 6 朱里安·罗特 5 蝉蜕、阿加塔 5 Ernst-Erich Doberkat 5 阿巴斯·埃达拉特 5 一郎·哈索 5 威尔德,保罗 4 贝尔科娃,玛尔塔 4 托马斯·布伦戈斯 4 乌尔里希·多尔希 4 塞巴斯蒂安·恩奎斯特 4 阿明·法朱迪安 4 丹尼尔·豪斯曼 4 劳尔·安德烈斯·利尔 4 尼古拉·奥利维蒂 4 亚历山德拉·帕尔米吉亚诺 三 巴托斯·贝德纳西克 三 乌尔里希·伯杰 三 理查德·加纳 三 德克·霍夫曼 三 巴特·雅各布斯 三 约翰内斯·马蒂 三 蒂尔·莫萨科夫斯基 三 佩德罗·诺拉 三 Daniela Luan Petrisan 三 吉安·卢卡(Gian Luca),披萨 三 雷文莎·拉马纳亚克 三 克里斯托夫·舒伯特 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 阿达梅克,吉安尼 2 马克·艾吉尔 2 阿雷塞斯,卡洛斯 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 伊莎贝尔·布洛赫 2 菲利波·邦奇 2 奥利维尔·布瓦索 2 维南西奥·卡普雷塔 2 肯塔·乔 2 弗雷德里克·达尔奎斯特 2 Dostál,马锡 2 劳尔·费尔瓦里 2 谢尔盖·冈查洛夫 2 瓦伦丁·F·戈兰科。 2 拉杰夫·普拉巴卡尔·戈尔 2 海因氏胶 2 何安平 2 Toshiki Kataoka 2 胜本,Shin-ya 2 米查尔·科内奇 2 巴巴拉·科尼格 2 罗马库兹涅茨 2 保罗·布莱恩·利维 2 李毅然 2 马蒂厄·马特尔 2 德拉甘·马什乌洛维奇 2 何塞·梅塞盖尔·瓜伊塔 2 米卡·米查尔斯基,克里斯蒂娜 2 罗伯特·迈尔斯。 2 多米尼克·A·乌节。 2 马可·佩雷索蒂 2 大卫·J·派姆。 2 简·罗特 2 丹尼尔·施温克 2 塞凡·法特梅 2 亚历山德拉·席尔瓦 2 海宁·乌尔巴特 2 塔尔莫乌斯塔卢 2 汉斯·皮特·范·迪特马什 2 吉里韦莱比尔 2 吴金钊 2 杨世翰 2 奥克塔维奥萨帕塔 1 卡明·阿巴特 1 莫辛·曼沙德·阿巴斯 1 萨姆森·艾布拉姆斯基 1 莫伊塔巴·阿盖伊 1 阿米罗申·阿克巴尔·塔巴塔拜 1 亚历山德罗·阿尔迪尼 1 雷吉斯·阿伦达 1 亚伦·D·埃姆斯。 1 扎伊纳布·巴赫蒂亚里 1 巴尔塞纳斯,埃弗拉多 1 费伦茨·戈斯顿·巴塔 1 安纳托利·彼得罗维奇(AnatoliĭPetrovich) 1 伦茨·贝尔兹纳 1 贝内维特斯,马里奥·R·F·。 1 贝尼特斯·盖雷罗,埃德加德 1 哈什·贝哈尔 …还有166位作者 全部的 前5名33篇连载文章中引用 24 理论计算机科学 24 计算机科学中的逻辑方法 14 MSCS公司。计算机科学中的数学结构 12 信息与计算 7 Studia Logica公司 6 纯逻辑与应用逻辑年鉴 5 逻辑与代数程序设计杂志 4 ACM计算逻辑事务 4 程序设计中的逻辑和代数方法杂志 三 拓扑及其应用 三 自动推理杂志 三 应用的分类结构 三 泛逻辑 2 圣母院形式逻辑杂志 2 应用数学杂志 2 应用逻辑杂志 2 符号逻辑综述 1 信息学报 1 人工智能 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 符号逻辑杂志 1 逻辑科公报 1 订单 1 国际近似推理杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 计算系统理论 1 逻辑与逻辑哲学 1 非线性分析。混合动力系统 1 维斯特尼克·乌德穆茨科戈大学。马特马提卡。梅哈尼卡。Komp'yuternye Nauki公司 全部的 前5名22个领域被引用 154 计算机科学(68至XX) 149 数学逻辑和基础(03-XX) 46 范畴理论;同调代数(18-XX) 9 阶、格、有序代数结构(06-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 一般代数系统(08-XX) 4 一般拓扑结构(54至XX) 4 概率论与随机过程(60-XX) 三 系统论;控制(93至XX) 2 量子理论(81-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 结合环与代数(16-XX) 1 实际功能(26年X月X日) 1 复变量的函数(30年XX月) 1 常微分方程(34-XX) 1 动力系统和遍历理论(37至XX) 1 几何图形(51至XX) 1 凸和离散几何(52至XX) 1 差速器几何结构(53至XX) 1 整体分析,流形分析(58至XX) 1 数值分析(65-XX) 按年份列出的引文