编辑配置文件（在新选项卡中打开） 理查德·斯塔特曼 合著者距离 作者ID： statman.richard公司 发布日期： Rick，Statman先生;理查德·斯塔特曼;R·斯塔特曼。 更多。。。较少的 主页： https://www.cmu.edu/math/people/faculty/statman.html 外部链接： 管理程序·ResearchGate研究之门·数据库许可证 已编制索引的文档： 70出版物自1977年以来，包括1本书和1个附加arXiv预打印 1名编辑贡献·3进一步捐款 合著者： 24位合著者具有27联合出版物 977合著作者 全部的 前5名合著者 47 单作者的 7 贝内代托·恩特里吉拉 6 亨德里克·彼得·巴伦德雷格特 三 彼得·阿策尔 三 所罗门·费弗曼 2 约翰·伯吉斯。 2 马里奥·科普 2 戴维斯，马丁·戴维 2 基思·德夫林。 2 马里亚纽拉州Dezani-Ciancaglini 2 保罗·埃克洛夫。 2 赫伯特·B·恩德顿。 2 迈克尔·保罗·福曼 2 利奥·A·哈灵顿。 2 托马斯·杰赫。 2 伊斯坦·华什 2 亚历山大·凯克里斯。 2 霍华德·杰罗姆·凯斯勒 2 安德斯·容格森·科克 2 肯尼斯·库恩 2 安格斯·约翰·麦金太尔 2 迈克尔·麦凯 2 唐纳德·马丁。 2 迈克尔·达尔文·莫利 2 莫肖瓦基斯，伊安尼斯·尼古拉斯 2 杰弗里·布鲁斯，巴黎 2 安德鲁·波伦斯基 2 迈克尔·奥·拉宾。 2 Reyes，Gonzalo E。 2 鲁丁、玛丽·艾伦 2 赫尔穆特·施维赫滕贝格 2 Joseph R.Shönfield。 2 理查德·阿诺德·肖尔 2 斯蒂芬·G·辛普森。 2 克雷格·斯莫林斯基 2 基思·斯特罗扬（Keith D.Stroyan）。 2 安妮·斯杰尔普·特罗尔斯特拉 1 法比奥·阿莱西 1 肯尼思·乔恩·巴韦斯 1 凯特丽尔·比里 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 马克·贝泽姆 1 科拉多·伯姆 1 乍得·布朗·爱德华 1 马丁·邦德。 1 费利斯·卡多内 1 尼古拉斯·戈弗特·德布鲁因 1 Wil J.M.德克斯。 1 朱斯塔斯·迪勒 1 马丁·多德 1 Gilles Dowek 1 罗纳德·费金 1 菲奇，弗雷德里克·布伦顿 1 梅里克·弗斯特。 1 罗宾·甘迪。 1 西尔维娅·吉勒赞 1 保罗·C·吉尔摩。 1 约翰·古雷（John S.Gourlay）。 1 乔纳森·格罗斯。 1 威廉·冈瑟 1 弗兰克·哈雷 1 J.Roger欣德利 1 Furio Honsell 1 威廉·阿尔文·霍华德 1 约翰·T·卡恩斯。 1 扬·威廉·克鲁普 1 科曼斯，喀斯特 1 亚历山大·谢尔盖维奇·库齐切夫 1 约阿希姆·兰贝克 1 珍妮·雅克·利维 1 刘易斯，哈里·R。 1 朱塞佩·隆戈 1 大卫·梅雷迪斯 1 Gerd Mitschke先生 1 迈克尔·穆尔特加特 1 巴利亚特·纳伦德兰 1 安娜·帕兹托 1 弗兰克·芬宁 1 迈克尔·普兰霍尔特（Michael J.Plantholt）。 1 戈登·普洛金（Gordon D.Plotkin）。 1 加雷尔·波廷格 1 迈克尔·萨克斯（Michael E.Saks）。 1 路易斯·埃尔皮迪奥·桑奇斯 1 达娜·斯图尔特·斯科特 1 乔纳森·塞尔丁。 1 保拉·加布里埃拉·塞维利 1 丹尼斯·沙沙（Dennis E.Shasha）。 1 谢克曼，Jörg H。 1 巴威·乌尔兹琴 1 德克·范·达伦 1 维尼里，B。 1 阿尔伯特·维瑟 1 克里斯托弗·沃兹沃斯。 1 张凯忠 全部的 前5名系列 7 理论计算机科学 三 符号逻辑杂志 三 MSCS公司。计算机科学中的数学结构 三 计算机基础理论 三 计算机科学中的逻辑方法 2 信息处理信件 2 圣母院形式逻辑杂志 2 美国数学学会会刊 2 纯逻辑与应用逻辑年鉴 2 逻辑与数学基础研究 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 离散应用数学 1 离散数学 1 数理逻辑年鉴 1 信息和控制 1 计算机协会杂志 1 组合理论杂志。B系列 1 计算机与系统科学杂志 1 图论杂志 1 SIAM计算机杂志 1 加勒比海数学杂志 1 符号计算杂志 1 Indagationes Mathematicae公司。新系列 1 函数编程杂志 1 逻辑研究（伦敦） 1 逻辑观点 全部的 前5名字段 64 数学逻辑和基础（03-XX） 21 计算机科学（68至XX） 4 组合数学（05-XX） 三 范畴理论；同调代数（18-XX） 2 历史和传记（01-XX） 2 一般拓扑结构（54至XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 差分方程和函数方程（39至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 47出版物有被引用499中的次441文件 引用人▼ 年份▼ 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 直觉命题逻辑是多项式空间完备的。 Zbl 0411.03049号 理查德·斯塔特曼 68 1979 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 Zbl 1347.03001号 亨克·巴伦德雷格特;威尔·德克尔斯;理查德·斯塔特曼 55 2013 类型化的lambda-calculus不是初等递归。 Zbl 0411.03050号 R·斯塔特曼。 42 1979 逻辑关系和类型化\（\lambda\）-演算。 Zbl 0594.03006号 R·斯塔特曼。 40 1985 两类图的亏格分布。 Zbl 0669.05028号 梅里克·弗斯特。;乔纳森·格罗斯。;理查德·斯塔特曼 39 1989 关于函数依赖的Armstrong关系的结构。 兹比尔0629.68096 凯特丽尔·比里;马丁·多德;罗纳德·费金;理查德·斯塔特曼 37 1984 谓词演算中证明搜索和加速的界限。 Zbl 0411.03047号 理查德·斯塔特曼 34 1978 Herbrand定理的下限。 Zbl 0411.03048号 R·斯塔特曼。 33 1979 无序标记树之间的编辑距离。 Zbl 0780.68070号 张凯忠;Rick，Statman先生;丹尼斯，莎莎 32 1992 完整性、不变性和lambda可定义性。 Zbl 0487.03006号 R·斯塔特曼。 27 1982 数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。第二次打印。 Zbl 0443.03001号 14 1978 \（lambda）-可定义函数和（beta\eta）转换。 Zbl 0537.03009号 R·斯塔特曼。 14 1983 关于类型lambda演算中闭项的存在性Ⅱ：统一问题的变换。 Zbl 0486.03011号 R·斯塔特曼。 8 1981 Smullyan的百灵鸟组合词的单词问题是可以判定的。 Zbl 0663.03004号 Rick，Statman先生 7 1989 数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。重印。 Zbl 0528.03001号 7 1982 关于笛卡尔闭范畴的统一问题。 Zbl 0882.03044号 巴利亚特·纳伦德兰;弗兰克·芬宁;理查德·斯塔特曼 6 1997 关于组合方程的解集。 Zbl 0691.03005号 Rick，Statman先生 4 1989 关于由并发系统的压缩保持的属性。 兹比尔0402.68022 Gourlay，John S。;理查德·斯塔特曼 三 1979 求解更高类型的函数方程；一些例子和一些定理。 Zbl 0623.03018号 理查德·斯塔特曼 三 1986 一些不存在的组合子的例子。 Zbl 0795.03022号 Rick，Statman先生 三 1993 在（lambda\beta）-演算中，ω规则是（Pi_1^1）-完备的。 Zbl 1173.03010号 贝内代托·恩特里吉拉;理查德·斯塔特曼 三 2009 关于笛卡尔幺半群。 兹伯利0882.03063 Rick，Statman先生 三 1997 Böhm定理、Churchδ、数字系统和Ershov形态。 Zbl 1171.03310号 理查德·斯塔特曼;亨克·巴伦德雷格特 三 2005 图同构问题与正则图的合法甲板问题是多项式等价的。 Zbl 0531.05048号 弗兰克·哈雷;普兰霍尔特，M。;R·斯塔特曼。 三 1982 通过具有无限模型的理论加速。 Zbl 0469.03040号 R·斯塔特曼。 2 1981 无量词Horn公式推导的复杂性，显式定义的机械引入，以及完备性定理的完善。 Zbl 0441.03021号 R·斯塔特曼。 2 1977 Church的lambda delta演算。 Zbl 0988.03027号 Rick，Statman先生 2 2000 \（V\）-集的形态和分区。 Zbl 0934.03020号 Rick，Statman先生 2 1999 Plotkin-terms的应用：封闭项的分区和形态。 Zbl 0946.68022号 理查德·斯塔特曼;亨克·巴伦德雷格特 2 1999 关于lambda演算中可拓性的一些结果。 Zbl 1065.03014号 贝内代托·恩特里吉拉;理查德·斯塔特曼 2 2005 关于组合子的单词问题。 兹伯利0964.03013 Rick，Statman先生 2 2000 笛卡尔幺半群。 Zbl 1343.03047号 Rick，Statman先生 2 2010 Scott归纳法和\（\omega\）-sups下的闭包。 Zbl 0611.68008号 安娜·帕兹托;Rick，Statman先生 2 1986 关于\（\lambda Y\）演算。 Zbl 1068.03013号 Rick，Statman先生 2 2004 在隔阂面前平等。 兹伯利0414.03036 德克·范·达伦;R·斯塔特曼。 1 1979 关于合成有限机器复杂性的说明。 Zbl 0651.03029号 理查德·斯塔特曼 1 1987 有限自动机的交集问题。 Zbl 0668.68066号 迈克尔·萨克斯;Rick，Statman先生 1 1988 雅科皮尼定理的结果：一致的等式和方程。 Zbl 0931.03029号 Rick，Statman先生 1 1999 关于非类型化术语的多态类型。 Zbl 1328.03011号 Rick，Statman先生 1 2011 欧米茄规则在（lambda\beta）-演算中是\（\boldsymbol\Pi_{1}^{1}\）-完备的。 Zbl 1215.03024号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2007 Barendregt问题在感性（λ）理论上的求解。 Zbl 1127.03010号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2006 组合子的正常变体。 Zbl 0756.03010号 Rick，Statman先生 1 1992 具有副调制的输入分辨率的最坏情况指数下限。 Zbl 0484.68071号 R·斯塔特曼。 1 1980 co-N日志空间的一致性是完全的。 兹比尔0503.68031 刘易斯，哈里·R。;理查德·斯塔特曼 1 1982 只有一个对象的类别中的产品。 Zbl 1478.18005号 理查德·斯塔特曼 1 2021 Lambda理论允许具有有限个不动点的项。 Zbl 1423.03055号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2017 只有一个对象的类别中的产品。 Zbl 1478.18005号 理查德·斯塔特曼 1 2021 Lambda理论允许具有有限个不动点的项。 Zbl 1423.03055号 贝内代托·恩特里吉拉;理查德·斯坦曼 1 2017 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 Zbl 1347.03001号 亨克·巴伦德雷格特;威尔·德克尔斯;理查德·斯塔特曼 55 2013 关于非类型化术语的多态类型。 Zbl 1328.03011号 Rick，Statman先生 1 2011 笛卡尔幺半群。 Zbl 1343.03047号 Rick，Statman先生 2 2010 在（lambda\beta）-演算中，ω规则是（Pi_1^1）-完备的。 Zbl 1173.03010号 贝内代托·恩特里吉拉;理查德·斯塔特曼 三 2009 欧米茄规则在（lambda\beta）-演算中是\（\boldsymbol\Pi_{1}^{1}\）-完备的。 Zbl 1215.03024号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2007 Barendregt问题在感性（λ）理论上的求解。 Zbl 1127.03010号 贝内代托·恩特里吉拉;理查德·斯塔特曼 1 2006 Böhm定理、Churchδ、数字系统和Ershov形态。 Zbl 1171.03310号 理查德·斯塔特曼;亨克·巴伦德雷格特 三 2005 关于lambda演算中可拓性的一些结果。 兹伯利1065.03014 贝内代托·恩特里吉拉;理查德·斯塔特曼 2 2005 关于\（\lambda Y\）演算。 Zbl 1068.03013号 Rick，Statman先生 2 2004 Church的lambda delta演算。 Zbl 0988.03027号 Rick，Statman先生 2 2000 关于组合词的单词问题。 Zbl 0964.03013号 Rick，Statman先生 2 2000 \（V\）-集的形态和分区。 Zbl 0934.03020号 Statman，里克 2 1999 Plotkin-terms的应用：封闭项的分区和形态。 Zbl 0946.68022号 理查德·斯塔特曼;亨克·巴伦德雷格特 2 1999 Jacopini定理的结果：一致的等式和方程。 Zbl 0931.03029号 Rick，Statman先生 1 1999 关于笛卡尔闭范畴的统一问题。 Zbl 0882.03044号 巴利亚特·纳伦德兰;弗兰克·芬宁;理查德·斯塔特曼 6 1997 关于笛卡尔幺半群。 Zbl 0882.03063号 Rick，Statman先生 三 1997 一些不存在的组合子的例子。 Zbl 0795.03022号 Rick，Statman先生 三 1993 无序标记树之间的编辑距离。 Zbl 0780.68070号 张凯忠;Rick，Statman先生;丹尼斯·沙沙 32 1992 组合子的正常变体。 Zbl 0756.03010号 Rick，Statman先生 1 1992 两类图的亏格分布。 兹比尔0669.05028 梅里克·弗斯特。;乔纳森·格罗斯。;理查德·斯塔特曼 39 1989 Smullyan的百灵鸟组合词的单词问题是可以判定的。 Zbl 0663.03004号 Rick，Statman先生 7 1989 关于组合方程的解集。 Zbl 0691.03005号 Rick，Statman先生 4 1989 有限自动机的交集问题。 Zbl 0668.68066号 迈克尔·萨克斯;Rick，Statman先生 1 1988 关于合成有限机器的复杂性的一个注记。 Zbl 0651.03029号 理查德·斯塔特曼 1 1987 求解更高类型的函数方程；一些例子和一些定理。 Zbl 0623.03018号 理查德·斯塔特曼 三 1986 Scott归纳法和\（\omega\）-sups下的闭包。 Zbl 0611.68008号 安娜·帕兹托;Rick，Statman先生 2 1986 逻辑关系和类型化\（\lambda\）-演算。 Zbl 0594.03006号 R·斯塔特曼。 40 1985 关于函数依赖的Armstrong关系的结构。 Zbl 0629.68096号 凯特丽尔·比里;马丁·多德;罗纳德·费金;理查德·斯塔特曼 37 1984 \（\lambda\）-可定义函数和\（\beta\eta\）转换。 Zbl 0537.03009号 R·斯塔特曼。 14 1983 完整性、不变性和lambda可定义性。 Zbl 0487.03006号 R·斯塔特曼。 27 1982 数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。重印。 Zbl 0528.03001号 7 1982 图同构问题在多项式上等价于正则图的合法甲板问题。 兹伯利0531.05048 弗兰克·哈雷;普兰霍尔特，M。;R·斯塔特曼。 三 1982 co-N日志空间的一致性是完全的。 Zbl 0503.68031号 哈里·刘易斯。;理查德·斯塔特曼 1 1982 关于类型lambda演算中闭项的存在性Ⅱ：统一问题的变换。 Zbl 0486.03011号 R·斯塔特曼。 8 1981 通过具有无限模型的理论加速。 Zbl 0469.03040号 R·斯塔特曼。 2 1981 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 具有副调制的输入分辨率的最坏情况指数下限。 Zbl 0484.68071号 R·斯塔特曼。 1 1980 直觉命题逻辑是多项式空间完备的。 兹伯利0411.03049 理查德·斯塔特曼 68 1979 类型化的lambda-calculus不是初等递归。 Zbl 0411.03050号 R·斯塔特曼。 42 1979 Herbrand定理的下限。 Zbl 0411.03048号 R·斯塔特曼。 33 1979 关于由并发系统的压缩保持的属性。 Zbl 0402.68022号 约翰·古雷（John S.Gourlay）。;理查德·斯塔特曼 三 1979 在隔阂面前平等。 Zbl 0414.03036号 德克·范·达伦;R·斯塔特曼。 1 1979 谓词演算中证明搜索和加速的界限。 Zbl 0411.03047号 理查德·斯塔特曼 34 1978 数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。第二次打印。 Zbl 0443.03001号 14 1978 无量词Horn公式推导的复杂性，显式定义的机械引入，以及完备性定理的完善。 Zbl 0441.03021号 R·斯塔特曼。 2 1977 所有引用的出版物 前5名被引用出版物 全部的 前5名541位作者引用 21 理查德·斯塔特曼 16 乔纳森·格罗斯。 10 刘彦培 9 图菲克·曼苏尔 7 Akutsu、Tatsuya 7 马提亚斯·巴兹 7 陈一超 7 杰诺斯·德梅特罗维奇 7 贝内代托·恩特里吉拉 7 亚历山大·莱奇 7 托马斯·塔克。 6 斯特凡·赫兹尔 6 Atsuhiro Takasu 5 Samuel R.巴斯。 5 乌戈·达尔拉戈 5 爱德华·赫尔曼·海尔 5 朱利奥·曼佐内托 5 Tamura、Takeyuki 5 丹尼尔·利马·文图拉 5 张凯忠 4 桑德拉·阿尔维斯 4 让·H·盖利尔。 4 郝荣霞 4 迪莉娅·凯斯纳 4 扬·威廉·克鲁普 4 林克，塞巴斯蒂安 4 哈里·乔治·梅森 4 海基·曼尼拉 4 巴利亚特·纳伦德兰 4 安德鲁·波伦斯基 4 吉赛尔·赖斯 4 西尔万·萨尔瓦蒂 三 亨德里克·彼得·巴伦德雷格特 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 弗拉维恩·布鲁瓦特 三 萨宾·布罗达 三 陈剑儿 三 可口、蒂埃里 三 马里亚纽拉州Dezani-Ciancaglini 三 吉多·菲奥里诺 三 福川，大吉 三 列夫·戈迪夫 三 伊姆兰·汗。 三 小林直树 三 乌尔里希·威廉·科伦巴赫 三 简·克拉契克 三 丹尼尔·莱万特。 三 朱塞佩·隆戈 三 约翰·米切尔（John C.Mitchell）。 三 帕维尔·普德拉克 三 卡里·佐科 三 索尔·斯塔尔 三 保罗·塔劳 三 阿拉斯代尔·厄克哈特 三 万良霞 三 丹尼尔·韦勒（Daniel S.Weller）。 三 马雷克·扎昂克 2 萨姆森·艾布拉姆斯基 2 胡安·巴勃罗·阿奎莱拉 2 阿南塔拉曼，湿婆 2 Noriko H.Arai。 2 安德烈亚·阿斯佩蒂 2 毛里西奥·阿亚拉·林科恩 2 贾姆·拜泽里埃 2 佛朗哥·巴巴内拉 2 爱德华多·博内利 2 瓦尔省布雷祖·坦南 2 布鲁斯（Kim B.Bruce）。 2 大卫·M·塞尔纳。 2 汉斯·德·尼维尔 2 德奥利维拉（de Oliveira）、安若琳娜·格里西（Anjolina Grisi） 2 Ruy JoséGuerra Barretto De Queiroz 2 安纳托利·伊万诺维奇·德吉亚列夫 2 马蒂亚斯·德梅尔 2 乌戈·德利古罗 2 邓玉欣 2 科斯塔·多森 2 安德烈·杜登赫夫纳 2 塞巴斯蒂安·埃伯哈德 2 胡安·埃迪 2 Emmert-Streib，弗兰克 2 约尔格恩德鲁利斯 2 佐尔坦·埃西克 2 埃斯皮里托·桑托（Espírito Santo）、何塞·卡洛斯（JoséCarlos） 2 毛罗·法拉利 2 马塞洛·菲奥雷（Marcelo P.Fiore）。 2 佛罗伦萨，卡米洛 2 马里奥弗洛里多 2 西尔维娅·吉勒赞 2 萨穆埃莱吉劳多 2 尤里·古里维奇 2 Han、Yo-Sub 2 罗伯特·哈珀 2 阿加提·埃尔鲁 2 平田洋一 2 马丁·霍夫曼 2 杰拉德·P·休特。 2 Mirai池沼 2 杰斯珀·詹森 2 埃米尔·杰瓦贝克 …还有441位作者 全部的 前5名81篇连载文章中引用 68 理论计算机科学 40 纯逻辑与应用逻辑年鉴 26 信息与计算 14 计算机科学中的逻辑方法 13 符号逻辑杂志 12 MSCS公司。计算机科学中的数学结构 10 信息处理信件 9 自动推理杂志 9 数学逻辑档案 8 离散应用数学 8 离散数学 8 函数编程杂志 6 组合理论杂志。B系列 6 符号计算杂志 5 Studia Logica公司 5 符号逻辑公报 4 计算机与系统科学杂志 4 图与组合 4 ACM计算逻辑汇刊 三 人工智能 三 欧洲组合数学杂志 三 中国科学。系列A 三 Indagationes Mathematicae公司。新系列 三 逻辑、语言与信息杂志 三 应用非经典逻辑杂志 三 数学与人工智能年鉴 三 数学学报。英语系列 三 科学中国。数学 2 信息学报 2 计算机与数学及其应用 2 应用数学与计算 2 信息科学 2 哲学逻辑杂志 2 逻辑科公报 2 应用数学快报 2 国际计算机科学基础杂志 2 模式识别 2 计算复杂性 2 代数组合数学杂志 2 数学科学杂志（纽约） 2 高阶和符号计算 2 逻辑程序设计理论与实践 2 程序设计中的逻辑与代数方法杂志 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 模糊集与系统 1 国际计算机与信息科学杂志 1 代数杂志 1 图论杂志 1 苏联数学杂志 1 国家数学 1 圣母院形式逻辑杂志 1 美国数学学会会刊 1 合成 1 美国数学学会汇刊 1 控制论 1 算法 1 国际智能系统杂志 1 SIAM离散数学期刊 1 杰泰。实验与理论人工智能杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 俄罗斯数学 1 组合数学、概率与计算 1 数学逻辑季刊（MLQ） 1 组合数学电子杂志 1 约束条件 1 联合国证券交易所 1 科学计算与可视化 1 计算系统理论 1 软计算 1 组合优化期刊 1 美国医学会杂志 1 计算机基础理论 1 JMMA公司。数学建模与算法杂志 1 离散算法杂志 1 应用逻辑杂志 1 Oberwolfach报告 1 物理学杂志A：数学与理论 1 当代数学硕士 1 RAIRO公司。理论信息学及其应用 1 ACM计算理论汇刊 1 Logicheskie Issledovaniya公司 全部的 前5名在24个字段中引用 276 数学逻辑和基础（03-XX） 252 计算机科学（68至XX） 57 组合数学（05-XX） 15 阶、格、有序代数结构（06-XX） 15 范畴理论；同调代数（18-XX） 4 流形和细胞复合体（57至XX） 4 运筹学、数学规划（90-XX） 4 信息和通信理论，电路（94-XX） 三 总体主题；集合（00-XX） 三 一般代数系统（08-XX） 2 数论（11-XX） 2 群论与推广（20-XX） 2 复变量的函数（30年XX月） 2 欧氏空间的调和分析（42至XX） 2 一般拓扑结构（54至XX） 2 生物学和其他自然科学（92-XX） 1 历史和传记（01-XX） 1 差分方程和函数方程（39至XX） 1 凸和离散几何（52至XX） 1 代数拓扑（55-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 系统论；控制（93至XX） 按年份列出的引文