计算机语言国际期刊 简短标题： 计算。语言。 出版商： 牛津爱思唯尔科学有限公司（佩加蒙） 国际标准编号： 0096-0551 在线： http://www.elsevier.com/locate/compang 继承人： 计算机语言、系统和结构 评论： 期刊；不再索引 已编制索引的文档： 184出版物(1975–2002) 全部的 前5名最新问题 272002年第4期 27，编号1-3（2001） 26，编号2-4（2000） 262000年第1期 25，第4号（1999） 25，第3号（1999） 25，第2期（1999年） 25，第1期（1999年） 24，第4号（1998年） 24，第3号（1998年） 24，第2期（1998年） 24，第1期（1998年） 23第2-4号（1997年） 22，第2-3号（1996） 201994年第3期 201994年第1期 19，第3号（1993） 19，第2号（1993） 19，第1号（1993） 18，第4号（1993） 15，第1期（1990年） 14，第4号（1989） 14，第3期（1989年） 14，第2期（1989年） 13，第2期（1988年） 13，第1期（1988年） 12(1987) 11(1986) 10(1985) 9(1984) 8(1983) 7(1982) 6(1981) 5(1980) 4(1979) 三(1978) 2(1976/1977) 1(1975) 全部的 前5名作者 6 丹尼尔·贝里（Daniel M.Berry）。 5 丹尼尔·弗里德曼（Daniel P.Friedman）。 4 斯里坎特，Y.N。 三 Paul A.Bailes。 三 亚瑟·C·弗莱克。 三 Gehani，Narain H。 三 卡洛·盖齐 三 拉尔夫·格里斯沃尔德（Ralph E.Griswold）。 三 罗伯特·史蒂文·莱德利 三 迪诺·曼德里奥利 2 安娜丽莎·博西 2 蒂莫西·艾伦·巴德 2 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 2 马提亚斯·费莱森 2 约翰·富勒 2 伊扬加，桑达拉贾·西塔拉马 2 肯·肯尼迪 2 广杉名田 2 弗兰克·帕根。 2 弗朗茨·蓬蒂加姆 2 威廉·里德尔（William E.Riddle）。 2 理查德·索尔特（Richard M.Salter）。 2 雅各布·西奥多·施瓦茨 2 理查德·施瓦茨。 2 米查·谢里尔 2 特伦布雷，吉尔 1 卡迈勒·S·阿卜杜利。 1 S.Kamal Abdali 1 穆罕默德·穆勒姆。 1 沙希德·阿里 1 文森佐·安布里奥拉 1 汤姆·阿克斯福德 1 巴德里纳特，B.R。 1 Jean-Loup Baer 1 勒内·巴尔 1 默文·巴曼 1 大卫·T·巴纳德。 1 巴罗佐，P.B。 1 维克托·巴西利（Victor R.Basili）。 1 莫斯塔法·巴西奥尼。 1 巴伊斯，J.C。 1 特伦斯·J·布伦南。 1 弗朗索瓦·罗伯特·布罗卡 1 安东尼奥·布罗吉 1 曼弗雷德·布罗伊 1 巴雷特·R·布莱恩特。 1 马可·卡多利 1 约翰·W·III·卡尔 1 塞尔吉奥·E·R·卡瓦略。 1 史蒂文·卡特（Steven C.Cater）。 1 奥古斯托·塞勒坦诺 1 Manuel M.T.查克拉瓦蒂。 1 Ashok K·钱德拉。 1 特雷弗·乔瓦特 1 周，S.M。 1 安娜，西安波里尼 1 保罗·西安卡里尼 1 乔瓦尼·奇格诺尼（Giovanni A.Cignoni）。 1 尼科莱塔·科科 1 A.Toni Cohen 1 马尔科·科伦贝蒂 1 罗伯特·库克。 1 丹尼尔·库克（Daniel E.Cooke）。 1 基思·D·库珀。 1 詹姆斯·科迪。 1 戈登·五·科马克。 1 约翰·克劳福德。 1 查尔斯·克劳利。 1 卡洛斯·何塞·佩雷拉·德·卢塞纳 1 皮耶保罗·德加诺 1 德尔拉·维格纳（Della Vigna）、皮埃尔路易吉（Pierluigi） 1 阿兰·德默斯。 1 Dhamdhere，Dhananjay M。 1 弗雷德里克·德鲁塞基斯。 1 苏西·杜利 1 阿瑟·邓肯。 1 杰伊·埃尔利 1 丹尼尔·埃德尔森 1 巴兰亚尼亚特·埃杜普甘蒂 1 埃里克森，拉尔斯·亨里克 1 Z.埃利希。 1 桑德罗·埃塔利 1 戈兰·福克曼 1 E.J.法卡斯。 1 Loe M.G.Feijs。 1 查尔斯·菲舍尔（Charles N.Fischer）。 1 伊万·弗洛雷斯 1 达尼埃拉·福利 1 马丁·范策尔 1 马哈德万·加纳帕蒂 1 高广荣 1 毛罗·加斯帕里 1 拉维·库马尔·盖德拉 1 维杰·盖洛特 1 M.C.W.盖伦。 1 马诺利斯Gergatsoulis 1 卡尔·盖兹 1 阿杰·S·戈帕尔。 1 坎南Govindarajan 1 吉奥瓦尼·吉达 …还有171位作者 领域 184 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 三 总体主题；集合（00-XX） 2 组合数学（05-XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 58出版物有被引用138中的次127文件 引用人▼ 年份▼ 并行编程：一种公理方法。 Zbl 0362.68045号 C.A.R.霍尔。 8 1975 软件系统建模和分析方法。 Zbl 0408.68031号 威廉·里德尔（William E.Riddle）。 7 1979 编程语言的代数模型。 Zbl 0629.68004号 罗斯、特奥多尔 7 1987 分支时间逻辑编程：语言仙人掌及其应用。 Zbl 0948.68034号 Rondogiannis，P。;Gergatsoulis，M。;Panayiotopoulos，T。 7 1998 NP-SPEC：一种用于解决NP中所有问题的可执行规范语言。 Zbl 0995.68025号 马可·卡多利;乔瓦姆巴蒂斯塔·伊安尼;路易吉·帕洛波利;安德烈亚·谢尔夫;多梅尼科·瓦西莱 7 2000 正则语言语法归纳引用问题的解决方案。 Zbl 0364.68063号 Pao、Tsyh-Wen;约翰·W·III·卡尔 6 1978 高级迭代器和自动设计数据结构表示的方法。 Zbl 0362.68011号 杰·厄利 5 1975 Argos：一种基于自动机的同步语言。 Zbl 1050.68020号 佛罗伦萨马拉宁奇;亚恩·雷蒙德 5 2001 首选逻辑语法。 Zbl 0948.68105号 巴拉特·贾亚拉曼;坎南Govindarajan;苏里亚·曼塔 5 1998 优化非常高级的语言。一： 价值传递及其推论。 Zbl 0361.68048号 J.T.施瓦茨。 4 1975 一种软件系统行为描述方法。 Zbl 0408.68030号 威廉·里德尔（William E.Riddle）。 4 1979 论错误产生在句法错误纠正中的作用。 Zbl 0443.68076号 费舍尔，C.N。;J.莫尼。 4 1980 消除LR（1）文法的单一产生式并合并非终结符符号。 Zbl 0362.68102号 德默斯，A.J。 4 1975 获得带有延续的协程。 兹比尔0603.68005 克里斯托弗·海恩斯（Christopher T.Haynes）。;丹尼尔·弗里德曼（Daniel P.Friedman）。;旺德·米切尔 4 1986 语法错误的统计分析。 Zbl 0385.68021号 G.David，里普利;弗雷德里克·德鲁塞基斯。 三 1978 通过简化懒散地缩小范围。 Zbl 0899.68023号 迈克尔·哈纳斯 三 1997 编程语言的lambda-calculus模型。二： 跳转和过程。 Zbl 0356.68042号 S.Kamal Abdali 三 1975 从用VDL编写的操作语义派生编译器。 Zbl 0561.68023号 沙赫扎德·马扎赫;丹尼尔·贝里（Daniel M.Berry）。 2 1985 结构分析：在优化编译器中进行流分析的一种新方法。 Zbl 0444.68021号 谢里尔，M。 2 1980 关于经典逻辑中目标导向的可证明性。 Zbl 0899.68025号 詹姆斯·哈兰德 2 1997 关于编程功能的威力。 Zbl 0362.68041号 A.K.钱德拉。;Z.曼纳。 2 1975 LAILA：一种用于协调逻辑代理之间的溯因推理的语言。 Zbl 0997.68015号 安娜·齐安波里尼;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2002 动态更改接口的状态推断。 Zbl 0997.68016号 弗朗茨·蓬蒂加姆 2 2002 反思兰丁的J操作符：部分历史笔记。 Zbl 0628.68008号 马提亚斯·费莱森 2 1987 使用Petri网的并发系统的符号执行。 兹比尔0689.68008 卡洛·盖齐;迪诺·曼德里奥利;桑德罗·莫拉斯卡;毛罗·佩泽尔 2 1989 类型理论中的程序派生：一个划分问题。 Zbl 0603.68011号 肯特·彼得森;Jan M.史密斯。 2 1986 论抽象解释的力量。 Zbl 0780.68089号 美国雷迪。;塞缪尔·卡明。 2 1993 SL解析LR语言。 Zbl 0659.68099号 大卫·T·巴纳德。;詹姆斯·科迪。 2 1988 ALGOL 68的语义视图。 Zbl 0435.68011号 理查德·施瓦茨。;丹尼尔·贝里（Daniel M.Berry）。 1 1979 一种异常处理机制及其验证规则。 Zbl 0489.68012号 北卡罗来纳州科科。;杜利，S。 1 1982 在将纯函数式语言转换为低级数据流图时使用组合符。 Zbl 0513.68010号 彼得·莫雷尔（Peter M.Maurer）。;阿瑟·奥德霍夫特（Arthur E.Oldehoeft）。 1 1983 优化非常高级的语言。二： 推导包含和成员关系。 Zbl 0361.68049号 J.T.施瓦茨。 1 1975 实现由图形语法驱动的数据定义工具。 Zbl 0377.68015号 巴罗佐，P.B。;福塔多·A.L。 1 1978 用于多处理的结构化流程图。 兹伯利0385.68026 科恩，A.托尼;利昂·S·利维。 1 1978 过渡网络文法的推断。 Zbl 0401.68037号 周，S.M。;Fu，K.S。 1 1979 通过规范变异进行程序测试。 Zbl 0551.68015号 蒂莫西·巴德（Timothy A.Budd）。;阿杰·戈帕尔。 1 1985 使用两级语法的语义规范：块、过程和参数。 Zbl 0416.68074号 弗兰克·帕根。 1 1979 为什么自动纠错器会失败。 Zbl 0433.68065号 查尔斯·威特雷尔 1 1977 用于指定静态语义的方法。 Zbl 0456.68100号 威廉姆斯，M.H。 1 1981 代码优化中程序循环的特征。 兹伯利0517.68018 Dhamdhere，D.M。;基思，J.S。 1 1983 在ICON中实现SNOBOL4模式匹配。 Zbl 0517.68019号 拉尔夫·格里斯沃尔德（Ralph E.Griswold）。 1 1983 调度表达式DAG以满足最小的寄存器需求。 Zbl 0904.68047号 克里斯托夫·凯斯勒。 1 1998 从高级语言编译器直接用微程序执行中间文本。 Zbl 0336.68012号 理查德·默文（Richard E.Merwin）。;弗朗索瓦·罗伯特·布罗卡 1 1975 编程语言的lambda-calculus模型。一： 简单构造。 Zbl 0356.68041号 卡迈勒·S·阿卜杜利。 1 1975 功能组合。 兹伯利0364.68010 丹尼尔·弗里德曼（Daniel P.Friedman）。;大卫·S·怀斯。 1 1978 SNOBOL4子集的形式语义。 Zbl 0364.68016号 F.G.帕根。 1 1978 应用程序的使用定义链。 Zbl 0386.68019号 肯·肯尼迪 1 1978 结构化程序前瞻。 Zbl 0617.68010号 托马斯·斯特罗托特。;戈登·五·科马克。 1 1987 Occam—一种用于多处理器系统的编程语言。 Zbl 0614.68027号 M.Elizabeth C.赫尔。 1 1987 使用SHE的面向对象建模和规范。 Zbl 0997.68013号 M.C.W.盖伦。;Voeten，J.P.M。;范德普滕。;范博霍芬，L.J。;史蒂文斯，M.P.J。 1 2001 约束语言及其解释器。 Zbl 0594.68031号 Hans P.齐马。 1 1986 SLIPS的解释器——一种基于lambda演算的应用语言。 Zbl 0591.68011号 维杰·盖洛特;斯里坎特，Y.N。 1 1986 程序克隆的方法。 Zbl 0797.68033号 基思·D·库珀。;玛丽·W·霍尔。;肯·肯尼迪 1 1993 宽松的评估和并行性。 Zbl 0981.68028号 震颤，G。;Malenfant，B。 1 2000 数据流可视化编程语言中的迭代构造。 Zbl 0995.68027号 莫斯科尼，M。;M·波尔塔。 1 2000 编程语言的关联定义。 Zbl 0995.68056号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 1 2000 列出用于并行计算的处理原语。 Zbl 0770.68043号 汤姆·阿克斯福德;乔伊，迈克 1 1993 循环程序的概率分析。 Zbl 0677.68010号 M.E.萨博。;E.J.法卡斯。 1 1989 LAILA：一种用于协调逻辑代理之间的溯因推理的语言。 Zbl 0997.68015号 安娜·齐安波里尼;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 2 2002 用于动态更改接口的状态推断。 Zbl 0997.68016号 弗朗茨·蓬蒂加姆 2 2002 Argos：一种基于自动机的同步语言。 Zbl 1050.68020号 佛罗伦萨马拉宁奇;亚恩·雷蒙德 5 2001 使用SHE的面向对象建模和规范。 Zbl 0997.68013号 M.C.W.盖伦。;Voeten，J.P.M。;范德普滕，P.H.A。;范博霍芬，L.J。;史蒂文斯，M.P.J。 1 2001 NP-SPEC：一种用于解决NP中所有问题的可执行规范语言。 Zbl 0995.68025号 马可·卡多利;乔瓦姆巴蒂斯塔·伊安尼;路易吉·帕洛波利;安德烈亚·谢尔夫;多梅尼科·瓦西里 7 2000 宽松的评估和并行性。 Zbl 0981.68028号 特伦布雷，G。;马伦芬特，B。 1 2000 数据流可视化编程语言中的迭代构造。 Zbl 0995.68027号 莫斯科尼，M。;M·波尔塔。 1 2000 编程语言的关联定义。 Zbl 0995.68056号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 1 2000 分支时间逻辑编程：语言仙人掌及其应用。 Zbl 0948.68034号 Rondogiannis，P。;Gergatsoulis，M。;Panayiotopoulos，T。 7 1998 偏好逻辑语法。 Zbl 0948.68105号 巴拉特·贾亚拉曼;坎南Govindarajan;苏里亚·曼塔 5 1998 调度表达式DAG以满足最小的寄存器需求。 Zbl 0904.68047号 克里斯托夫·凯斯勒。 1 1998 通过简化懒散地缩小范围。 Zbl 0899.68023号 迈克尔·哈纳斯 三 1997 论经典逻辑中的目标导向可证明性。 Zbl 0899.68025号 詹姆斯·哈兰德 2 1997 论抽象解释的力量。 Zbl 0780.68089号 美国雷迪。;塞缪尔·卡明。 2 1993 一种用于过程克隆的方法。 兹比尔0797.68033 基思·D·库珀。;玛丽·W·霍尔。;肯·肯尼迪 1 1993 列出用于并行计算的处理原语。 Zbl 0770.68043号 汤姆·阿克斯福德;乔伊，迈克 1 1993 使用Petri网的并发系统的符号执行。 Zbl 0689.68008号 卡洛·盖齐;迪诺·曼德里奥利;桑德罗·莫拉斯卡;毛罗·佩泽尔 2 1989 循环程序的概率分析。 Zbl 0677.68010号 M.E.萨博。;E.J.法卡斯。 1 1989 SL解析LR语言。 Zbl 0659.68099号 大卫·T·巴纳德。;詹姆斯·科迪。 2 1988 编程语言的代数模型。 Zbl 0629.68004号 罗斯、特奥多尔 7 1987 反思兰丁的J操作符：部分历史笔记。 Zbl 0628.68008号 马提亚斯·费莱森 2 1987 结构化程序前瞻。 Zbl 0617.68010号 托马斯·斯特罗托特。;戈登·五·科马克。 1 1987 Occam—一种用于多处理器系统的编程语言。 Zbl 0614.68027号 M.Elizabeth C.赫尔。 1 1987 用continuation获取协同程序。 Zbl 0603.68005号 克里斯托弗·海恩斯。;丹尼尔·弗里德曼。;旺德·米切尔 4 1986 类型理论中的程序派生：一个划分问题。 Zbl 0603.68011号 肯特·彼得森;Jan M.史密斯。 2 1986 约束语言及其解释器。 Zbl 0594.68031号 Hans P.齐马。 1 1986 SLIPS的解释器——一种基于lambda演算的应用语言。 Zbl 0591.68011号 维杰·盖洛特;斯里坎特，Y.N。 1 1986 从用VDL编写的操作语义派生编译器。 Zbl 0561.68023号 沙赫扎德·马扎赫;丹尼尔·贝里（Daniel M.Berry）。 2 1985 通过规范变异进行程序测试。 Zbl 0551.68015号 蒂莫西·巴德（Timothy A.Budd）。;阿杰·S·戈帕尔。 1 1985 在将纯函数式语言转换为低级数据流图时使用组合符。 Zbl 0513.68010号 彼得·莫雷尔（Peter M.Maurer）。;阿瑟·奥德霍夫特（Arthur E.Oldehoeft）。 1 1983 代码优化中程序循环的特征。 Zbl 0517.68018号 Dhamdhere，D.M。;基思，J.S。 1 1983 在ICON中实现SNOBOL4模式匹配。 Zbl 0517.68019号 拉尔夫·格里斯沃尔德（Ralph E.Griswold）。 1 1983 异常处理机制及其验证规则。 Zbl 0489.68012号 北卡罗来纳州科科。;杜利，S。 1 1982 用于指定静态语义的方法。 兹比尔0456.68100 威廉姆斯，M.H。 1 1981 论错误产生在句法错误纠正中的作用。 Zbl 0443.68076号 费舍尔，C.N。;J.莫尼。 4 1980 结构分析：在优化编译器中进行流分析的一种新方法。 Zbl 0444.68021号 谢里尔，M。 2 1980 软件系统建模和分析方法。 Zbl 0408.68031号 威廉·里德尔（William E.Riddle）。 7 1979 一种软件系统行为描述方法。 Zbl 0408.68030号 威廉·里德尔（William E.Riddle）。 4 1979 ALGOL 68的语义视图。 Zbl 0435.68011号 理查德·施瓦茨。;丹尼尔·贝里（Daniel M.Berry）。 1 1979 过渡网络文法的推断。 Zbl 0401.68037号 周，S.M。;Fu，K.S。 1 1979 使用两级语法的语义规范：块、过程和参数。 Zbl 0416.68074号 弗兰克·帕根。 1 1979 正则语言语法归纳引用问题的解决方案。 Zbl 0364.68063号 Pao、Tsyh-Wen;约翰·W·III·卡尔 6 1978 语法错误的统计分析。 Zbl 0385.68021号 G.David，里普利;弗雷德里克·德鲁塞基斯。 三 1978 实现由图形语法驱动的数据定义工具。 Zbl 0377.68015号 巴罗佐，P.B。;福塔多·A.L。 1 1978 用于多处理的结构化流程图。 兹伯利0385.68026 科恩，A.托尼;利昂·S·利维。 1 1978 功能组合。 Zbl 0364.68010号 丹尼尔·弗里德曼（Daniel P.Friedman）。;大卫·S·怀斯。 1 1978 SNOBOL4子集的形式语义。 Zbl 0364.68016号 F.G.帕根。 1 1978 应用程序的使用定义链。 Zbl 0386.68019号 肯·肯尼迪 1 1978 为什么自动纠错器会失败。 Zbl 0433.68065号 查尔斯·威特雷尔 1 1977 并行编程：一种公理方法。 Zbl 0362.68045号 C.A.R.霍尔。 8 1975 高级迭代器和自动设计数据结构表示的方法。 Zbl 0362.68011号 杰伊·埃尔利 5 1975 优化非常高级的语言。一： 价值传递及其推论。 Zbl 0361.68048号 J.T.施瓦茨。 4 1975 消除LR（1）文法的单一产生式并合并非终结符符号。 Zbl 0362.68102号 德默斯，A.J。 4 1975 编程语言的lambda-calculus模型。二： 跳转和过程。 Zbl 0356.68042号 S.Kamal Abdali 三 1975 关于编程功能的威力。 Zbl 0362.68041号 A.K.钱德拉。;Z.曼纳。 2 1975 优化非常高级的语言。II： 推导包含和成员关系。 兹比尔0361.68049 J.T.施瓦茨。 1 1975 从高级语言编译器直接用微程序执行中间文本。 Zbl 0336.68012号 理查德·默文（Richard E.Merwin）。;弗朗索瓦·罗伯特·布罗卡 1 1975 编程语言的lambda-calculus模型。一： 简单构造。 Zbl 0356.68041号 卡迈勒·S·阿卜杜利。 1 1975 所有引用出版物 前5名被引用出版物 全部的 前5名被230位作者引用 三 奥利维尔·丹维 三 马诺利斯Gergatsoulis 三 斯特凡·霍夫曼 三 玛丽亚·科什 三 托雷·科斯 三 弗罗林·马内亚 三 Eljas Soisalon-Soininen公司 三 杨晓晓 2 西蒙·布利兹 2 V.N.多姆拉乔夫。 2 段振华 2 艾伦·M·弗里希。 2 马提亚斯·扬岑 2 巴拉特·贾亚拉曼 2 Yu Kapitonova。五、。 2 门闩，Dana May 2 Leermakers，Reneé 2 迈克尔·门德勒 2 Miguel，伊恩 2 克里斯托斯·诺米科斯 2 帕诺斯·朗多吉安尼 2 L.G.Samojlenko。 2 斯特凡·西默 2 约瑟夫·西法基斯 2 迈克尔·索尔提斯 1 阿米尔·阿博德 1 亚当森，邓肯 1 华金·阿瓜多 1 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 1 阿坤、奥祖尔 1 塞尔吉奥·安托伊 1 Krzysztof Rafal公寓 1 法哈德·阿尔巴 1 泽纳·M·阿里奥拉。 1 莱克斯·奥古斯特因 1 阿维提斯扬，A.I。 1 巴契库斯，艺术 1 A.A.Belevantsev。 1 马丁·伯格伦德 1 丹尼尔·贝里（Daniel M.Berry）。 1 亨利克·比约克隆德 1 约翰娜·比约克隆德 1 Bodlaender，Hans L。 1 安娜丽莎·博西 1 J.B.博伊林。 1 劳雷特·布拉德利 1 布罗尔，V。 1 斯蒂芬·D·布鲁克斯。 1 Samuel R.巴斯。 1 马可·卡多利 1 蔡佳珍 1 Ashok K·钱德拉。 1 Chen，Jim X。 1 亚历山德拉·切鲁比尼 1 佛罗伦萨雪佛龙 1 Choe，Kwang-Moo先生 1 埃里克·科尔（Eric A.B.Cole）。 1 戈登·五·科马克。 1 下士，亨克 1 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 1 崔宝秋 1 捷克，Zbigniew J。 1 塞巴斯蒂安·达尼西奇 1 威廉·鲍尔·德·罗弗 1 弗朗索瓦·丹尼斯 1 伊夫·迪维尔 1 马里亚纽拉州Dezani-Ciancaglini 1 董泽刚 1 布里杰什·多戈尔 1 末日，格雷戈伊尔 1 J.Michael戴克 1 圣地亚哥埃斯科瓦尔 1 亚恩·埃斯波西托 1 雷米·埃劳 1 范小聪 1 E.J.法卡斯。 1 冯新余 1 约翰·埃弗雷特·菲尔德 1 查尔斯·菲舍尔（Charles N.Fischer）。 1 傅京孙 1 傅明 1 Insa Fuhrmann公司 1 Gaisaryan，S.S。 1 伊恩·菲利普·根特 1 罗伯托·贾科巴齐 1 贾塞克·吉伯特 1 亚伯拉罕·金兹堡 1 戈洛夫金，B.A。 1 谢尔盖·戈拉奇 1 加尔文·C·哥特利布。 1 坎南Govindarajan 1 戈亚尔、迪帕克 1 吉安路易吉·格雷科 1 塞尔吉奥·格雷科 1 格罗鲍尔，伯尔尼 1 郭海峰 1 古罗夫，帝力 1 托尔加·居耶 1 阿内格丽特·哈贝尔 1 霍华德·J·汉密尔顿。 …还有130多名作者 全部的 前5名48种期刊引用 21 理论计算机科学 5 信息学报 4 信息处理信件 4 新一代计算 4 高阶与符号计算 三 人工智能 三 国际计算机与信息科学杂志 三 计算机与系统科学杂志 三 苏联数学杂志 三 控制论 三 符号计算杂志 三 计算的形式方面 三 约束条件 2 信息科学 2 编程和计算机软件 2 计算机程序设计科学 2 信息与计算 2 国际计算机科学基础杂志 2 国际计算机数学杂志 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 计算机与数学及其应用 1 国际理论物理杂志 1 应用数学与计算 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 计算 1 纯粹与应用代数杂志 1 RAIRO，Informatique Théorique公司 1 SIAM计算机杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 应用数学快报 1 实时系统 1 MSCS公司。计算机科学中的数学结构 1 模式识别 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 图表 1 函数编程杂志 1 数学与人工智能年鉴 1 计算系统理论 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 离散算法杂志 1 比特。Nordisk Tidskrift信息处理 1 计算机科学前沿 全部的 前5名13个领域引用 124 计算机科学（68至XX） 19 数学逻辑和基础（03-XX） 三 组合数学（05-XX） 三 范畴理论；同调代数（18-XX） 三 信息与通信理论、电路（94-XX） 2 阶、格、有序代数结构（06-XX） 2 群论与推广（20-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 偏微分方程（35-XX） 1 相对论和引力理论（83至XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文