编辑配置文件（在新选项卡中打开） 希拉·格雷巴赫。 合著者距离 作者ID： 格雷巴赫·谢拉-a 发布日期： S.A.格雷巴赫。;希拉·格雷巴赫。;格雷巴赫，S。;希拉·格雷巴赫;格雷巴赫，Sh.A。 更多。。。较少的 已编制索引的文档： 75出版物自1963年起，包括3本书 合著者： 16位合著者具有37联合出版物 380位合作作者 全部的 前5名合著者 38 单作者的 13 西摩金斯堡 9 书，罗纳德·弗农 5 艾米丽·弗里德曼（Emily P.Friedman）。 4 约翰·爱德华·霍普克罗夫特。 三 杰克·W·卡莱尔。 三 阿扎里亚·巴兹 三 西莉亚·沃瑟尔 2 埃文，西蒙 2 乔纳森·戈德斯汀 2 哈里森，迈克尔·A。 2 吉恩·奥特 2 JoséD.P.罗利姆。 2 本·威格布雷特 1 奥斯卡·H·伊巴拉。 1 史伟平 1 沙伊·西蒙森 全部的 前5名系列 13 计算机与系统科学杂志 10 信息和控制 7 计算机协会杂志 4 数学系统理论 4 RAIRO，Informatique Théorique公司 4 理论计算机科学 三 信息处理信件 三 SIAM计算机杂志 2 电气电子工程师学会计算机期刊 2 计算机科学课堂讲稿 1 信息学报 1 计算机历史年鉴 1 离散数学 1 国际计算机与信息科学杂志 1 Kiberneticheskiĭ斯博尼克。诺瓦亚·塞里亚 1 美国数学学会回忆录 1 美国数学学会会刊 1 ACM通信 1 RAIRO公司。Informatique Théorique et Applications公司 全部的 前5名领域 59 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 2 生物学和其他自然科学（92-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 65出版物有被引用1526次875文件 引用人▼ 年份▼ 盲和部分盲单向多计数器的备注。 Zbl 0389.68030号 S.A.格雷巴赫。 109 1978 抽象语系研究。 兹比尔0194.31402 西摩金斯堡;希拉·格雷巴赫;约翰·霍普克罗夫特 96 1969 确定性上下文无关语言。 Zbl 0145.00802号 南卡罗来纳州金斯堡。;格雷巴赫，S。 92 1966 单向堆栈自动机。 Zbl 0171.14803号 西摩金斯堡;希拉·格雷巴赫。;迈克尔·哈里森（Michael A.Harrison）。 90 1967 无上下文短语结构文法的一个新的范式定理。 Zbl 0135.18404号 S.A.格雷巴赫。 62 1965 最难的无上下文语言。 Zbl 0278.68073号 希拉·格雷巴赫。 62 1973 检查自动机和单向堆栈语言。 Zbl 0174.02702号 格雷巴赫，S。 59 1969 AFL负责人。 Zbl 0198.03102号 南卡罗来纳州金斯堡。;格雷巴赫，S。 54 1970 分散的上下文语法。 Zbl 0174.02801号 格雷巴赫，S。;霍普克罗夫特，J。 54 1969 上下文无关语言的无限层次结构。 Zbl 0182.0202号 S.A.格雷巴赫。 53 1969 准实时语言。 Zbl 0188.33102号 书，R.V。;S.A.格雷巴赫。 53 1970 程序结构理论：方案、语义、验证。 Zbl 0345.68002号 希拉·格雷巴赫。 47 1975 完全AFL和嵌套迭代替换。 兹比尔0188.03102 S.A.格雷巴赫。 44 1970 堆栈自动机和编译。 Zbl 0153.01101号 西摩金斯堡;希拉·格雷巴赫。;迈克尔·哈里森（Michael A.Harrison）。 43 1967 全AFL链。 Zbl 0203.30102号 S.A.格雷巴赫。 42 1970 抽象语系。 Zbl 0308.68058号 南卡罗来纳州金斯堡。;格雷巴赫，S。 37 1975 单向有限访问自动机。 Zbl 0368.68059号 S.A.格雷巴赫。 33 1978 关于非确定性计数器语言复杂性的备注。 Zbl 0332.68039号 S.A.格雷巴赫。 31 1976 线性无上下文语言识别的不可解性。 Zbl 0148.00901号 希拉·格雷巴赫。 29 1966 全半AFL上的句法运算符。 Zbl 0269.68046号 希拉·格雷巴赫。 28 1972 图形和表达式中的歧义。 Zbl 0222.94067号 书，罗纳德;埃文，西蒙;希拉·格雷巴赫;吉恩·奥特 28 1971 关于形式语言不可判定属性的注记。 兹比尔0157.01902 格雷巴赫，S。 27 1968 时间和磁带边界图灵受体和AFL。 Zbl 0206.28702号 书籍，R.V。;S.A.格雷巴赫。;韦格布雷特，B。 23 1970 无上下文语法形式上的控件集。 Zbl 0359.68093号 S.A.格雷巴赫。 20 1977 保留上下文相关语言的映射。 Zbl 0145.00803号 南卡罗来纳州金斯堡。;S.A.格雷巴赫。 20 1966 跳转PDA和确定性无上下文语言的层次结构。 Zbl 0288.68031号 S.A.格雷巴赫。 20 1974 重置机器。 Zbl 0427.03029号 罗纳德·V·布克。;希拉·格雷巴赫。;西莉亚·沃瑟尔 19 1979 超确定性PDA：具有可判定包含问题的子数据库。 Zbl 0462.68030号 S.A.格雷巴赫。;弗里德曼，E.P。 18 1980 关于下推存储自动机和常规系统的注释。 Zbl 0183.01703号 S.A.格雷巴赫。 18 1967 一种计数器语言和IRS条件。 Zbl 0307.68062号 S.A.格雷巴赫。 17 1975 多磁带AFA。 Zbl 0241.68031号 希拉·格雷巴赫;西摩金斯堡 16 1972 可擦除的无上下文语言。 Zbl 0317.68059号 S.A.格雷巴赫。 16 1975 最小线性文法的歧义问题的不可判定性。 兹比尔0115.37007 格雷巴赫，Sh.A。 14 1963 超确定性DPDA：接受的方法确实会影响决策问题。 Zbl 0419.68100号 弗里德曼，E.P。;S.A.格雷巴赫。 12 1979 一些统一可擦除的语系。 Zbl 0343.68033号 西摩金斯堡;乔纳森·戈德斯汀;希拉·格雷巴赫 11 1976 在无上下文AFL中擦除。 Zbl 0248.68036号 S.A.格雷巴赫。 10 1972 均匀可擦除AFL。 Zbl 0325.68042号 西摩金斯堡;乔纳森·戈德斯汀;希拉·格雷巴赫 10 1975 不确定脱机机器的访问、交叉和反转。 Zbl 0375.02027号 S.A.格雷巴赫。 9 1978 一种多项式时间算法，用于确定2带确定性有限状态接收器的等价问题。 Zbl 0497.68050号 弗里德曼，E.P。;S.A.格雷巴赫。 9 1982 双向有限状态传感器的层次定理。 Zbl 0398.68038号 S.A.格雷巴赫。 8 1978 Tape-bound Turing受体和主要AFL。 Zbl 0206.28703号 书籍，R.V。;S.A.格雷巴赫。;O.H.伊巴拉。;韦格布雷特，B。 8 1970 对于实时下推存储自动机，线性是多项式可判定的。 Zbl 0413.68086号 格雷巴赫，S.A。 7 1979 Parikh半线性定理的推广。 Zbl 0251.68043号 S.A.格雷巴赫。 7 1972 关于有限编码AFA的AFL生成器。 兹比尔0249.68025 西摩金斯堡;希拉·格雷巴赫 7 1973 特色和超实时语言。 Zbl 0216.23803号 S.A.格雷巴赫。 6 1971 比较和重置机器。 兹伯利0388.03017 罗纳德·V·布克。;希拉·格雷巴赫。;西莉亚·沃瑟尔 5 1978 半AFL上某些操作的独立性。 Zbl 0388.68068号 罗纳德·V·布克。;希拉·格雷巴赫。 4 1978 一种反语言和雪佛龙操作。 Zbl 0441.68081号 S.A.格雷巴赫。 4 1979 W语法的一些限制。 Zbl 0288.68035号 希拉·格雷巴赫。 4 1974 关于代码集和无上下文语言的评论。 Zbl 0307.68058号 S.A.格雷巴赫。 4 1975 替代和同态复制的强独立性。 Zbl 0387.68048号 S.A.格雷巴赫。 三 1978 关于通用语法和左通用语法、上下文相关语言和上下文无关语法形式的评论。 Zbl 0387.68059号 S.A.格雷巴赫。 三 1978 关于确定性无上下文语言的等价性和子类包含问题。 Zbl 0392.68069号 弗里德曼，E.P。;S.A.格雷巴赫。 三 1978 单树语法。 Zbl 0765.68071号 希拉·格雷巴赫;史伟平;沙伊·西蒙森 三 1992 一元递归方案：常数的影响。 Zbl 0411.03010号 艾米丽·弗里德曼（Emily P.Friedman）。;希拉·格雷巴赫。 2 1979 关于最佳案例复杂性的说明。 Zbl 0672.68019号 若泽·罗利姆。;希拉·格雷巴赫。 2 1989 AFL负责人。 Zbl 0308.68059号 南卡罗来纳州金斯堡。;格雷巴赫，S。 2 1975 图形和表达式中的歧义。 Zbl 0294.94028号 Book，R。;甚至，S。;格雷巴赫，S。;奥特·G·。 2 1969 关于IO复杂性和近似语言。 Zbl 0659.03023号 JoséD.P.罗利姆。;希拉·格雷巴赫。 1 1988 单带复位机。 Zbl 0585.68073号 S.A.格雷巴赫。;沃索尔，C。 1 1986 正式语言：起源和方向。 Zbl 0998.01515号 S.A.格雷巴赫。 1 1981 准实时语言（扩展抽象）。 Zbl 1282.68152号 罗纳德·V·布克。;希拉·格雷巴赫。 1 1969 某些平面图中的匹配和生成。 Zbl 0527.05053号 卡莱尔，J.W。;S.A.格雷巴赫。;A.帕兹。 1 1983 形式化解析系统。 Zbl 0123.12602号 希拉·格雷巴赫。 1 1964 关于形式语言不可判定属性的注记。 Zbl 0307.68055号 格雷巴赫，S。 1 1975 单树语法。 Zbl 0765.68071号 希拉·格雷巴赫;史伟平;沙伊·西蒙森 三 1992 关于最佳案例复杂性的说明。 Zbl 0672.68019号 JoséD.P.罗利姆。;希拉·格雷巴赫。 2 1989 关于IO复杂性和近似语言。 Zbl 0659.03023号 JoséD.P.罗利姆。;希拉·格雷巴赫。 1 1988 单带复位机。 Zbl 0585.68073号 S.A.格雷巴赫。;沃索尔，C。 1 1986 某些平面图中的匹配和生成。 Zbl 0527.05053号 卡莱尔，J.W。;S.A.格雷巴赫。;A.帕兹。 1 1983 一种多项式时间算法，用于确定2带确定性有限状态接收器的等价问题。 Zbl 0497.68050号 弗里德曼，E.P。;S.A.格雷巴赫。 9 1982 正式语言：起源和方向。 兹比尔0998.01515 S.A.格雷巴赫。 1 1981 超确定性PDA：具有可判定包含问题的子数据库。 Zbl 0462.68030号 S.A.格雷巴赫。;弗里德曼，E.P。 18 1980 重置机器。 Zbl 0427.03029号 罗纳德·V·布克。;希拉·格雷巴赫。;西莉亚·沃瑟尔 19 1979 超确定性DPDA：接受的方法确实会影响决策问题。 兹比尔0419.68100 弗里德曼，E.P。;S.A.格雷巴赫。 12 1979 对于实时下推存储自动机，线性是多项式可判定的。 Zbl 0413.68086号 S.A.格雷巴赫。 7 1979 一种反语言和雪佛龙操作。 Zbl 0441.68081号 S.A.格雷巴赫。 4 1979 一元递归方案：常数的影响。 Zbl 0411.03010号 艾米丽·弗里德曼（Emily P.Friedman）。;希拉·格雷巴赫。 2 1979 盲和部分盲单向多计数器的备注。 Zbl 0389.68030号 S.A.格雷巴赫。 109 1978 单向有限访问自动机。 Zbl 0368.68059号 S.A.格雷巴赫。 33 1978 不确定脱机机器的访问、交叉和反转。 Zbl 0375.02027号 S.A.格雷巴赫。 9 1978 双向有限状态传感器的层次定理。 Zbl 0398.68038号 S.A.格雷巴赫。 8 1978 比较和重置机器。 Zbl 0388.03017号 书，罗纳德五世。;希拉·格雷巴赫。;西莉亚·沃瑟尔 5 1978 半AFL上某些操作的独立性。 Zbl 0388.68068号 书，罗纳德五世。;希拉·格雷巴赫。 4 1978 替代和同态复制的强独立性。 Zbl 0387.68048号 S.A.格雷巴赫。 三 1978 关于通用语法和左通用语法、上下文相关语言和上下文无关语法形式的评论。 兹比尔038.768059 S.A.格雷巴赫。 三 1978 关于确定性无上下文语言的等价性和子类包含问题。 Zbl 0392.68069号 弗里德曼，E.P。;S.A.格雷巴赫。 三 1978 无上下文语法形式上的控件集。 Zbl 0359.68093号 S.A.格雷巴赫。 20 1977 关于非确定性计数器语言复杂性的备注。 Zbl 0332.68039号 S.A.格雷巴赫。 31 1976 一些统一的可擦除语言家族。 Zbl 0343.68033号 西摩金斯堡;乔纳森·戈德斯汀;希拉·格雷巴赫 11 1976 程序结构理论：方案、语义、验证。 Zbl 0345.68002号 希拉·格雷巴赫。 47 1975 抽象语系。 Zbl 0308.68058号 南卡罗来纳州金斯堡。;格雷巴赫，S。 37 1975 一种计数器语言和IRS条件。 Zbl 0307.68062号 S.A.格雷巴赫。 17 1975 可擦除的无上下文语言。 Zbl 0317.68059号 格雷巴赫，S.A。 16 1975 均匀可擦除AFL。 Zbl 0325.68042号 西摩金斯堡;乔纳森·戈德斯汀;希拉·格雷巴赫 10 1975 关于代码集和无上下文语言的评论。 兹比尔0307.68058 S.A.格雷巴赫。 4 1975 AFL负责人。 Zbl 0308.68059号 南卡罗来纳州金斯堡。;格雷巴赫，S。 2 1975 关于形式语言的不可判定性质的一个注记。 Zbl 0307.68055号 格雷巴赫，S。 1 1975 跳转PDA和确定性无上下文语言的层次结构。 Zbl 0288.68031号 S.A.格雷巴赫。 20 1974 W语法的一些限制。 Zbl 0288.68035号 希拉·格雷巴赫。 4 1974 最难的无上下文语言。 Zbl 0278.68073号 希拉·格雷巴赫。 62 1973 关于有限编码AFA的AFL生成器。 Zbl 0249.68025号 西摩金斯堡;希拉·格雷巴赫 7 1973 全半AFL上的句法运算符。 Zbl 0269.68046号 希拉·格雷巴赫。 28 1972 多磁带AFA。 Zbl 0241.68031号 希拉·格雷巴赫;西摩金斯堡 16 1972 在无上下文AFL中擦除。 Zbl 0248.68036号 S.A.格雷巴赫。 10 1972 Parikh半线性定理的推广。 Zbl 0251.68043号 S.A.格雷巴赫。 7 1972 图形和表达式中的歧义。 Zbl 0222.94067号 书，罗纳德;埃文，西蒙;希拉·格雷巴赫;基因Ott 28 1971 特色和超实时语言。 Zbl 0216.23803号 S.A.格雷巴赫。 6 1971 AFL负责人。 Zbl 0198.03102号 金斯伯格，S。;格雷巴赫，S。 54 1970 准实时语言。 Zbl 0188.33102号 书籍，R.V。;S.A.格雷巴赫。 53 1970 完全AFL和嵌套迭代替换。 Zbl 0188.03102号 S.A.格雷巴赫。 44 1970 全AFL链。 Zbl 0203.30102号 S.A.格雷巴赫。 42 1970 时间和磁带边界图灵受体和AFL。 Zbl 0206.28702号 书籍，R.V。;S.A.格雷巴赫。;韦格布雷特，B。 23 1970 Tape-bound Turing受体和主要AFL。 Zbl 0206.28703号 书籍，R.V。;S.A.格雷巴赫。;O.H.伊巴拉。;韦格布雷特，B。 8 1970 抽象语系研究。 Zbl 0194.31402号 西摩金斯堡;希拉·格雷巴赫;约翰·霍普克罗夫特 96 1969 检查自动机和单向堆栈语言。 兹标0174.02702 格雷巴赫，S。 59 1969 分散的上下文语法。 Zbl 0174.02801号 格雷巴赫，S。;霍普克罗夫特，J。 54 1969 无上下文语言的无限层次结构。 Zbl 0182.0202号 S.A.格雷巴赫。 53 1969 图形和表达式中的歧义。 Zbl 0294.94028号 书，R。;甚至，S。;格雷巴赫，S。;奥特·G·。 2 1969 准实时语言（扩展抽象）。 Zbl 1282.68152号 罗纳德·V·布克。;希拉·格雷巴赫。 1 1969 关于形式语言不可判定属性的注记。 Zbl 0157.01902号 格雷巴赫，S。 27 1968 单向堆栈自动机。 Zbl 0171.14803号 西摩金斯堡;希拉·格雷巴赫。;迈克尔·哈里森（Michael A.Harrison）。 90 1967 堆栈自动机和编译。 Zbl 0153.01101号 西摩金斯堡;希拉·格雷巴赫。;迈克尔·哈里森（Michael A.Harrison）。 43 1967 关于下推存储自动机和常规系统的注释。 Zbl 0183.01703号 S.A.格雷巴赫。 18 1967 确定性上下文无关语言。 Zbl 0145.00802号 南卡罗来纳州金斯堡。;格雷巴赫，S。 92 1966 线性无上下文语言识别的不可解性。 兹伯利0148.00901 希拉·格雷巴赫。 29 1966 保留上下文相关语言的映射。 Zbl 0145.00803号 南卡罗来纳州金斯堡。;格雷巴赫，S.A。 20 1966 无上下文短语结构文法的一个新的范式定理。 Zbl 0135.18404号 S.A.格雷巴赫。 62 1965 正式解析系统。 Zbl 0123.12602号 希拉·格雷巴赫。 1 1964 最小线性文法的歧义问题的不可判定性。 Zbl 0115.37007号 格雷巴赫，Sh.A。 14 1963 所有引用出版物 前5名被引用出版物 全部的 前5名681位作者引用 52 奥斯卡·H·伊巴拉。 32 马丁·库特里布 30 希拉·格雷巴赫。 22 约斯特·恩格尔弗里特 22 伊恩·麦克奎伦 20 书，罗纳德·弗农 18 亚历山大·奥霍金 16 西摩金斯堡 16 亚历山大·梅杜纳 16 格列泽戈兹·罗森贝格 14 吕克·博阿松 13 米歇尔·拉特奥 12 乔夫罗伊·博基尔 12 安德烈亚斯·马尔彻 11 塞尼泽格斯，热罗 11 乔治·泽采 10 Jean-Michel，Autebert 10 亨宁费尔瑙 10 乔纳森·戈德斯汀 10 井上，Katsushi 10 弗里德里希·奥托 9 马库斯·霍尔泽 9 朱拉吉·赫罗姆科维奇 9 福格勒、海科 9 伍德，德里克 8 马提亚斯·扬岑 8 维克托·米特拉纳 8 佩恩，古奥热 8 巴拉·拉维库马尔 8 Kai T.Salomaa。 8 西莉亚·沃瑟尔 7 弗朗兹·约瑟夫·勃兰登堡 7 约翰·爱德华·霍普克罗夫特。 7 亨特，哈里·鲍文三世 7 伊索高南 7 杰弗里·戴维·乌尔曼 7 沃奇克，德特勒夫 6 Jan A.Bergstra。 6 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 6 弗拉维奥·达莱桑德罗 6 安德烈·埃伦菲赫特 6 艾米丽·弗里德曼（Emily P.Friedman）。 6 朱哈尼·卡鲁马基 6 乔拉·斯卢茨基 6 斯潘纳，埃德温·亨利 6 帕沃·图拉凯宁 6 马蒂亚斯·温德兰特 6 山崎富代 5 海宁·博迪恩 5 布吕格曼·克莱恩，安妮 5 卡雷尔·库利克二世 5 让·H·盖利尔。 5 马克·坎比特 5 皮埃尔·麦肯齐 5 米哈伊尔·克里金 5 莫里斯·尼瓦特 5 弗朗西斯科·斯卡切洛 5 约翰·V·塔克。 5 亚卡里·马茨，阿布泽尔 4 啊，阿尔弗雷德·瓦伊诺 4 彼得·阿斯维尔德（Peter R.J.Asveld）。 4 苏娜·本施 4 悉达哈·巴斯卡 4 Meera M.布拉特纳。 4 亚历山德拉·切鲁比尼 4 Luděk市Cienciala 4 Lucie Ciencialová 4 克里默斯，阿明B。 4 塞巴斯蒂安·达尼西奇 4 奥利维尔·芬克尔 4 弗里斯科，皮尔路易吉 4 艾坦·古拉里（Eitan M.Gurari）。 4 Tero哈朱 4 迈克尔·哈里森（Michael A.Harrison）。 4 罗伯特·马克·海伦斯 4 哥恩特·霍茨 4 Yoshihide Igarashi 4 Jozef jun，Jirásek。 4 迈克尔·劳伦斯。 4 尼古拉·利昂 4 马库斯·洛伊 4 迪诺·曼德里奥利 4 宫野，佐藤 4 Nyberg-Brodda，Carl-Fredrik公司 4 霍尔格·彼得森 4 丹尼尔·罗森克兰茨。 4 喂，A.C.杰姆 4 拉尼·西罗莫尼 4 萨拉·伍德沃思 4 阿米拉姆Yehudai 4 高石横森 三 阿尔哈佐夫，阿蒂姆 三 珍妮·卡米尔·比吉特 三 安德烈亚斯·布兰德斯特 三 克里斯蒂安·乔夫鲁特 三 沃伊切赫，切尔文斯基 三 亚历山大·雅科夫列维奇·迪科夫斯基 三 尤尔根·杜斯克 三 Elder，Murray J。 三 乔伊·埃雷蒙迪 …还有581名作者 全部的 前5名82篇连载文章中引用 198 理论计算机科学 129 计算机与系统科学杂志 53 数学系统理论 50 信息处理信件 42 信息与计算 40 信息学报 36 国际计算机科学基础杂志 29 RAIRO，Informatique Théorique公司 23 信息科学 17 国际计算机数学杂志 10 计算系统理论 8 RAIRO公司。Informatique Théorique et Applications公司 7 国际计算机与信息科学杂志 6 离散应用数学 6 离散数学 6 RAIRO公司。理论信息学及其应用 5 苏联数学杂志 5 凯贝内提卡 5 自然计算 4 RAIRO公司。理论信息学及其应用 三 Archive für Mathematische Logik und Grundlagenforschung公司 三 捷克斯洛伐克数学杂志 三 代数杂志 三 纯逻辑与应用逻辑年鉴 三 国际代数与计算杂志 三 控制论与系统分析 三 逻辑、语言与信息杂志 三 逻辑与代数程序设计杂志 三 比特。Nordisk Tidskrift信息处理 三 程序设计中的逻辑和代数方法杂志 2 代数通讯 2 卡尔科洛 2 计算 2 京都大学数学科学研究所出版物 2 Studia Logica公司 2 控制论 2 新一代计算 2 算法 2 数学和计算机建模 2 工程、通信和计算中的应用代数 2 计算机基础理论 2 计算机科学中的逻辑方法 2 Revue Française d’Automatique、Informatique、Recherche Opérationnelle。红Série Rouge 2 计算机科学评论 1 国际通用系统杂志 1 以色列数学杂志 1 莫斯科大学数学通报 1 信息传输问题 1 代数与逻辑 1 傅里叶学会年鉴 1 比特币 1 数学期刊 1 美国数学学会会刊 1 米兰费西科马特米蒂科研讨会（Rendiconti del Seminario Matemático e Fisico di Milano） 1 半群论坛 1 美国数学学会会刊 1 应用数学进展 1 数学应用学报 1 自动推理杂志 1 应用数学快报 1 计算几何 1 离散数学与应用 1 法国数学协会。Nouvelle Série公司 1 Indagationes Mathematicae公司。新系列 1 俄罗斯数学 1 系统设计中的形式化方法 1 函数编程杂志 1 数学与人工智能年鉴 1 摩尔多瓦计算机科学杂志 1 离散数学和理论计算机科学。DMTCS公司 1 澳大利亚数学学会杂志 1 应用数学杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 Steklov数学研究所学报 1 组、复杂性、密码学 1 符号逻辑述评 1 ISRN代数 1 应用数学、统计学和信息学杂志 1 Modelirovanie i Analiz信息系统 1 膜计算杂志 1 枚举组合数学及其应用 全部的 前5名22个领域被引用 834 计算机科学（68至XX） 121 数学逻辑和基础（03-XX） 28 群论与推广（20-XX） 9 组合数学（05-XX） 6 信息与通信理论、电路（94-XX） 4 数论（11-XX） 4 生物学和其他自然科学（92-XX） 三 结合环与代数（16-XX） 三 范畴理论；同调代数（18-XX） 三 量子理论（81-XX） 2 阶、格、有序代数结构（06-XX） 2 测量和集成（28-XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 一般代数系统（08-XX） 1 拓扑群、李群（22日至XX日） 1 特殊功能（33至XX） 1 动力系统和遍历理论（37至XX） 1 几何图形（51至XX） 1 凸和离散几何（52至XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 按年份列出的引文