编辑配置文件(在新选项卡中打开) 马丁·邦德。 合著者距离 作者ID: bunder.martin-w 发布日期: M.W.邦德。;马丁·邦德;马丁·邦德。;M.邦德。 更多。。。较少的 已编制索引的文档: 138出版物自1970年以来,包括2个附加arXiv预打印 3作为编辑的贡献·1进一步贡献 审查活动: 200条评论 合著者: 26位合著者具有45联合出版物 702联合作者 全部的 前5名合著者 96 单作者的 12 基思·托格内蒂(Keith P.Tognetti)。 9 布鲁斯·贝茨 9 约瑟夫·托尼恩 7 Wil J.M.德克斯。 4 亨德里克·彼得·巴伦德雷格特 4 J.Roger欣德利 4 迈耶,罗伯特·肯尼斯 4 乔纳森·塞尔丁。 2 彼得·尼克拉斯 2 阿卜杜拉·尼塔吉 2 威利·苏西洛 1 彼得·阿策尔 1 罗伯特·斯科特·安德森 1 莫华·班纳吉 1 科拉多·伯姆 1 查克拉博蒂,米希尔·库马尔 1 马里奥·科普 1 尼古拉斯·戈弗特·德布鲁因 1 德胡格,弗兰克·罗伯特 1 马里亚纽拉州Dezani-Ciancaglini 1 贾斯图斯·迪勒 1 所罗门·费弗曼 1 菲奇,弗雷德里克·布伦顿 1 罗宾·甘迪。 1 简·赫尔曼·盖弗斯 1 保罗·吉尔摩。 1 Chandra M.古拉蒂。 1 威廉·阿尔文·霍华德 1 大卫·劳伦斯·约翰逊 1 约翰·T·卡恩斯。 1 Kim、Ann Chi 1 扬·威廉·克鲁普 1 科曼斯,喀斯特 1 亚历山大·谢尔盖维奇·库齐切夫 1 约阿希姆·兰贝克 1 珍妮·雅克·利维 1 朱塞佩·隆戈 1 诺曼·D·梅吉尔。 1 大卫·梅雷迪斯 1 Gerd Mitschke先生 1 小泽武雄 1 戈登·普洛金(Gordon D.Plotkin)。 1 加雷尔·波廷格 1 劳伦斯·鲍尔斯。 1 里兹卡拉,R.M。 1 路易斯·埃尔皮迪奥·桑奇斯 1 达娜·斯图尔特·斯科特 1 约翰·斯莱尼。 1 理查德·斯塔特曼 1 彼得·特里格 1 维内里,B。 1 阿尔伯特·维瑟 1 克里斯托弗·沃兹沃思。 1 格伦·惠勒(Glen E.Wheeler)。 全部的 前5名系列 22 圣母院形式逻辑杂志 12 符号逻辑杂志 8 斐波纳契季刊 7 理论计算机科学 6 Archive für Mathematische Logik und Grundlagenforschung公司 5 逻辑与分析。新Série 4 数学研讨会笔记 4 《澳大拉西亚逻辑杂志》 三 澳大利亚数学学会公报 三 澳大利亚数学学会公报 三 日本数学 三 Studia Logica公司 三 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 三 欧洲组合数学杂志 三 符号逻辑公报 三 逻辑科公报 2 离散数学 2 逻辑科公报 2 《数学学报》(Acta Mathematica Academiae Paedagogicae Nyíregyháziensis)。新系列 2 整数 2 应用分析与离散数学 1 数学公报 1 Indagationes数学 1 数论杂志 1 爱丁堡数学学会会刊。系列II 1 哥伦比亚Matemáticas评论 1 自动推理杂志 1 数学逻辑档案 1 逻辑、语言和信息杂志 1 代数集刊 1 IGPL杂志 1 Ramanujan杂志 1 IGPL逻辑杂志 1 RIMS Kokyuroku公司 1 数学科学 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 统计理论与实践杂志 1 远东数学教育杂志 1 马来西亚数学科学杂志 全部的 前5名字段 103 数学逻辑和基础(03-XX) 23 数论(11-XX) 9 阶、格、有序代数结构(06-XX) 4 历史和传记(01-XX) 4 组合数学(05-XX) 4 计算机科学(68至XX) 4 信息与通信理论、电路(94-XX) 2 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 结合环与代数(16-XX) 1 非结合环和代数(17-XX) 1 群论与推广(20-XX) 1 特殊功能(33至XX) 1 动力系统和遍历理论(37至XX) 1 序列、级数、可和性(40-XX) 1 算子理论(47-XX) 1 统计学(62-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 70出版物有被引用201中的次132文件 引用人▼ 年份▼ 致H.B.Curry:关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 连接Calkin-Wilf和Stern-Brocot树。 Zbl 1209.05045号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 17 2010 在Stern-Brocot树中查找术语。 Zbl 1221.05037号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 10 2010 对RSA密码系统三种变体的新攻击。 Zbl 1346.94094号 马丁·邦德;阿卜杜拉·尼塔吉;威利·苏西洛;约瑟夫·托尼恩 9 2016 使用\({\mathbf B}\)、\({\ mathbf B}^\prime)和friends进行组合抽象。 Zbl 0838.03012号 彼得·特里格;J.Roger欣德利;马丁·邦德。 7 1994 对RSA型密码系统的广义攻击。 Zbl 1419.94031号 马丁·邦德;阿卜杜拉·尼塔吉;威利·苏西洛;约瑟夫·托尼恩 7 2017 一些粗略的结果逻辑及其相互关系。 Zbl 1170.03334号 马丁·邦德。;莫华·班纳吉;米希尔·K·查克拉博蒂。 6 2008 一些演绎组合逻辑系统的弱绝对一致性证明。 Zbl 0527.03003号 邦德,M.W。 6 1983 基于高阶谓词演算的单公理集理论。 Zbl 0537.03010号 M.W.邦德。 6 1983 组合子、BCK逻辑和BCK代数的结果。 兹比尔0574.03004 M.W.邦德。;梅耶,R.K。 6 1985 高斯图和Stern-Brocot树之间的链接。 Zbl 1119.11008号 布鲁斯·贝茨;马丁·邦德;托格尼蒂,基思 5 2006 推理组合逻辑中的一些一致性证明和不一致性证明的一个特征。 Zbl 0614.03015号 M.W.邦德。 4 1987 实现组合逻辑的“傻瓜模型”。 Zbl 0749.03007号 罗伯特·梅耶(Robert K.Meyer)。;马丁·邦德。;劳伦斯·鲍尔斯 4 1991 使用负Fibonacci数的Zeckendorf表示。 Zbl 0751.11007号 M.W.邦德。 4 1992 基于组合逻辑的各种集合论系统。 Zbl 0212.02505号 M.W.邦德。 4 1974 BCK和相关代数及其相应的逻辑。 Zbl 0558.03033号 M.W.邦德。 4 1983 蕴涵逻辑的证明算法。 Zbl 0972.03022号 M.W.邦德。 4 2000 Zeckendorf表示法和黄金序列。 Zbl 0734.11016号 马丁·邦德;基思·托格内蒂 4 1991 Lambda术语可定义为组合词。 兹比尔0868.03008 M.W.邦德。 4 1996 一个新的亚协调逻辑层次。 Zbl 0446.03020号 马丁·邦德。 三 1980 不受限制的理解公理导致不一致或琐碎的陈词滥调。 Zbl 0623.03048号 M.W.邦德。 三 1986 推理组合逻辑中的自然数。 Zbl 0612.03012号 M.W.邦德。 三 1985 关于二进制反射格雷码和函数。 兹比尔1211.94051 马丁·邦德。;基思·托格内蒂(Keith P.Tognetti)。;格伦·惠勒(Glen E.Wheeler)。 三 2008 一个限制普遍性的演绎定理。 Zbl 0197.28204号 M.W.邦德。 三 1973 基于组合逻辑的命题和谓词演算。 Zbl 0212.02504号 M.W.邦德。 三 1974 任意高阶有限阶谓词演算。 Zbl 0528.03005号 M.W.邦德。 三 1983 一阶命题演算和谓词演算的完整推理组合逻辑系统。 Zbl 0791.03006号 亨克·巴伦德雷格特;马丁·邦德;威尔·德克尔斯 三 1993 连分数和高斯映射。 Zbl 1102.11006号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 三 2005 具有更自由规则的纯类型系统。 Zbl 0997.03014号 马丁·邦德;威尔·德克尔斯 三 2001 Klop反例对Church-Roser性质的一个扩展,对其他有序对组合子的\(\lambda\)-演算。 Zbl 0601.0302号 M.W.邦德。 三 1985 折纸顺序中的镜像和交错。 Zbl 1265.11018号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 2 2010 推理组合逻辑中规则系统与公理系统的等价性。 Zbl 0349.02020号 M.W.邦德。 2 1977 斯科特模型和推理组合逻辑。 兹比尔0349.02021 M.W.邦德。 2 1979 推理组合逻辑中的一致性概念。 Zbl 0382.03013号 M.W.邦德。 2 1978 关于类似于(mathcal F^*{21})的系统的不一致性。 Zbl 0394.03022号 M.W.邦德。;梅耶,R.K。 2 1978 推理组合逻辑中的一个悖论。 Zbl 0185.02504号 M.W.邦德。 2 1970 \(\lambda\)-演算中的变量绑定项运算符。 Zbl 0407.03022号 M.W.邦德。 2 1979 等式谓词演算中的集合论。 Zbl 0537.03011号 M.W.邦德。 2 1983 对Turner的括号抽象算法进行了一些改进。 Zbl 0714.03013号 M.W.邦德。 2 1990 BCI-代数上Iséki问题的答案。 Zbl 0545.03041号 M.W.邦德。 2 1983 浓缩分离的简化形式。 Zbl 0837.03010号 邦德,M.W。 2 1995 一阶命题演算和谓词演算的两个推理组合逻辑系统的完备性。 Zbl 0908.03016号 威尔·德克尔斯;马丁·邦德;Barendregt,Henk(亨克,巴伦德雷特) 2 1998 纯类型系统和演绎组合逻辑系统之间的等价性。 Zbl 1081.03015号 M.W.邦德。;德克斯,W.J.M。 2 2005 lambda-terms和组合词及其逻辑的交集类型。 Zbl 1022.03005号 马丁·邦德 2 2002 基于组合逻辑的命题和谓词演算。 Zbl 0272.02045号 M.W.邦德。 2 1974 两个调和连分式的闭式表达式。 Zbl 1506.11012号 马丁·邦德;约瑟夫·托尼恩 2 2017 基于连分数的RSA密码系统的新攻击。 Zbl 1527.94025号 M.邦德。;J.托尼恩。 2 2017 (mathfrak J^*{2\,1})中受限制的受试者的平等。 Zbl 0422.03002号 M.W.邦德。 1 1978 没有等式作为基本谓词的演绎组合逻辑。 Zbl 0452.03008号 M.W.邦德。 1 1982 Martin-Löf型理论中可能的评价或约简形式。 Zbl 0612.03007号 M.W.邦德。 1 1985 演绎组合逻辑与纯类型系统之间的等价性。 Zbl 0937.03021号 M.W.邦德。;德克斯,W.J.M。;杰弗斯,J.H。 1 1997 与Meyer-Routley系统(B^+\)相关的交集型系统和逻辑。 Zbl 1048.03012号 马丁·邦德 1 2003 推理组合逻辑中的一些矛盾。 Zbl 0299.02031 邦德,M.W。 1 1974 包含组合子K的系统的广义Kleene-Rosser佯谬。 Zbl 0197.28203号 M.W.邦德。 1 1973 霍拉达姆的无理职能和权力。 Zbl 1303.11027号 马丁·邦德。 1 2012 BCK-代数的更简单公理以及公理与组合子B、C和K之间的联系。 Zbl 0473.03063号 M.W.邦德。 1 1981 弱蕴涵逻辑的演绎定理。 Zbl 0536.03001号 M.W.邦德。 1 1982 基于组合逻辑的高阶谓词演算中的重叠类型。 Zbl 0698.03005号 M.W.邦德。 1 1989 BCK逻辑和代数的一些结果的修正。 Zbl 0729.03007号 M.W.邦德。 1 1988 推理组合逻辑中的无条件连接。 Zbl 0557.03008号 M.W.邦德。 1 1984 组合逻辑和经典类型的lambda演算。 Zbl 0856.03014号 M.W.邦德。 1 1992 关于组合逻辑中弱等式的加法。 Zbl 0702.03007号 马丁·邦德。;J.Roger欣德利。;乔纳森·塞尔丁。 1 1989 较弱\(D\)-完整逻辑。 Zbl 0845.03010号 诺曼·D·梅吉尔。;马丁·邦德。 1 1996 命题作为类型的完备性将直觉逻辑解释为推理组合逻辑。 Zbl 0947.03018号 威尔·德克尔斯;马丁·邦德;亨克·巴伦德雷格特 1 1998 Aczel-Feferman逻辑和集合论的一些结果。 Zbl 0496.03034号 M.W.邦德。 1 1982 Stern-Brocot树中的Child加法。 Zbl 1246.11017号 布鲁斯·贝茨;马丁·邦德;托格尼蒂,基思 1 2012 关于\([j\tau]\)的自匹配性质。 Zbl 0991.11006号 马丁·邦德;基思·托格内蒂 1 2001 在折叠中指向。 Zbl 1498.11025号 马丁·邦德;基思·托格内蒂;布鲁斯·贝茨 1 2022 纳尔逊补充之字形测试发出失控信号的概率。 Zbl 1420.62508号 大卫·格里菲斯;马丁·邦德;钱德拉·古拉蒂;小泽武雄 1 2010 关于调和连分数。 Zbl 1464.11014号 马丁·邦德;彼得·尼克拉斯;约瑟夫·托尼恩 1 2019 在折叠中指向。 Zbl 1498.11025号 马丁·邦德;基思·托格内蒂;布鲁斯·贝茨 1 2022 关于调和连续分数。 Zbl 1464.11014号 马丁·邦德;彼得·尼克拉斯;约瑟夫·托尼恩 1 2019 对RSA类型密码系统的一种广义攻击。 Zbl 1419.94031号 马丁·邦德;阿卜杜拉·尼塔吉;威利·苏西洛;约瑟夫·托尼恩 7 2017 两个调和连分式的闭式表达式。 Zbl 1506.11012号 马丁·邦德;约瑟夫·托尼恩 2 2017 基于连分数的RSA密码系统的新攻击。 Zbl 1527.94025号 M.邦德。;J.托尼恩。 2 2017 对RSA密码系统三种变体的新攻击。 Zbl 1346.94094号 马丁·邦德;阿卜杜拉·尼塔吉;威利·苏西洛;约瑟夫·托尼恩 9 2016 霍拉达姆的无理职能和权力。 Zbl 1303.11027号 马丁·邦德。 1 2012 Stern-Brocot树中的Child加法。 Zbl 1246.11017号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 1 2012 连接Calkin-Wilf和Stern-Brocot树。 Zbl 1209.05045号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 17 2010 在Stern-Brocot树中查找术语。 Zbl 1221.05037号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 10 2010 折纸顺序中的镜像和交错。 Zbl 1265.11018号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 2 2010 纳尔逊补充之字形测试发出失控信号的概率。 Zbl 1420.62508号 大卫·格里菲斯;马丁·邦德;古拉蒂,钱德拉;小泽武雄 1 2010 一些粗略的结果逻辑及其相互关系。 Zbl 1170.03334号 马丁·邦德。;莫华·班纳吉;米希尔·K·查克拉博蒂。 6 2008 关于二进制反射格雷码和函数。 Zbl 1211.94051号 马丁·邦德。;基思·托格内蒂(Keith P.Tognetti)。;格伦·惠勒(Glen E.Wheeler)。 三 2008 高斯图和Stern-Brocot树之间的链接。 Zbl 1119.11008号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 5 2006 连分数和高斯映射。 Zbl 1102.11006号 布鲁斯·贝茨;马丁·邦德;基思·托格内蒂 三 2005 纯类型系统和演绎组合逻辑系统之间的等价性。 Zbl 1081.03015号 M.W.邦德。;德克斯,W.J.M。 2 2005 与Meyer-Routley系统(B^+\)相关的交叉口类型系统和逻辑。 Zbl 1048.03012号 马丁·邦德 1 2003 lambda项和组合子的交集类型及其逻辑。 Zbl 1022.03005号 马丁·邦德 2 2002 具有更自由规则的纯类型系统。 Zbl 0997.03014号 马丁·邦德;威尔·德克尔斯 三 2001 关于\([j\tau]\)的自匹配性质。 Zbl 0991.11006号 马丁·邦德;基思·托格内蒂 1 2001 蕴涵逻辑的证明算法。 兹伯利0972.03022 M.W.邦德。 4 2000 一阶命题演算和谓词演算的两个推理组合逻辑系统的完备性。 Zbl 0908.03016号 威尔·德克尔斯;马丁·邦德;亨克·巴伦德雷格特 2 1998 命题作为类型的完备性将直觉逻辑解释为推理组合逻辑。 Zbl 0947.03018号 威尔·德克尔斯;马丁·邦德;亨克·巴伦德雷格特 1 1998 演绎组合逻辑与纯类型系统之间的等价性。 Zbl 0937.03021号 M.W.邦德。;德克斯,W.J.M。;杰弗斯,J.H。 1 1997 Lambda术语可定义为组合词。 Zbl 0868.03008号 M.W.邦德。 4 1996 较弱\(D\)-完整逻辑。 Zbl 0845.03010号 诺曼·D·梅吉尔。;马丁·邦德。 1 1996 浓缩分离的简化形式。 Zbl 0837.03010号 邦德,M.W。 2 1995 使用\({\mathbf B}\)、\({\ mathbf B}^\prime)和friends进行组合抽象。 Zbl 0838.03012号 彼得·特里格;J.Roger欣德利;马丁·邦德。 7 1994 一阶命题和谓词演算的推理组合逻辑系统。 Zbl 0791.03006号 亨克·巴伦德雷格特;马丁·邦德;威尔·德克尔斯 三 1993 使用负Fibonacci数的Zeckendorf表示。 Zbl 0751.11007号 邦德,M.W。 4 1992 组合逻辑和经典类型的lambda演算。 Zbl 0856.03014号 M.W.邦德。 1 1992 实现组合逻辑的“傻瓜模型”。 Zbl 0749.03007号 罗伯特·梅耶(Robert K.Meyer)。;马丁·邦德。;劳伦斯·鲍尔斯 4 1991 Zeckendorf表示法和黄金序列。 Zbl 0734.11016号 马丁·邦德;基思·托格内蒂 4 1991 对Turner的括号抽象算法进行了一些改进。 Zbl 0714.03013号 M.W.邦德。 2 1990 基于组合逻辑的高阶谓词演算中的重叠类型。 Zbl 0698.03005号 M.W.邦德。 1 1989 关于组合逻辑中弱等式的加法。 Zbl 0702.03007号 马丁·邦德。;J.Roger欣德利。;乔纳森·塞尔丁。 1 1989 BCK逻辑和代数的一些结果的修正。 Zbl 0729.03007号 M.W.邦德。 1 1988 推理组合逻辑中的一些一致性证明和不一致性证明的一个特征。 Zbl 0614.03015号 M.W.邦德。 4 1987 重言式,具有无限制理解公理,导致不一致或琐碎。 Zbl 0623.03048号 邦德,M.W。 三 1986 组合子、BCK逻辑和BCK代数的结果。 Zbl 0574.03004号 M.W.邦德。;梅耶,R.K。 6 1985 推理组合逻辑中的自然数。 Zbl 0612.03012号 邦德,M.W。 三 1985 将Klop的反例推广到Church-Rosser性质,使之成为具有其他有序对组合子的\(lambda \)-演算。 Zbl 0601.0302号 M.W.邦德。 三 1985 Martin-Löf型理论中可能的评价或约简形式。 Zbl 0612.03007号 M.W.邦德。 1 1985 推理组合逻辑中的无条件连接。 Zbl 0557.03008号 M.W.邦德。 1 1984 一些演绎组合逻辑系统的弱绝对一致性证明。 Zbl 0527.03003号 M.W.邦德。 6 1983 基于高阶谓词演算的单公理集理论。 Zbl 0537.03010号 M.W.邦德。 6 1983 BCK和相关代数及其相应的逻辑。 Zbl 0558.03033号 M.W.邦德。 4 1983 任意高阶有限阶谓词演算。 Zbl 0528.03005号 M.W.邦德。 三 1983 等式谓词演算中的集合论。 Zbl 0537.03011号 M.W.邦德。 2 1983 BCI-代数上Iséki问题的答案。 兹伯利0545.03041 M.W.邦德。 2 1983 没有等式作为基本谓词的演绎组合逻辑。 Zbl 0452.03008号 M.W.邦德。 1 1982 弱蕴涵逻辑的演绎定理。 Zbl 0536.03001号 M.W.邦德。 1 1982 Aczel-Feferman逻辑和集合论中的一些结果。 Zbl 0496.03034号 M.W.邦德。 1 1982 BCK-代数的更简单公理以及公理与组合子B、C和K之间的联系。 兹伯利0473.03063 M.W.邦德。 1 1981 致H.B.Curry:关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 一个新的亚协调逻辑层次。 Zbl 0446.03020号 马丁·邦德。 三 1980 斯科特模型和推理组合逻辑。 Zbl 0349.02021号 M.W.邦德。 2 1979 \(\lambda\)-演算中的变量绑定项运算符。 Zbl 0407.03022号 M.W.邦德。 2 1979 推理组合逻辑中的一致性概念。 Zbl 0382.03013号 M.W.邦德。 2 1978 关于类似于(mathcal F^*{21})的系统的不一致性。 Zbl 0394.03022号 M.W.邦德。;梅耶,R.K。 2 1978 (mathfrak J^*{2\,1})中受限制的受试者的平等。 Zbl 0422.03002号 M.W.邦德。 1 1978 推理组合逻辑中规则系统与公理系统的等价性。 Zbl 0349.02020号 M.W.邦德。 2 1977 基于组合逻辑的集合论的各种系统。 Zbl 0212.02505号 M.W.邦德。 4 1974 基于组合逻辑的命题和谓词演算。 Zbl 0212.02504号 邦德,M.W。 三 1974 基于组合逻辑的命题和谓词演算。 Zbl 0272.02045号 M.W.邦德。 2 1974 推理组合逻辑中的一些矛盾。 Zbl 0299.02031 M.W.邦德。 1 1974 限制一般性的一个演绎定理。 Zbl 0197.28204号 M.W.邦德。 三 1973 包含组合子K的系统的广义Kleene-Rosser佯谬。 Zbl 0197.28203号 M.W.邦德。 1 1973 推理组合逻辑中的一个悖论。 Zbl 0185.02504号 M.W.邦德。 2 1970 所有引用出版物 前5名被引用出版物 全部的 前5名136位作者引用 33 马丁·邦德。 8 约瑟夫·托尼恩 6 布鲁斯·贝茨 6 阿卜杜拉·尼塔吉 6 基思·托格内蒂(Keith P.Tognetti)。 5 萨宾·布罗达 5 威利·苏西洛 4 川、外丰 4 Wil J.M.德克斯。 4 Sachio Hirokawa 三 比姆博,卡塔林 三 查克拉博蒂,米希尔·库马尔 三 路易斯·达马斯 三 梅尔文·伯纳德·内森森 2 Dhroova Aiylam公司 2 桑德拉·阿尔维斯 2 亨德里克·彼得·巴伦德雷格特 2 汉·桑迪 2 J.Roger欣德利 2 何惠玲 2 劳埃德·亨伯斯通 2 朱利安·勒罗伊 2 图菲克·曼苏尔 2 阿丽亚娜·马苏达(Ariane M.Masuda)。 2 迈耶,罗伯特·肯尼斯 2 彼得·尼克拉斯 2 潘彦斌 2 莱昂内尔·蓬顿 2 米歇尔·里戈 2 苏珊·罗杰森 2 普拉克萨曼塔 2 乔纳森·塞尔丁。 2 杰弗里·奥特洛·沙利特 2 Shan、Sonja Linghui 2 辛格、萨提亚南德 2 马诺·斯蒂普兰蒂 2 约翰·泰尔(Johann A.Thiel)。 2 Hanna Uscka-Wehlou 2 文森特·瓦尼诺夫斯基 1 马可·阿布拉特 1 哈坎·艾拉尔 1 斯特凡诺·巴贝罗 1 菲利普·贝斯纳德 1 洛伦佐·贝蒂尼 1 沃尔夫冈·比贝尔 1 维维亚娜·博诺 1 辛齐亚·博诺托 1 阿尔多·布雷森 1 迈克尔·凯 1 翁贝托·塞鲁蒂 1 阿诺普·查图尔维迪 1 康塔索·维维尔(Contassot-Vivier,Sylvain) 1 Jean-François Couchot 1 皮埃尔·卢伊斯·居里 1 库卡斯·扎伊卡 1 Da Costa、Newton Carneiro Affonso 1 德弗里杰尔,R.C。 1 阿舒托什·库马尔·杜比 1 杜德克(Dudek,Wiesław Aleksander) 1 乔恩·迈克尔·邓恩 1 所罗门·费弗曼 1 冯燕松 1 乔·菲利佩·费雷拉 1 马塞洛·芬格 1 迈克尔·加巴伊(Michael J.Gabbay)。 1 默多克·詹姆斯·加贝 1 贾塞克·吉伯特 1 杰克·格雷弗(Jack E.Graver)。 1 顾、大武 1 Chandra M.古拉蒂。 1 塞雷塞·哈丁 1 海姆,皮尔雷·科里尔 1 胡磊 1 Fairouz D.卡马雷丁。 1 塔尼亚·霍瓦诺娃 1 埃姆拉基利克 1 扬·威廉·克鲁普 1 小森,Yuichi 1 阿里·科尔迪 1 诺亚·克拉维茨 1 克里斯蒂安森,拉尔斯 1 Noboru Kunihiro 1 塞巴斯蒂安·拉贝 1 埃尔斯·莱恩斯 1 塞莱斯汀·勒勒 1 哈坎·伦纳斯塔德 1 贾纳,莱普索娃 1 蒂姆·莱顿 1 廖方毅 1 安德烈亚斯·洛赫比勒 1 朱塞佩·隆戈 1 鲁、姚 1 马明辉 1 埃德温·D·马雷斯。 1 Mbah,Martial L.Ndeffo先生 1 诺曼·D·梅吉尔。 1 亚历山大·门德斯 1 克里斯·莫滕森 1 艾哈迈德·穆萨维 1 萨利苏·穆塔里 …还有36位作者 全部的 前5名48篇连载文章中引用 17 理论计算机科学 13 符号逻辑杂志 6 Archive für Mathematische Logik und Grundlagenforschung公司 5 Studia Logica公司 5 整数 5 国际数论杂志 4 圣母院形式逻辑杂志 4 应用逻辑杂志 三 澳大利亚数学学会公报 三 离散应用数学 三 离散数学 三 哲学逻辑杂志 三 欧洲组合数学杂志 2 纯粹逻辑与应用逻辑年鉴 2 国际近似推理杂志 2 MSCS公司。计算机科学中的数学结构 2 RAIRO公司。理论信息学及其应用 1 美国数学月刊 1 信息处理信件 1 数学杂志 1 数学信使 1 斐波纳契季刊 1 组合理论杂志。系列A 1 计算与应用数学杂志 1 数论杂志 1 斯洛伐克数学 1 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 1 逻辑历史与哲学 1 订单 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 国际智能系统杂志 1 理论概率杂志 1 设计、代码和密码 1 模式识别 1 波兰科学院数学公报 1 数学逻辑档案 1 函数编程杂志 1 符号逻辑公报 1 Ramanujan杂志 1 离散数学科学与密码学杂志 1 泛逻辑 1 统计理论与实践杂志 1 符号逻辑述评 1 数学 1 代数 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在15个字段中引用 67 数学逻辑和基础(03-XX) 35 计算机科学(68至XX) 32 数论(11-XX) 19 组合数学(05-XX) 13 信息与通信理论、电路(94-XX) 5 阶、格、有序代数结构(06-XX) 2 范畴理论;同调代数(18-XX) 2 群论与推广(20-XX) 2 测量和集成(28-XX) 1 一般代数系统(08-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 差分和函数方程(39至XX) 1 统计学(62-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文