信息和控制 简短标题: Inf.控制 出版商: 纽约学术出版社等。 国际标准编号: 0019-9958 在线: http://www.sciencedirect.com/science/journal/00199958 继承人: 信息与计算 评论: 期刊;不再索引 编入索引的文档: 1553出版物(1957年至1986年) 索引的引用: 1出版物参考文献28篇。 全部的 前5名最新问题 71(1986) 70(1986) 69(1986) 68(1986) 67(1985) 66(1985) 65(1985) 64(1985) 63(1984) 62(1984) 61(1984) 60(1984) 59(1983) 58(1983) 57(1983) 56(1983) 55(1982) 54(1982) 53(1982) 52(1982) 51(1981) 50(1981) 49(1981) 48(1981) 47(1980年) 46(1980年) 45(1980年) 44(1980年) 43(1979) 42(1979) 41(1979) 40(1979) 39(1978) 38(1978) 37(1978) 36(1978) 35(1977) 34(1977) 33(1977) 32(1976) 31(1976) 30(1976) 29(1975) 28(1975) 27(1975) 26(1974) 25(1974) 24(1974) 23(1973) 22(1973) 21(1972) 20(1972) 19(1971/1972) 18(1971) 17(1970) 16(1970) 15(1969) 14(1969) 13(1968) 12(1968) 11(1967) 10(1967) 9(1966) 8(1965/1966) 7(1964) 6(1963) 5(1962) 4(1961/1962) 3(1960/1961) 2(1959年) 1(1957-1959) 全部的 前5名作者 24 格列泽戈兹·罗森贝格 17 阿兹里尔·罗森菲尔德 15 阿尔托·库斯塔·萨洛马 13 赫尔曼·毛雷尔。 12 伍德,德里克 11 纳西尔·乌丁·艾哈迈德 10 卡雷尔·库利克二世 10 西摩金斯伯格 10 希拉·格雷巴赫。 10 尤金·桑托斯。 10 马塞尔·鲍尔(Marcel-Paul)Schützenberger 9 戴维·曼德尔鲍姆(David M.Mandelbaum)。 9 亚伦·D·怀纳。 8 Hartmanis,法学家 7 Elwyn Ralph Berlekamp 7 Ian F.布莱克。 7 菲利普·德尔萨尔特 7 奥斯卡·H·伊巴拉。 7 拉尼·西罗莫尼 7 理查德·埃德温(Richard Edwin Stearns) 7 帕沃·图拉凯宁 7 雅各布·沃尔福威茨 6 阿尔多·德卢卡 6 安德烈·埃伦菲赫特 6 迈克尔·哈里森(Michael A.Harrison)。 6 加博尔·赫曼(Gabor T.Herman)。 6 本田、纳米奥 6 茨城,东芝 6 大岛县卡萨米 6 沃纳·库奇 6 库尔特·梅尔霍恩 6 佩恩,古奥热 6 斯塔福德·E·塔瓦雷斯。 6 尼尔·齐尔勒 5 迈克尔·阿尔比布(Michael A.Arbib)。 5 弗雷德里克·博特勒。 5 H.威廉·巴特曼 5 Gluss,布赖恩 5 Jean-Marie Goethals 5 尤里·古里维奇 5 韩德孙 5 约翰逊·默多克·哈特 5 J.Robert跳 5 约翰·克罗南·基弗 5 Preparia,Franco P。 5 Sudhakar M.雷迪。 5 Shyr,Huei-Jan公司 5 卓科斯(Christos P.Tsokos)。 5 沃尔夫,杰克·基尔 5 山岛,Shuzo 4 塞拉菲诺·阿莫罗佐 4 拉南·比哈里·巴纳尔吉 4 尼尔森·M·布拉奇曼。 4 拉杰·钱德拉(Raj Chandra Bose) 4 坎巴尼,斯塔马提斯 4 罗伯特·P·戴利。 4 于尔根·杜斯克 4 约斯特·恩格尔弗里特 4 埃文,西蒙 4 兹维·加利勒 4 朱塞佩·盖斯特里 4 戈尔德·E·马克 4 很好,欧文·约翰(杰克) 4 乔泽夫·格鲁斯卡 4 大卫·哈雷 4 稻崎康夫 4 弗雷德里克·杰利内克 4 Aravind K.乔希。 4 朱哈尼·卡鲁马基 4 码头Kleijn 4 罗伯特·克纳斯特 4 南饶省科萨拉州 4 路德维克·库尔兹 4 奥斯卡·A·Z·莱曼。 4 奥托·梅耶 4 艾伯特·罗纳德·梅耶 4 Masakazu Nasu 4 普雷姆·纳特 4 小山口,美雄 4 雷纳·帕奇曼 4 菲利普·皮雷(Philippe M.Piret)。 4 A.N.V.Rao。 4 约翰·保罗·罗宾逊 4 路易斯·罗西尔(Louis E.Rosier)。 4 沙尔马,Bhu Dev 4 尼尔·詹姆斯·亚历山大·斯隆 4 古斯塔夫·所罗门 4 约翰·斯佩希特 4 竹中义子 4 加布里埃尔·蒂尔林 4 杰弗里·戴维·乌尔曼 4 瓦拉万,K。 4 爱德华·朱恩·韦尔登。 4 迈克尔·尤利 3 达纳州安格鲁因 3 迈克尔·阿特汉斯 3 布伦达·S·贝克。 3 乔夫罗伊·博基尔 3 理查德·欧内斯特·贝尔曼 3 大卫·本森。 …还有1213名作者 全部的 前5名领域 684 计算机科学(68至XX) 390 信息与通信理论、电路(94-XX) 157 数学逻辑和基础(03-XX) 86 系统论;控制(93至XX) 51 概率论与随机过程(60-XX) 46 组合数学(05-XX) 46 统计学(62-XX) 30 群论与推广(20-XX) 20 数论(11-XX) 15 博弈论、经济学、金融和其他社会和行为科学(91-XX) 13 变分法与最优控制;最优化(49至XX) 12 生物学和其他自然科学(92-XX) 11 范畴理论;同调代数(18-XX) 11 数值分析(65-XX) 10 欧氏空间的调和分析(42至XX) 10 运筹学、数学规划(90-XX) 9 差分和函数方程(39至XX) 7 阶、格、有序代数结构(06-XX) 6 线性代数和多线性代数;矩阵理论(15-XX) 6 近似和展开(41-XX) 6 几何图形(51至XX) 5 一般代数系统(08-XX) 5 常微分方程(34-XX) 5 一般拓扑结构(54至XX) 4 场论和多项式(12-XX) 4 交换代数(13-XX) 3 实际功能(26-XX) 3 抽象谐波分析(43至XX) 2 结合环与代数(16-XX) 1 历史和传记(01-XX) 1 测量和集成(28-XX) 1 特殊功能(33至XX) 1 积分变换,运算微积分(44-XX) 1 积分方程(45-XX) 1 功能分析(46倍X倍) 1 凸和离散几何(52至XX) 1 粒子和系统力学(70-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1179年出版物有被引用25629中的次20254文件 引用人▼ 年份▼ 模糊集。 Zbl 0139.24606号 洛杉矶扎德。 8,326 1965 语言识别处于极限状态。 Zbl 0259.68032号 戈尔德·E·马克 504 1967 复合模糊关系方程的求解。 Zbl 0326.02048号 埃利·桑切斯 370 1976 随机序列的定义。 Zbl 0244.62008号 马丁·洛夫(Martin-Löf,Per) 355 1966 模糊集理论中非概率熵的定义。 Zbl 0239.94028号 A.德卢卡。;Termini,S.公司。 352 1972 关于只有平凡子群的有限幺半群。 Zbl 0131.02001号 Schützenberger,M.P。 260 1965 关于自动机族的定义。 兹比尔0104.00702 Schützenberger,M.P。 235 1961 概率自动机。 Zbl 0182.33602号 M.O.拉宾。 215 1963 朝向归纳推理的数学理论。 Zbl 0375.02028号 勒诺·布鲁姆;曼纽尔·布卢姆 215 1975 一种新的聚类方法。 Zbl 0192.57101号 鲁斯皮尼,E.H。 211 1969 同步通信的进程代数。 Zbl 0597.68027号 J.A.伯格斯特拉。;Klop,J.W。 209 1984 形式语言从实证数据中的归纳推理。 Zbl 0459.68051号 达纳州安格鲁因 197 1980 快速并行算法问题分类。 Zbl 0575.68045号 斯蒂芬·库克。 193 1985 Fisher和Shannon的信息量满足一些不等式。 Zbl 0085.34701号 A.J.斯塔姆。 187 1959 用有限自动机测试和生成无限序列。 Zbl 0212.33902号 麦克诺顿,R。 171 1966 归纳推理的形式理论。一、。 Zbl 0258.68045号 R.J.所罗门诺夫。 165 1964 类型2模糊集的一些性质。 Zbl 0331.02042号 Masaharu水本茂;田中,高基町 155 1976 广义信息函数。 Zbl 0205.46901号 达罗奇,Z。 143 1970 可在多项式时间内计算的关系查询。 Zbl 0612.68086号 尼尔·伊梅尔曼 141 1986 时间逻辑可以更具表现力。 Zbl 0534.03009号 皮埃尔·沃尔珀 128 1983 二阶二进制Reed-Muller码的几类子码的权重枚举器。 Zbl 0217.58802号 卡萨米,T。 120 1971 关于语言从左到右的翻译。 Zbl 0231.68027号 唐纳德·科努特(Donald E.Knuth)。 116 1966 从给定数据识别自动机的复杂性。 Zbl 0376.68041号 戈尔德·E·马克 107 1978 关于文法的某些形式属性。 Zbl 0088.10801号 诺姆·乔姆斯基 104 1959 确定性抛硬币,应用于最佳平行列表排名。 Zbl 0612.68044号 理查德·科尔;乌兹·维什金 104 1986 矩阵最小原则。 Zbl 0176.07301号 M·阿瑟斯。 100 1967 归纳推理的形式理论。二、。 Zbl 0259.68038号 R.J.所罗门诺夫。 99 1964 模糊算法。 Zbl 0182.33301号 洛杉矶扎德。 99 1968 进程和并发的指称语义。 Zbl 0508.68011号 德巴克尔,J.W。;朱克,J.I。 99 1982 自对偶码的上界。 Zbl 0254.94011号 马洛斯,C.L。;新泽西州斯隆。 91 1973 确定性上下文无关语言。 兹比尔0145.00802 南卡罗来纳州金斯堡。;格雷巴赫,S。 89 1966 及时识别和解析无上下文语言。 Zbl 0149.24803号 Younger,D.H。 86 1967 关于广义Reed-Muller码及其相关性质。 Zbl 0267.94014号 德尔萨特,P。;J.M.戈塔尔斯。;F.J.麦克·威廉姆斯。 84 1970 可逆代码。 Zbl 0137.37704号 梅西,J.L。 84 1964 代码的四个基本参数及其组合意义。 Zbl 0274.94010号 菲利普·德尔萨尔特 83 1973 代数删余循环码。 Zbl 0149.15903号 古斯塔夫·所罗门;J·J·加劲杆。 83 1965 On\(\omega\)-正则集。 Zbl 0434.68061号 克劳斯·瓦格纳 83 1979 公钥密码应用程序中promise问题的复杂性。 Zbl 0592.94012号 埃文,西蒙;艾伦·L·塞尔曼。;雅各布,雅各布 76 1984 一张纸,离线图灵机器计算。 Zbl 0231.02048号 F.C.亨尼。 75 1966 Petri网的非顺序行为。 Zbl 0551.68050号 美国高尔茨。;赖西格,W。 74 1983 快速并行矩阵和GCD计算。 Zbl 0507.68020号 艾伦·博罗丁;约阿希姆·冯·祖尔·盖森;约翰·霍普克罗夫特 74 1982 非线性动态系统的指数观测器。 Zbl 0319.93049号 寇秀英R。;大卫·L·埃利奥特。;Tzyh Jong塔恩 73 1975 代数自动机和上下文无关集。 Zbl 0155.34301号 J.梅泽伊。;J.B.赖特。 73 1967 高噪声下的最优状态估计。 Zbl 0169.21902号 B.D.O.安德森。;J.B.摩尔。 73 1968 Maximin自动机。 Zbl 0174.03601号 尤金·桑托斯。 72 1968 语言类和线性有界自动机。 Zbl 0199.04002号 黑田东彦。 71 1964 模糊数字拓扑。 Zbl 0404.68071号 阿兹里尔·罗森菲尔德 71 1979 近似字符串匹配的算法。 Zbl 0575.68090号 埃斯科·乌科宁 70 1985 不可约循环码的权重。 Zbl 0239.94007号 L.D.鲍默特。;R.J.麦克利埃塞。 69 1972 生成规则系统的树。 Zbl 0169.31601号 布雷纳德,W.S。 68 1969 确定性自顶向下文法的属性。 Zbl 0209.02703号 D.J.罗森克兰茨。;R.E.斯特恩斯。 66 1970 关于有限域上代数方程的解。 Zbl 0166.04803号 E.R.Berlekamp。;H·拉姆齐。;古斯塔夫·所罗门 66 1967 随机性守恒不等式;数学理论中的信息和独立性。 Zbl 0592.03035号 莱昂尼德·莱文(Leonid A.Levin)。 64 1984 关于一类纠错二进制组码。 Zbl 0104.36402号 博斯,R.C。;Ray-Chaudhuri,D.K。 64 1960 关于上下文无关语言和下推自动机。 Zbl 0123.12502号 Schützenberger,M.P。 63 1963 基于上下文无关语法的翻译。 Zbl 0244.68035号 阿霍,A.V。;J.D.乌尔曼。 60 1972 循环和逆命题的动态逻辑基本上是可判定的。 Zbl 0515.68062号 罗伯特·S·斯特雷特。 59 1982 行刑队同步问题的8状态最短时间解决方案。 Zbl 1347.68249号 罗伯特·巴尔泽 58 1967 确定完全分支时间逻辑。 Zbl 0593.03007号 艾默生·E·艾伦;普拉萨德·西斯特拉 58 1984 关于估计问题的信息理论考虑。 Zbl 0222.94022号 苏古鲁·阿里莫托 58 1971 确定性有限回转下推自动机的等价问题。 Zbl 0285.68025号 莱斯利·瓦利安特(Leslie G.Valiant)。 56 1974 一般代数中的自动机。 Zbl 0175.27902号 艾伦伯格,S。;J.B.赖特。 55 1967 关于无上下文语言的熵。 Zbl 0193.32603号 W.Kuich。 54 1970 关于唯一可满足性问题。 兹伯利0543.03027 安德烈亚斯·布拉斯;尤里·古里维奇 54 1982 行刑队同步问题的最佳解决方案。 Zbl 1111.68527号 亚伯拉罕·瓦克斯曼 53 1966 具有数组重写规则的图片语言。 Zbl 0266.68037号 Siromoney,礼物;拉尼·西罗莫尼;卡马拉·克里蒂瓦桑 52 1973 边界NLC图文法-基本定义、范式和复杂性。 Zbl 0608.68060号 格列泽戈兹·罗森贝格;埃莫·韦尔兹尔 50 1986 简单矩阵语言。 Zbl 0221.68041号 奥斯卡·H·伊巴拉。 49 1970 单向有界细胞自动机。 Zbl 0442.68082号 查尔斯·戴尔。 48 1980 模态控制理论。 Zbl 0237.93004号 J.D.西蒙。;米特,S.K。 47 1968 每个序列都可以简化为随机序列。 Zbl 0628.03024号 佩特尔·加奇 47 1986 仿射群下不变循环码的一些结果及其应用。 Zbl 0169.51101号 卡萨米,T。;林,S。;彼得森,W.W。 46 1967 关于拟循环码的一些结果。 Zbl 0185.47403号 陈,C.L。;彼得森,W.W。;E.J.jun韦尔登。 46 1969 语言学习标准。 Zbl 0505.68038号 丹尼尔·奥斯森(Daniel N.Osherson)。;斯科特·温斯坦 46 1982 NP-P:EXPTIME与NEXPTIME中的稀疏集。 Zbl 0586.68042号 J·哈特马尼斯。;Immerman,N。;苏厄尔森,V。 45 1985 关于模糊集的一个注记。 Zbl 0217.01403号 J.G.布朗。 45 1971 一类低速率非线性二进制码。 Zbl 0271.94016号 科尔多克,A.M。 45 1972 使用水平链接搜索树对Jordan序列进行线性时间排序。 Zbl 0614.68051号 库尔特·霍夫曼;库尔特·梅尔霍恩;皮埃尔·罗森斯蒂尔;Robert E.Tarjan。 44 1986 完全AFL和嵌套迭代替换。 Zbl 0188.03102号 S.A.格雷巴赫。 44 1970 什么是lambda演算的模型? 兹比尔0507.03002 阿尔伯特·R·迈耶。 44 1982 电路尺寸下限和稀疏集的不可约性。 Zbl 0537.94027号 R.坎南。 43 1982 下推机器的规则性测试。 Zbl 0155.01901号 R.E.斯特恩斯。 42 1967 机器的尺寸。 Zbl 0165.02102号 布鲁姆,M。 42 1967 赋能环和空间有界概率机的并行计算。 Zbl 0598.68043号 博罗丁,A。;库克,S。;皮彭格,N。 42 1983 语义融合测试和完成方法。 Zbl 0598.68058号 David A.Plaisted。 42 1985 DOL系统等价问题的可判定性。 兹比尔0365.68074 卡雷尔·库利克二世;星期五,我。 42 1977 统计语言和复杂性类。 Zbl 0287.68029号 罗纳德·V·布克。 41 1974 模型理论博弈在离散线性阶和有限自动机中的应用。 Zbl 0387.68037号 理查德·E·拉德纳。 41 1977 整数剩余环上的码。 Zbl 0319.94003号 Ian F.布莱克。 40 1975 有限状态语言。 Zbl 0081.14503号 诺姆·乔姆斯基;乔治·A·米勒。 40 1958 逻辑关系和类型化\(\lambda\)-演算。 Zbl 0594.03006号 R·斯塔特曼。 40 1985 \(\omega \)-序列的无星正则集。 Zbl 0411.03031号 沃尔夫冈·托马斯 40 1979 使用字符串语言描述图片语言。 Zbl 0523.68065号 H·A·莫勒。;G.罗森伯格。;E.韦尔兹尔。 40 1982 类型为\(\beta\)的直接扩散函数。 Zbl 0231.94015 拉蒂,P.N。;肯纳潘,Pl。 39 1972 多带和多头下推自动机。 Zbl 0174.02701号 医学硕士哈里森。;伊瓦拉,O.H。 39 1968 无限维滤波:希尔伯特空间中的卡尔曼-布基滤波器。 Zbl 0178.18902号 彼得·法尔布。 39 1967 图的简洁表示。 Zbl 0538.68053号 哈纳·加尔宾;阿维·威格德森 39 1983 递归多态类型的理想模型。 Zbl 0636.68016号 大卫·麦奎因;戈登·普洛金;拉维·塞提 38 1986 关于模糊性和否定性的度量。二、。格子。 兹比尔0429.04008 罗纳德·雅格。 38 1980 模糊值逻辑中的操作。 Zbl 0434.03020号 迪迪埃·杜布瓦;亨利·普拉德 38 1979 可在多项式时间内计算的关系查询。 Zbl 0612.68086号 尼尔·伊梅尔曼 141 1986 确定性抛硬币应用于最佳平行列表排名。 Zbl 0612.68044号 理查德·科尔;乌兹·维什金 104 1986 边界NLC图文法-基本定义、范式和复杂性。 Zbl 0608.68060号 格列泽戈兹·罗森贝格;埃莫·韦尔兹尔 50 1986 每个序列都可以简化为一个随机序列。 Zbl 0628.03024号 佩特尔·加奇 47 1986 使用水平链接搜索树对Jordan序列进行线性时间排序。 Zbl 0614.68051号 库尔特·霍夫曼;库尔特·梅尔霍恩;皮埃尔·罗森斯蒂尔;Robert E.Tarjan。 44 1986 递归多态类型的理想模型。 Zbl 0636.68016号 大卫·麦奎因;戈登·普洛金;拉维·塞提 38 1986 OI层次结构的自动机理论表征。 Zbl 0628.68061号 达姆,维尔纳;安德烈亚斯·戈德 29 1986 关于图的简洁表示的注记。 Zbl 0616.68041号 克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。;米哈利斯·亚纳卡基斯 28 1986 关于相对化指数复杂性和概率复杂性类。 Zbl 0628.68047号 汉斯·海勒 23 1986 数据库关系中对空值的函数依赖性和约束。 Zbl 0612.68087号 保罗·阿泽尼;尼古拉·莫夫尼(Nicola M.Morfuni)。 20 1986 归纳推理的复杂性。 Zbl 0648.68090号 罗伯特·P·戴利。;卡尔·H·史密斯。 19 1986 关于更高类型的规范、理论和模型。 Zbl 0591.68019号 阿克塞尔·波涅 18 1986 分类组合子。 兹比尔0607.03005 居里,P.-L。 17 1986 描述非确定性程序及其属性的逻辑。 Zbl 0591.68017号 格拉芙,S。;J.西法基斯。 16 1986 CCS有限项观测同余的模态特征。 Zbl 0591.68031号 格拉芙,S。;J.西法基斯。 16 1986 BPP的决定性特征。 Zbl 0616.68049号 斯塔希斯·扎科斯;汉斯·海勒 16 1986 收缩网格自动机:稳定性、可判定性和复杂性。 Zbl 0626.68048号 库利克,K.II;J·格鲁斯卡。;A.萨洛马。 16 1986 常深度多项式尺寸电路的可定义性。 Zbl 0629.94023号 拉里·德伦伯格;尤里·古里维奇;萨拉、撒哈拉 15 1986 新的邻居搜索上限。 Zbl 0595.68055号 查泽尔,B。;科尔,R。;Preparia,F.P.公司。;Yap,C。 14 1986 Gröbner基和Church-Rosser交换Thue系统的超指数下界。 Zbl 0612.68033号 Huynh,Dung T。 13 1986 难处理集多项式核的密度和复杂性。 Zbl 0611.68021号 佩卡·奥波宁;乌韦州Schöning 12 1986 聚集归纳专业知识。 Zbl 0612.68077号 丹尼尔·奥斯森(Daniel N.Osherson)。;迈克尔·斯托布;斯科特·温斯坦 12 1986 近似的归纳推理。 Zbl 0618.68073号 詹姆斯·罗耶(James S.Royer)。 10 1986 概率命题时序逻辑。 Zbl 0614.03024号 塞尔吉·哈特;米查·谢里尔 9 1986 在较小网络上模拟大型网络。 Zbl 0627.68055号 博德兰德,H.L。;van Leeuwen,J。 8 1986 解决网状连接处理器阵列上的树问题。 Zbl 0605.68058号 米哈伊尔·阿塔拉。;Susanne E.Hambrusch。 5 1986 可识别集合的索引集在算术层次结构中的位置。 Zbl 0605.03017号 乌尔里克·勃兰特 5 1986 网络资源分配算法的概率分析。 Zbl 0591.90091号 南希·林奇。;南希·格里菲斯。;迈克尔·菲舍尔。;列奥尼达斯·吉巴斯(Leonidas J.Guibas)。 3 1986 while程序活性属性的语法指导分析。 兹比尔0591.68016 Krzysztof R.阿普特。;卡罗尔·德尔波特 2 1986 关于单工作带非确定性图灵机的时间、空间和反转之间某些同时关系的注记。 Zbl 0623.68051号 Etsuro Moriya;岩手,志贵;Takumi Kasai 2 1986 实时分支程序的指数下限。 Zbl 0627.68044号 斯坦尼斯拉夫·查亚克 2 1986 关于双向随机发生器的功率和确定性多空间模拟的不可能性。 Zbl 0629.68046号 马雷克·卡宾斯基;罗格斯·韦贝克 2 1986 计算复杂性问题的算术理论。 Zbl 0611.03018号 史蒂夫·霍默;约翰·雷夫 1 1986 属性语法机器。 Zbl 0612.68075号 吉尔伯托·菲莱 1 1986 收缩映射范畴及其在构造lambda微积分模型中的应用。 Zbl 0623.03016号 广富洋洋一(Yokouchi,Hirofumi) 1 1986 术语重写和应用程序设计中的函数定义。 Zbl 0629.68033号 Chilukuri K.莫汉。;曼达扬·K·斯利瓦斯。 1 1986 分析前锁定。 Zbl 0604.68026号 乔治·劳森;Eljas Soisalon-Soininen公司;彼得·维德迈尔 1 1986 上下文自由语言识别的简化下限。 兹比尔0605.68078 乔尔·塞菲亚斯。 1 1986 多项式跳跃运算符。 Zbl 0605.03018号 迈克·汤森 1 1986 快速并行算法问题分类。 Zbl 0575.68045号 斯蒂芬·库克。 193 1985 近似字符串匹配的算法。 Zbl 0575.68090号 埃斯科·乌科宁 70 1985 NP-P:EXPTIME与NEXPTIME中的稀疏集。 Zbl 0586.68042号 J·哈特马尼斯。;伊梅尔曼,N。;Sewelson,V。 45 1985 语义融合测试和完成方法。 Zbl 0598.68058号 David A.Plaisted。 42 1985 逻辑关系和类型化\(\lambda\)-演算。 Zbl 0594.03006号 R·斯塔特曼。 40 1985 自动机理论中一些问题的复杂性。 Zbl 0603.68059号 雅克·斯特恩 33 1985 使用重写系统进行计算。 Zbl 0584.68020号 纳鸿·德肖维茨 26 1985 字符串匹配的最佳并行算法。 Zbl 0588.68022号 兹维·加利勒 25 1985 字符串中的最佳并行模式匹配。 Zbl 0588.68023号 乌兹·维什金 25 1985 带定点运算符的逻辑零定律。 Zbl 0608.68077号 安德烈亚斯·布拉斯;尤里·古里维奇;德克斯特·科岑 20 1985 公平终止保护命令的证明规则。 Zbl 0577.68022号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;约翰·马考斯基(Johann A.Makowsky)。 17 1985 未来的力量完善了程序逻辑。 Zbl 0582.68010号 马修·轩尼诗;科林·斯特林 15 1985 多项式时间度的子格。 Zbl 0556.03033号 克劳斯Ambos-Spies 13 1985 如何在历史中搜索。 Zbl 0575.68062号 伯纳德·夏泽尔 11 1985 交换文法等价问题的复杂性。 兹比尔0601.68048 Huynh,Dung T。 10 1985 快速识别下推自动机和无上下文语言。 Zbl 0611.68052号 沃伊切赫·莱特 10 1985 有效希尔伯特不可约性。 Zbl 0584.12019号 埃里希·卡尔托芬 9 1985 拜占庭将军问题的新解决方案。 Zbl 0575.68025号 吕迪格·赖舒克 8 1985 数值相关性的规范化和公理化。 Zbl 0602.68095号 约翰·格兰特;杰克·明克尔 8 1985 流程图的命题动态逻辑。 Zbl 0575.68039号 D.哈雷。;R.谢尔曼。 6 1985 所有(单调)布尔函数和单调图属性的临界复杂性。 Zbl 0588.68024号 英戈·韦格纳 6 1985 用于本地化搜索的AVL树。 Zbl 0588.68033号 Tsakalidis,Athanasios K。 6 1985 平面相对于简单多边形的快速三角剖分。 Zbl 0575.68049号 斯特凡·赫特尔;库尔特·梅尔霍恩 5 1985 解开k页图。 Zbl 0584.05055号 拉维·坎南 4 1985 确定性和非确定性程序的可定义性(应用于一阶动态逻辑)。 Zbl 0585.68022号 A.J.Kfoury。 4 1985 非一致复杂性测度的一致特征。 Zbl 0588.68021号 JoséL.Balcázar。;约塞普·迪亚斯;约阿金·加巴罗 4 1985 在概率空间中,没有使用双向随机图生成器的多项式确定性空间模拟。 兹伯利0588.68026 马雷克·卡宾斯基;罗格斯·韦贝克 4 1985 关于Scott域、同步树和度量空间之间的关系。 Zbl 0598.68014号 威廉·罗恩斯(William C.Rounds)。 4 1985 立体图的复杂性。 Zbl 0601.68040号 阿夫拉蒂、福托;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。;乔治·帕帕乔治奥 4 1985 加权元素的隐式数据结构。 Zbl 0581.68050号 格雷格·弗雷德里克森。 3 1985 论霍尔逻辑的相对完备性。 Zbl 0586.68027号 米查尔·格拉博夫斯基 3 1985 多头有限自动机的一些特征。 Zbl 0588.68027号 奥斯卡·H·伊巴拉。;Sam M.金。;路易斯·罗西尔(Louis E.Rosier)。 3 1985 对称的一维细胞空间。 Zbl 0588.68030号 赫尔热·斯韦林斯基 3 1985 交替循环限制。 Zbl 0611.68020号 J.M.罗布森。 2 1985 非线性时间模型中的分离。 兹比尔0617.03005 阿米尔,阿米胡德 2 1985 伪随机数的生成和空间复杂性。 Zbl 0575.68048号 梅里克·福斯特;理查德·利普顿;拉里·斯托克迈耶 1 1985 Powerposets。 Zbl 0588.06002号 塔卡诺里·阿达奇 1 1985 同步通信的进程代数。 Zbl 0597.68027号 J.A.伯格斯特拉。;Klop,J.W。 209 1984 公开密钥加密应用中承诺问题的复杂性。 Zbl 0592.94012号 埃文,西蒙;艾伦·L·塞尔曼。;雅各布,雅各布 76 1984 随机性守恒不等式;数学理论中的信息和独立性。 兹伯利0592.03035 莱昂尼德·莱文(Leonid A.Levin)。 64 1984 确定完全分支时间逻辑。 Zbl 0593.03007号 艾默生·E·艾伦;普拉萨德·西斯特拉 58 1984 时钟同步的上下限。 Zbl 0591.68023号 詹妮弗·伦德利乌斯;南希·林奇 25 1984 任意与周期存储方案以及使用一种多边形的平面细分。 Zbl 0592.05017号 Wijshoff,H.A.G。;van Leeuwen,J。 19 1984 用于恒定深度电路的逻辑。 Zbl 0592.94023号 尤里·古里维奇;哈里·刘易斯。 14 1984 对称布尔函数的最优决策树和一次性分支程序。 Zbl 0592.94025号 英戈·韦格纳 13 1984 关于静态逻辑、动态逻辑和复杂性类。 Zbl 0589.68030号 D.哈雷。;佩莱格,D。 12 1984 几何检索问题。 Zbl 0591.68091号 理查德·科尔;Yap,Chee K。 12 1984 Floyd构造堆的算法的平均案例分析。 Zbl 0589.68046号 恩斯特·杜伯卡特(Ernst E.Doberkat)。 11 1984 重新审视自由选择网。 Zbl 0589.68044号 蒂亚加拉扬,P.S。;沃斯,K。 10 1984 一种用于归纳集和应用程序的编程语言。 Zbl 0591.68037号 大卫·哈雷;德克斯特·科赞 10 1984 用矩形覆盖多边形的算法。 Zbl 0591.68073号 Franzblau,D.S。;克莱特曼,D.J。 10 1984 优先级队列的哈希函数。 Zbl 0591.68093号 M.阿杰泰。;Fredman,M。;J.Komlós。 10 1984 具有明确概率的可判定命题动态逻辑。 Zbl 0592.68031号 Feldman,Yishai A。 10 1984 有限Church-Rosser-Tue系统的一致共轭问题是NP-完全的。 Zbl 0592.03025号 巴利亚特·纳伦德兰;弗里德里希·奥托;卡尔·温克尔曼 10 1984 有效地给出了域和lambda-calculus模型。 兹比尔0599.03008 保拉·吉安尼尼;朱塞佩·隆戈 10 1984 关于两个有限状态机之间通信的进展。 Zbl 0591.68057号 M.G.古达。;曼宁,E.G。;Yu,Y.T.于。 8 1984 交替有界辅助下推自动机。 Zbl 0589.68058号 理查德·E·拉德纳。;Stockmeyer,Larry J。;理查德·利普顿。 7 1984 面向c的动态多边形交集搜索。 Zbl 0591.68061号 Güting,拉尔夫·哈特穆特 7 1984 非确定性和并发程序的功能行为。 Zbl 0591.68018号 梅恩,迈克尔·G。;大卫·本森。 6 1984 关于计算的相似性和对偶性。一、。 Zbl 0589.68038号 洪家伟 5 1984 消息缓冲区可以在线性时态逻辑中公理化吗? Zbl 0591.68022号 西斯特拉,A.P。;E.M.克拉克。;北弗朗西兹。;A.R.梅耶。 5 1984 …还有1079个文档 所有引用出版物 前5名被引用出版物 全部的 前5名20493作者引用 117 桑杰·贾恩 102 穆罕默德·阿克拉姆 95 弗兰克·斯蒂芬 86 比扬·达瓦兹 79 Jun、Young Bae 78 格列泽戈兹·罗森贝格 77 奥斯卡·H·伊巴拉。 75 马丁·库特里布 72 徐泽水 68 约翰·莫德森。 63 罗纳德·雅格。 62 维托尔德·佩德里茨 60 乔斯特·恩格尔弗里特 53 詹建明 51 迪迪埃·杜布瓦 50 凯斯,约翰 50 亨利·普拉德。 45 Bustince Sola,汉贝托 45 陈世明 42 塔希尔马哈茂德 41 萨利姆·阿卜杜拉 41 Jan A.Bergstra。 40 卡雷尔·库利克二世 40 阿尔托·库斯塔·萨洛马 40 杨敏申 39 曼弗雷德·德罗斯特 39 玛丽亚·安吉莉·吉尔 39 弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich) 39 拉德科·梅西亚尔 38 亚历山大·奥霍金 38 伍德,德里克 37 福格勒、海科 36 韩相恩 36 朱哈尼·卡鲁马基 36 艾蒂安·凯尔(Etienne E.Kerre)。 36 弗里德里希·奥托 35 Masaaki原田 35 马库斯·霍尔泽 35 胡宝清 35 井上,Katsushi 34 托尔·赫列塞思 34 Madhumangal朋友 34 Păun,盖奥尔吉 34 吴显忠 33 卢卡·埃特罗 33 安东尼奥·迪·诺拉 33 Efim B.金伯。 32 贝德雷加,本杰明·雷内·卡莱哈斯 32 克里斯蒂安·卡鲁德。 32 陈晓红 32 布鲁诺·库塞尔 32 哈利什·加格 31 拉贾布·阿里·博尔祖艾 31 贝尔纳·德·贝茨 31 亨宁费尔瑙 31 Anna Ingólfsdóttir 30 安德烈亚斯·马尔彻 30 帕特里克·索莱 30 Yuji吉田 29 托菲·阿拉维兰鲁 29 弗赖夫德斯、拉西什·毛尔蒂 29 刘培德 29 杰克·H·卢茨。 29 穆罕默德·沙比尔 28 书,罗纳德·弗农 28 Hemaspandra,A巷。 28 Juha Honkala 28 销,Jean-Eric 28 路德维希·施泰格 27 安德烈·埃伦菲赫特 27 亚伯拉罕·坎德尔 27 阿米特·库马尔 27 安德烈·奥特弗里德·涅斯 26 尤根·达索 26 埃里希·彼得·克莱门特 26 李红星 25 希拉·格雷巴赫。 25 乔瓦尼·皮奇奇尼 25 莫西·亚亚科夫·瓦尔迪 25 穆罕默德·梅赫迪·扎赫迪 25 里纳特·扎里波夫。 24 佐尔坦,福尔öp 24 多米尼克·佩林 24 Kai T.Salomaa。 24 阿伦·库马尔·沙尔马 24 卡·平·舒姆 24 王雪萍 24 托马斯·齐格曼 23 罗德尼·格雷厄姆·唐尼 23 阿什加尔·汗 23 萨蒂什·库马尔 23 罗伯特·洛文 23 侯赛因·拉什曼洛 23 塞萨,萨尔瓦托 23 伊索高南 23 保罗·M·B·维坦伊(Paul M.B.Vitányi)。 22 乔治·巴姆帕利亚斯 22 Giangiacomo Gerla 22 乔治·克莱尔。 22 斯特芬·兰格 …还有20393名作者 全部的 前5名950种期刊引用 1,749 模糊集与系统 1,589 理论计算机科学 993 信息科学 544 计算机与系统科学杂志 462 信息与计算 457 软计算 362 信息处理信件 247 国际近似推理杂志 238 离散数学 238 智能与模糊系统杂志 225 数学分析与应用杂志 214 设计、代码和密码 204 计算机与数学及其应用 194 欧洲运筹学杂志 194 计算与应用数学 184 信息学报 180 国际计算机数学杂志 174 国际计算机科学基础杂志 167 数学系统理论 164 离散应用数学 158 有限域及其应用 151 国际通用系统杂志 146 国际不确定性、模糊性和基于知识的系统杂志 135 凯贝内提卡 127 国际系统科学杂志 120 模糊优化与决策 118 Automatica公司 114 应用数学建模 114 工程中的数学问题 108 伊朗模糊系统杂志 101 计算系统理论 99 国际控制杂志 98 应用数学与计算 87 纯逻辑与应用逻辑年鉴 87 模糊系统研究进展 86 组合理论杂志。系列A 86 函数空间杂志 83 符号逻辑杂志 83 凯伯内特斯 81 模式识别 79 计算与应用数学杂志 76 富兰克林学院学报 76 数学和计算机建模 72 应用数学与计算杂志 72 新数学与自然计算 71 混沌、孤子和分形 71 对称 71 南非荷兰语Matematika 70 人工智能 68 算法 66 数学杂志 65 密码学和通信 63 RAIRO公司。Informatique Théorique et Applications公司 61 计算机科学中的逻辑方法 58 离散数学科学与密码学杂志 57 应用数学杂志 56 运筹学年鉴 54 RAIRO,Informatique Théorique公司 54 通信数学进展 53 统计规划与推断杂志 52 线性代数及应用 52 RAIRO公司。理论信息学及其应用 51 国际计算机与信息科学杂志 50 最优化理论与应用杂志 50 符号计算杂志 50 MSCS公司。计算机科学中的数学结构 50 数学与人工智能年鉴 49 Opsearch(操作搜索) 49 国际生产研究杂志 49 模糊信息与工程 48 系统和控制信件 48 国际智能系统杂志 47 工程、通信和计算中的应用代数 45 控制论与系统 45 自然与社会中的离散动力学 44 信息传输问题 43 计算 42 半群论坛 42 计算复杂性 41 国际控制杂志,第一辑 39 计算的形式方面 39 复杂性 39 不等式与应用杂志 39 国际系统科学杂志。系统与集成原理与应用 38 模拟中的数学与计算机 37 物理A 37 摘要与应用分析 36 国际数学与数学科学杂志 36 计算机与运筹学 35 数学科学杂志(纽约) 34 数学物理杂志 34 分布式计算 34 控制论与系统分析 34 程序设计中的逻辑和代数方法杂志 34 韩国数学杂志 33 国际理论物理杂志 33 Studia Logica公司 33 Filomat公司 32 统计学中的传播。理论与方法 32 数学成像与视觉杂志 …以及850多份期刊 全部的 前5名63个领域被引用 8,827 计算机科学(68至XX) 4,267 数学逻辑和基础(03-XX) 2,578 信息与通信理论、电路(94-XX) 1,882 运筹学、数学规划(90-XX) 1,616 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1216年 系统论;控制(93至XX) 1,138 统计学(62-XX) 1,031 组合数学(05-XX) 970 一般拓扑结构(54至XX) 765 群论与推广(20-XX) 656 概率论与随机过程(60-XX) 625 阶、格、有序代数结构(06-XX) 541 数论(11-XX) 423 数值分析(65-XX) 383 生物学和其他自然科学(92-XX) 328 实际功能(26-XX) 279 结合环与代数(16-XX) 268 线性代数和多线性代数;矩阵理论(15-XX) 268 测量和集成(28-XX) 253 常微分方程(34-XX) 240 量子理论(81-XX) 234 算子理论(47-XX) 227 功能分析(46倍X倍) 215 一般代数系统(08-XX) 212 范畴理论;同调代数(18-XX) 211 变分法与最优控制;最优化(49至XX) 151 动力系统和遍历理论(37至XX) 138 序列、级数、可和性(40-XX) 127 统计力学,物质结构(82-XX) 126 几何图形(51至XX) 125 差分和函数方程(39至XX) 121 交换代数(13-XX) 120 凸和离散几何(52至XX) 88 偏微分方程(35-XX) 86 历史和传记(01-XX) 80 近似和展开(41-XX) 76 可变形固体力学(74-XX) 74 场论和多项式(12-XX) 67 欧氏空间的调和分析(42至XX) 65 代数几何(14-XX) 60 总体主题;集合(00-XX) 55 积分方程(45-XX) 54 粒子和系统力学(70-XX) 40 地球物理学(86-XX) 30 流体力学(76-XX) 29 代数拓扑(55-XX) 29 流形和细胞复合体(57至XX) 28 拓扑群、李群(22日至XX日) 26 特殊功能(33至XX) 25 积分变换,运算微积分(44-XX) 24 复变量的函数(30年XX月) 16 非结合环和代数(17-XX) 15 抽象谐波分析(43至XX) 15 微分几何(53至XX) 15 整体分析,流形分析(58至XX) 14 经典热力学,传热(80-XX) 12 光学、电磁理论(78-XX) 6 相对论和引力理论(83至XX) 5 几个复变量和分析空间(32-XX) 2 数学教育(97-XX) 1 \(K\)理论(19-XX) 1 势能理论(31日至XX日) 1 天文学和天体物理学(85-XX) 按年份列出的引文