编辑配置文件(在新选项卡中打开) 尼禄,阿尼尔 合著者距离 作者ID: 橙花 发布日期: 尼禄,阿尼尔;A.内罗德。 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 104出版物自1958年起,包括6本书 30作为编辑的贡献·1进一步贡献 传记参考: 4出版物 合著者: 64位合著者具有110联合出版物 2152合著作者 全部的 前5名合著者 25 单作者的 29 杰弗里·布赖恩·雷梅尔 12 谢尔盖·阿特莫夫 12 V.Wiktor马雷克 7 Bakhadyr M.库萨诺夫。 7 乔治·梅塔基德斯 6 理查德·阿诺德·肖尔 6 苏布拉曼尼亚,V.S。 5 约翰·纽索姆·克罗斯利 5 沃尔夫·科恩 三 Antsaklis,Panos J。 三 尤里·埃尔肖夫(Yuri Ershov)ĭ列奥尼多维奇(Leonidovich) 三 谢尔盖·冈查洛夫 三 杜明达·威杰塞克拉 三 亚克尼斯,亚历山大 2 克里斯托弗·约翰·阿什 2 Jennifer M.Davoren。 2 马哈德万·加内什 2 葛晓林 2 石原、Hajime 2 瓦迪姆·卡根 2 比约恩Kjos-Hanssen 2 尤里·弗拉基米洛维奇·马蒂亚塞维奇 2 托马斯·摩尔 2 Ng,Raymond T。 2 S.Shankar萨斯特里 2 贾迪埃普·斯利瓦斯塔瓦 2 塔兹林,米哈伊尔·阿布拉莫维奇 2 克劳斯·维赫劳赫 1 谢尔盖·伊万诺维奇·阿德扬 1 肯尼斯·琼·巴维斯 1 科林·贝尔(Colin E.Bell)。 1 埃雷特主教 1 弗拉基米尔·布雷曼 1 沃恩·库塔 1 尤尔根·迪克斯 1 罗宾·埃文斯。 1 装配,梅尔文·克里斯 1 乌尔里希·富巴赫 1 苏曼神经节 1 欧文·伦纳德·格利克斯伯格 1 马丁·查尔斯·戈伦比奇 1 拉杰夫·普拉巴卡尔·戈尔 1 斯里坎思·戈蒂帕蒂 1 乔治·戈特洛布 1 诺姆·格林伯格 1 罗伯特·格罗斯曼。 1 利奥·A·哈灵顿。 1 弗雷德里克·霍夫曼 1 黄文奇 1 Ko、Ker-I 1 萨里特·克劳斯 1 迈克尔·D·莱蒙。 1 阿尔弗雷德·马纳斯特。 1 马库斯,雪莉 1 伊文·马利尔斯(Iven M.Y.Mareels)。 1 路易斯·莫尼兹·佩雷拉 1 安德斯·雷文(Anders P.Ravn)。 1 汉斯·里舍尔 1 Rosenblatt,默里 1 萨克斯,杰拉尔德·伊诺克 1 格诺·萨尔泽 1 安德烈·斯克洛夫 1 赫伯特·S·尚克。 1 斯卡菲达斯、埃夫斯特拉蒂奥斯 1 Rick L.史密斯。 1 特鲁什琴斯基,米洛斯奥 1 斯特凡·伊曼纽尔·沃沙夫斯基 1 约翰·沃默 1 弗拉基米尔·亚克尼斯 全部的 前5名系列 16 纯逻辑与应用逻辑年鉴 15 计算机科学课堂讲稿 8 理论计算机科学 4 逻辑与计算杂志 4 数学与人工智能年鉴 三 数理逻辑年鉴 三 数学年鉴。第二系列 2 代数杂志 2 符号逻辑杂志 2 信息与计算 2 符号逻辑公报 2 逻辑与数学基础研究 1 美国数学月刊 1 休斯顿数学杂志 1 数学学报 1 杜克数学杂志 1 数学基础 1 IEEE自动控制汇刊 1 计算机协会杂志 1 数学年刊 1 数学期刊 1 美国数学学会会刊 1 美国数学学会会刊 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 逻辑程序设计杂志 1 澳大利亚数学学会杂志。系列A 1 美国数学学会通告 1 数学逻辑档案 1 欧洲控制杂志 1 IGPL逻辑杂志 1 欧洲理论计算机科学协会公报 1 美国数学学会公报 1 当代数学 1 Ergebnisse der Mathematik und ihrer Grenzgebiete数学与格伦茨盖比 1 计算机科学研究生课程 1 纯数学专题讨论会论文集 1 计算机科学与应用逻辑进展 1 计算机科学与人工智能研究 全部的 前5名领域 84 数学逻辑和基础(03-XX) 53 计算机科学(68至XX) 31 总体主题;集合(00-XX) 10 历史和传记(01-XX) 10 系统论;控制(93至XX) 三 组合数学(05-XX) 三 变分法与最优控制;最优化(49至XX) 2 场论和多项式(12-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 范畴理论;同调代数(18-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 代数几何(14-XX) 1 复变量的函数(30年XX月) 1 凸和离散几何(52-XX) 1 差速器几何结构(53至XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 98出版物有1093年被引用中的次814文件 引用人▼ 年份▼ 线性自动机变换。 Zbl 0089.33403号 A.内罗德。 126 1958 场论的有效内容。 Zbl 0469.03028号 梅塔基德斯,G。;Nerode,A。 64 1979 递归可枚举向量空间。 Zbl 0389.03019号 梅塔基德斯,G。;A.内罗德。 61 1977 混合动力系统。 Zbl 0825.00044号 60 1993 isols的扩展。 Zbl 0101.01203号 Nerode,A。 46 1961 自动机理论及其应用。 Zbl 1083.68058号 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 45 2001 内在递归关系。 Zbl 0467.03041号 阿什,C.J。;A.内罗德。 35 1981 递归数学手册简介。 Zbl 0930.03037号 Ershov,Y.L。;Goncharov,S.S。;A.内罗德。;雷梅尔,J.B。 33 1998 自动结构理论中的开放性问题。 Zbl 1169.03352号 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 24 2008 可约性排序:理论、可定义性和自同构。 兹伯利0494.03028 尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 22 1980 非单调规则系统理论I。 Zbl 0878.68035号 马雷克·W·。;A.内罗德。;雷梅尔,J。 22 1990 关于领域和抽象依赖的递归理论。 Zbl 0469.03029号 Metakides,G。;A.内罗德。 21 1980 递归数学手册。第一卷:递归模型理论。 Zbl 0905.03001号 20 1998 Diophantine纠正了ISO中的非标准模型。 Zbl 0158.25104号 A.内罗德。 18 1966 钢筋混凝土子结构格构的调查。 兹比尔0573.03015 A.内罗德。;雷梅尔,J。 17 1985 可约序的二阶逻辑和一阶理论。 Zbl 0465.03024号 尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 16 1980 有限生成r.e.代数的有效性质。 Zbl 0837.03037号 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 15 1995 混合控制系统专题。 Zbl 0901.00018号 15 1998 isolic整数的扩展。 Zbl 0106.00801号 A.内罗德。 14 1962 一些Stone空间和递归理论。 Zbl 0114.24702号 A.内罗德。 14 1959 递归逻辑程序的稳定模型集有多复杂? Zbl 0766.03024号 马雷克,W。;A.内罗德。;雷梅尔,J。 14 1992 递归理论和代数。 Zbl 0306.02038号 梅塔基德斯,G。;A.内罗德。 14 1975 将非递归方法引入数学。 Zbl 0511.03020号 梅塔基德斯,乔治;尼禄,阿尼尔 14 1982 布朗运动所访问点的有效维数。 Zbl 1158.68017号 比约恩Kjos-Hanssen;尼禄,阿尼尔 13 2009 计算非单调演绎数据库的混合整数规划方法。 Zbl 0830.68039号 科林·贝尔;尼罗德,阿尼尔;Ng,Raymond T。;苏布拉曼尼亚,V.S。 13 1994 应用程序逻辑。 Zbl 0842.03003号 尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 13 1993 应用程序逻辑。第2版。 Zbl 0874.03004号 尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 13 1997 非单调规则系统的理论。二、。 Zbl 0865.03017号 马雷克·W·。;A.内罗德。;雷梅尔,J。 13 1992 表aux用于构造并发动态逻辑。 Zbl 1094.03021号 杜明达·威杰塞克拉;尼禄,阿尼尔 12 2005 结构的自动表示。 Zbl 07776729号 巴哈迪尔·库萨诺夫;尼罗德,阿尼尔 12 1995 组合函子。 Zbl 0283.02036号 J.N.克罗斯利。;尼禄,阿尼尔 11 1974 等级和游戏的概念。 Zbl 0946.03013号 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 11 1994 纯递归理论在递归分析中的应用。 Zbl 0638.03058号 尼禄,阿尼尔;黄文奇 11 1985 基尔霍夫网络定理的代数证明。 Zbl 0102.33902号 A.内罗德。;H·柄。 10 1961 信念修正的背景:前向链正规非单调规则系统。 Zbl 0798.03028号 马雷克,V.W。;A.内罗德。;雷梅尔,J.B。 10 1994 谓词逻辑程序的稳定模型。 Zbl 0836.68013号 V.Wiktor马雷克;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。 10 1994 递归数学手册。第2卷:递归代数,分析和组合学。 Zbl 0905.03002号 10 1998 并行程序作为游戏中的策略。 Zbl 0746.68046号 尼禄,阿尼尔;亚克尼斯,亚历山大;弗拉基米尔·亚克尼斯 9 1992 计算外部数据库。 Zbl 0829.68042号 尼禄,阿尼尔;Ng,Raymond T。;苏布拉曼尼亚,V.S。 9 1995 复杂性理论代数。II: 布尔代数。 Zbl 0703.03023号 A.内罗德。;雷梅尔,J.B。 9 1989 算法随机布朗运动的重对数定律。 Zbl 1133.68029号 比约恩Kjos-Hanssen;尼禄,阿尼尔 8 2007 关于凸紧图灵集的极点。 兹伯利0947.03079 葛晓林;尼禄,阿尼尔 8 1994 多项式时间等价类型。 Zbl 0701.03017号 A.内罗德。;雷梅尔,J.B。 8 1990 麦克诺顿游戏和并发程序的提取策略。 Zbl 0859.68026号 尼罗德,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。;亚克尼斯,亚历山大 7 1996 稳定且基础良好的语义的非基础实现。 Zbl 0872.68108号 乔治·戈特洛布;雪莉·马库斯;尼禄,阿尼尔;格诺·萨尔泽;苏布拉曼尼亚,V.S。 7 1996 逻辑程序、有序和前向链接。 Zbl 0927.68021号 马雷克,V.W。;A.内罗德。;雷梅尔,J.B。 7 1999 混合动力系统II。1994年10月28日至30日,美国纽约州伊萨卡市康奈尔大学数学科学研究所(MSI)第二次研讨会。诉讼程序。 Zbl 0875.00062号 6 1995 复杂性理论代数:向量空间基。 Zbl 0846.03020号 A.内罗德。;雷梅尔,J.B。 5 1990 丢番图方程的(p)-根积分零点的判定方法。 兹比尔0112.27304 A.内罗德。 5 1963 变分法的有效内容。一: 半连续性和chattering引理。 Zbl 0859.03030号 葛晓林;尼禄,阿尼尔 5 1996 拟阵上的递归理论。二、。 Zbl 0552.03028号 Nerode,A。;雷梅尔,J.B。 5 1983 一些关于直觉主义逻辑的讲座。 Zbl 0703.03001号 尼禄,阿尼尔 5 1990 埃雷特·毕晓普:对他和他的研究的反思。(1983年9月24日在圣地亚哥加利福尼亚大学举行的埃雷特主教纪念会议记录)。 Zbl 0579.01015号 5 1985 复杂性理论代数。I: 有限域上的向量空间。 Zbl 0664.68052号 尼禄,阿尼尔;雷梅尔,J.B。 5 1987 直觉主义理论的可判定克里普克模型。 Zbl 0924.03060号 石原、Hajime;巴哈迪尔·库萨诺夫;尼禄,阿尼尔 5 1998 等值线的非线性组合函数。 Zbl 0158.25103号 A.内罗德。 5 1965 一般拓扑和部分递归泛函。 Zbl 0201.32902号 A.内罗德。 4 1960 逻辑编程和非单调推理。第二届国际研讨会会议记录,里斯本(葡萄牙),1993年6月28日。 Zbl 0850.68136号 4 1994 有效尺寸。 Zbl 0344.02036号 克罗斯利,J.N。;尼禄,阿尼尔 4 1976 模态逻辑的有效完备性定理。 Zbl 1056.03008号 苏曼神经节;尼禄,阿尼尔 4 2004 多项式孤立集。 Zbl 0705.03024号 A.内罗德。;雷梅尔,J.B。 4 1990 逻辑编程和非单调推理。1997年7月28日至31日在德国达格斯图尔举行的第四届国际会议(LPNMR’97)的会议记录。 Zbl 0936.00041号 4 1997 带注释的非单调规则系统。 Zbl 0874.68276号 A.内罗德。;雷梅尔,J.B。;苏布拉曼尼亚,V.S。 4 1997 混合动力系统V.第五届国际混合动力系统研讨会于1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。 兹比尔0909.00062 4 1999 拟阵上的递归理论。 Zbl 0526.03026号 A.内罗德。;雷梅尔,J。 三 1982 多项式分级逻辑。I.系统T的分级版本。 Zbl 0717.03008号 A.内罗德。;雷梅尔,J.B。;A.斯克洛夫。 三 1989 递归等价类型之间的加法关系。 Zbl 0168.01102号 A.内罗德。 2 1965 算术孤立集和非标准模型。 Zbl 0178.31903号 A.内罗德。 2 1962 递归正常默认逻辑的复杂性。 Zbl 0937.03038号 V.Wiktor马雷克;尼禄,阿尼尔;雷梅尔,杰弗里·B。 2 1997 Composita、方程和自由生成的代数。 Zbl 0115.01203号 A.内罗德。 2 1959 递归可枚举子空间格的不可判定性。 Zbl 0451.03014号 尼禄,阿尼尔;Rick L.史密斯。 2 1980 代数闭包和Skolemization的函数性质。 兹比尔0463.18001 阿什,C.J。;A.内罗德。 2 1981 逻辑编程和非单调推理。第三届国际会议,LPNMR’95,美国肯塔基州列克星敦,1995年6月26-28日。诉讼程序。 Zbl 0875.00116号 2 1995 混合控制回路、A/D图和动态规格。 Zbl 1049.93048号 J.M.达沃伦。;T·摩尔。;Nerode,A。 2 2002 通过部分实例化计算确定逻辑程序。 Zbl 0793.68033号 瓦迪姆·卡根;尼禄,阿尼尔;苏布拉曼尼亚,V.S。 2 1994 递归理论中的泛型对象。 Zbl 0596.03050号 A.内罗德。;雷梅尔,J.B。 2 1985 可计算克里普克模型和中间逻辑。 Zbl 0913.03033号 石原、Hajime;巴哈迪尔·库萨诺夫;尼禄,阿尼尔 2 1998 随机系统的最优控制器切换。 Zbl 0936.93051号 斯科菲达斯,E。;埃文斯,R.J。;马利尔斯,I.M.Y。;A.内罗德。 2 1999 功能依赖性和独立性的表。 Zbl 1412.68056号 杜明达,维耶塞克拉;M.加内什。;贾迪埃普·斯利瓦斯塔瓦;尼禄,阿尼尔 2 1997 讨论:“混合系统的最优控制方法”。 Zbl 1293.49058号 A.内罗德。 1 2003 特殊问题:分析中的可计算性和复杂性。1999年11月,德国达格斯图尔城堡德国计算机科学中心研讨会论文。 Zbl 0993.00507号 1 2002 组合级数和递归等价类型。 Zbl 0168.01103号 A.内罗德。 1 1966 RET的通用嵌入属性。 Zbl 0198.02504号 A.内罗德。;A.B.马纳斯特。 1 1970 拟阵上的递归等价。 Zbl 0472.03035号 约翰·克罗斯利。;尼禄,阿尼尔 1 1981 符号逻辑协会会议。1969年,纽约。 Zbl 0269.02001 1 1973 逻辑和基础。 Zbl 0304.02003年 A.内罗德。 1 1975 组合函子。 Zbl 0312.02036号 J.N.克罗斯利。;尼禄,阿尼尔 1 1975 声音函子。 Zbl 0324.02030号 J.N.克罗斯利。;尼禄,阿尼尔 1 1975 计算机科学的逻辑基础。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。 Zbl 1322.03004号 1 2013 递归理论。(1982年6月28日至7月16日,在纽约伊萨卡康奈尔大学举行的AMS-ASL递归理论夏季研究所论文集)。 Zbl 0556.00008号 1 1985 LFCS’94,计算机科学逻辑基础。第三届国际研讨会,俄罗斯圣彼得堡,1994年7月11日至14日。诉讼程序。 Zbl 0865.00034号 1 1994 芬斯勒动力学混合系统的控制综合。 Zbl 1035.49032号 沃尔夫·科恩;弗拉基米尔·布雷曼;尼罗德,阿尼尔 1 2002 通过部分实例化计算最小模型。 Zbl 0873.68057号 瓦迪姆·卡根;尼禄,阿尼尔;苏布拉曼尼亚,V.S。 1 1996 混合系统的可行性。 Zbl 0874.68208号 沃尔夫·科恩;尼禄,阿尼尔;雷梅尔,杰弗里·B。;亚克尼斯,亚历山大 1 1995 具有递归约束集的非单调规则系统。 Zbl 0938.03043号 V.Wiktor马雷克;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。 1 1997 通过多代理混合系统实现可扩展数据和传感器融合。 Zbl 0928.93028号 沃尔夫·科恩;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。 1 1999 分析的可计算性和复杂性。 Zbl 0919.00028号 1 1999 计算机科学的逻辑基础。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。 Zbl 1490.03004号 1 2022 计算机科学的逻辑基础。2022年1月10日至13日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2022国际研讨会。诉讼程序。 Zbl 1490.03004号 1 2022 计算机科学的逻辑基础。国际研讨会,LFCS 2013,美国加利福尼亚州圣地亚哥,2013年1月6日至8日。诉讼程序。 Zbl 1322.03004号 1 2013 布朗运动所访问点的有效维数。 Zbl 1158.68017号 比约恩Kjos-Hanssen;尼禄,阿尼尔 13 2009 自动结构理论中的开放性问题。 Zbl 1169.03352号 巴哈迪尔·库萨诺夫;尼罗德,阿尼尔 24 2008 算法随机布朗运动的重对数定律。 Zbl 1133.68029号 比约恩Kjos-Hanssen;尼禄,阿尼尔 8 2007 表aux用于构造并发动态逻辑。 Zbl 1094.03021号 杜明达·威杰塞克拉;尼禄,阿尼尔 12 2005 模态逻辑的有效完备性定理。 Zbl 1056.03008号 苏曼神经节;尼禄,阿尼尔 4 2004 讨论:“混合系统的最优控制方法”。 Zbl 1293.49058号 A.内罗德。 1 2003 混合控制回路、A/D图和动态规格。 Zbl 1049.93048号 J.M.达沃伦。;T·摩尔。;A.内罗德。 2 2002 特殊问题:分析中的可计算性和复杂性。1999年11月,德国达格斯图尔城堡德国计算机科学中心研讨会论文。 Zbl 0993.00507号 1 2002 芬斯勒动力学混合系统的控制综合。 Zbl 1035.49032号 沃尔夫·科恩;弗拉基米尔·布雷曼;尼禄,阿尼尔 1 2002 自动机理论及其应用。 兹比尔1083.68058 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 45 2001 逻辑程序、有序和前向链接。 Zbl 0927.68021号 马雷克,V.W。;A.内罗德。;雷梅尔,J.B。 7 1999 混合动力系统V.第五届国际混合动力系统研讨会于1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。 兹比尔0909.00062 4 1999 随机系统的最优控制器切换。 Zbl 0936.93051号 斯科菲达斯,E。;埃文斯,R.J。;马利尔斯,I.M.Y。;A.内罗德。 2 1999 通过多代理混合系统实现可扩展数据和传感器融合。 Zbl 0928.93028号 沃尔夫·科恩;尼禄,阿尼尔;雷梅尔,杰弗里·B。 1 1999 分析的可计算性和复杂性。 Zbl 0919.00028号 1 1999 递归数学手册简介。 Zbl 0930.03037号 Ershov,Y.L。;Goncharov,S.S。;A.内罗德。;雷梅尔,J.B。 33 1998 递归数学手册。第一卷:递归模型理论。 Zbl 0905.03001号 20 1998 混合控制系统专题。 Zbl 0901.00018号 15 1998 递归数学手册。第2卷:递归代数,分析和组合学。 Zbl 0905.03002号 10 1998 直觉主义理论的可判定克里普克模型。 Zbl 0924.03060号 石原、Hajime;Khoussainov,巴哈迪尔;尼禄,阿尼尔 5 1998 可计算克里普克模型和中间逻辑。 Zbl 0913.03033号 石原、Hajime;巴哈迪尔·库萨诺夫;尼禄,阿尼尔 2 1998 应用程序逻辑。第2版。 Zbl 0874.03004号 尼罗德,阿尼尔;理查德·肖尔(Richard A.Shore)。 13 1997 逻辑编程和非单调推理。1997年7月28日至31日在德国达格斯图尔举行的第四届国际会议(LPNMR’97)的会议记录。 Zbl 0936.00041号 4 1997 带注释的非单调规则系统。 Zbl 0874.68276号 A.内罗德。;雷梅尔,J.B。;苏布拉曼尼亚,V.S。 4 1997 递归正常默认逻辑的复杂性。 兹伯利0937.03038 V.Wiktor马雷克;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。 2 1997 功能依赖性和独立性的表。 Zbl 1412.68056号 杜明达·威杰塞克拉;M.加内什。;贾迪埃普·斯利瓦斯塔瓦;尼禄,阿尼尔 2 1997 具有递归约束集的非单调规则系统。 Zbl 0938.03043号 V.Wiktor马雷克;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。 1 1997 麦克诺顿游戏和并发程序的提取策略。 Zbl 0859.68026号 尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。;亚克尼斯,亚历山大 7 1996 稳定且基础良好的语义的非基础实现。 Zbl 0872.68108号 乔治·戈特洛布;雪莉·马库斯;尼罗德,阿尼尔;格诺·萨尔泽;苏布拉曼尼亚,V.S。 7 1996 变分法的有效内容。一: 半连续性和chattering引理。 Zbl 0859.03030号 葛晓林;尼禄,阿尼尔 5 1996 通过部分实例化计算最小模型。 Zbl 0873.68057号 瓦迪姆·卡根;尼罗德,阿尼尔;苏布拉曼尼亚,V.S。 1 1996 有限生成r.e.代数的有效性质。 Zbl 0837.03037号 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 15 1995 结构的自动表示。 Zbl 07776729号 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 12 1995 计算限制数据库。 Zbl 0829.68042号 尼禄,阿尼尔;Ng,Raymond T。;苏布拉曼尼亚,V.S。 9 1995 混合动力系统II。1994年10月28日至30日,美国纽约州伊萨卡市康奈尔大学数学科学研究所(MSI)第二次研讨会。诉讼程序。 Zbl 0875.00062号 6 1995 逻辑编程和非单调推理。第三届国际会议,LPNMR’95,美国肯塔基州列克星敦,1995年6月26-28日。诉讼程序。 Zbl 0875.00116号 2 1995 混合系统的可行性。 Zbl 0874.68208号 沃尔夫·科恩;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。;亚克尼斯,亚历山大 1 1995 计算非单调演绎数据库的混合整数规划方法。 Zbl 0830.68039号 科林·贝尔;尼禄,阿尼尔;吴,Raymond T。;苏布拉曼尼亚,V.S。 13 1994 等级和游戏的概念。 Zbl 0946.03013号 巴哈迪尔·库萨诺夫;尼禄,阿尼尔 11 1994 信念修正的背景:前向链正规非单调规则系统。 Zbl 0798.03028号 马雷克,V.W。;A.内罗德。;雷梅尔,J.B。 10 1994 谓词逻辑程序的稳定模型。 Zbl 0836.68013号 V.Wiktor马雷克;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。 10 1994 关于凸紧图灵集的极点。 Zbl 0947.03079号 葛晓林;尼禄,阿尼尔 8 1994 逻辑编程和非单调推理。第二届国际研讨会会议记录,里斯本(葡萄牙),1993年6月28日。 Zbl 0850.68136号 4 1994 通过部分实例化计算确定逻辑程序。 Zbl 0793.68033号 瓦迪姆·卡根;尼禄,阿尼尔;苏布拉曼尼亚,V.S。 2 1994 LFCS’94,计算机科学逻辑基础。第三届国际研讨会,俄罗斯圣彼得堡,1994年7月11日至14日。诉讼程序。 Zbl 0865.00034号 1 1994 混合动力系统。 Zbl 0825.00044号 60 1993 应用程序逻辑。 Zbl 0842.03003号 尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 13 1993 递归逻辑程序的稳定模型集有多复杂? Zbl 0766.03024号 马雷克·W·。;A.内罗德。;雷梅尔,J。 14 1992 非单调规则系统的理论。二、。 Zbl 0865.03017号 马雷克·W·。;A.内罗德。;雷梅尔,J。 13 1992 并行程序作为游戏中的策略。 Zbl 0746.68046号 尼禄,阿尼尔;亚克尼斯,亚历山大;弗拉基米尔·雅赫尼斯 9 1992 非单调规则系统理论I。 Zbl 0878.68035号 马雷克·W·。;A.内罗德。;雷梅尔,J。 22 1990 多项式时间等价类型。 Zbl 0701.03017号 A.内罗德。;雷梅尔,J.B。 8 1990 复杂性理论代数:向量空间基。 Zbl 0846.03020号 A.内罗德。;雷梅尔,J.B。 5 1990 一些关于直觉主义逻辑的讲座。 Zbl 0703.03001号 尼禄,阿尼尔 5 1990 多项式孤立集。 Zbl 0705.03024号 A.内罗德。;雷梅尔,J.B。 4 1990 复杂性理论代数。二: 布尔代数。 Zbl 0703.03023号 A.内罗德。;雷梅尔,J.B。 9 1989 多项式分级逻辑。I.系统T的分级版本。 Zbl 0717.03008号 Nerode,A。;雷梅尔,J.B。;A.斯克洛夫。 三 1989 复杂性理论代数。一: 有限域上的向量空间。 Zbl 0664.68052号 尼禄,阿尼尔;雷梅尔,J.B。 5 1987 钢筋混凝土子结构格构的调查。 兹比尔0573.03015 A.内罗德。;雷梅尔,J。 17 1985 纯递归理论在递归分析中的应用。 Zbl 0638.03058号 尼禄,阿尼尔;黄文奇 11 1985 埃雷特·毕晓普:对他和他的研究的反思。(1983年9月24日在圣地亚哥加利福尼亚大学举行的埃雷特主教纪念会议记录)。 Zbl 0579.01015号 5 1985 递归理论中的泛型对象。 Zbl 0596.03050号 A.内罗德。;雷梅尔,J.B。 2 1985 递归理论。(1982年6月28日至7月16日在纽约伊萨卡康奈尔大学举行的AMS-ASL递归理论夏季研究所会议录)。 Zbl 0556.00008号 1 1985 拟阵上的递归理论。二、。 Zbl 0552.03028号 A.内罗德。;雷梅尔,J.B。 5 1983 将非递归方法引入数学。 Zbl 0511.03020号 乔治·梅塔基德斯;尼禄,阿尼尔 14 1982 拟阵上的递归理论。 Zbl 0526.03026号 A.内罗德。;雷梅尔,J。 三 1982 内在递归关系。 兹伯利0467.03041 阿什,C.J。;A.内罗德。 35 1981 代数闭包和Skolemization的函数性质。 Zbl 0463.18001号 阿什,C.J。;A.内罗德。 2 1981 拟阵上的递归等价。 Zbl 0472.03035号 约翰·克罗斯利。;尼禄,阿尼尔 1 1981 可约性排序:理论、可定义性和自同构。 Zbl 0494.03028号 尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 22 1980 关于领域和抽象依赖的递归理论。 Zbl 0469.03029号 梅塔基德斯,G。;A.内罗德。 21 1980 可约性排序的二阶逻辑和一阶理论。 Zbl 0465.03024号 尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 16 1980 递归可枚举子空间格的不可判定性。 Zbl 0451.03014号 尼禄,阿尼尔;Rick L.史密斯。 2 1980 场论的有效内容。 Zbl 0469.03028号 梅塔基德斯,G。;A.内罗德。 64 1979 递归可枚举向量空间。 Zbl 0389.03019号 梅塔基德斯,G。;A.内罗德。 61 1977 有效尺寸。 Zbl 0344.02036号 J.N.克罗斯利。;尼禄,阿尼尔 4 1976 递归理论和代数。 兹伯利0306.02038 梅塔基德斯,G。;A.内罗德。 14 1975 逻辑和基础。 Zbl 0304.02003年 A.内罗德。 1 1975 组合函子。 Zbl 0312.02036号 J.N.克罗斯利。;尼罗德,阿尼尔 1 1975 声音函子。 Zbl 0324.02030号 J.N.克罗斯利。;尼禄,阿尼尔 1 1975 组合函子。 Zbl 0283.02036号 J.N.克罗斯利。;尼禄,阿尼尔 11 1974 符号逻辑协会会议。1969年,纽约。 Zbl 0269.02001 1 1973 RET的通用嵌入属性。 Zbl 0198.02504号 A.内罗德。;A.B.马纳斯特。 1 1970 Diophantine纠正了ISO中的非标准模型。 Zbl 0158.25104号 A.内罗德。 18 1966 组合级数和递归等价类型。 Zbl 0168.01103号 A.内罗德。 1 1966 等值线的非线性组合函数。 Zbl 0158.25103号 A.内罗德。 5 1965 递归等价类型之间的加法关系。 Zbl 0168.01102号 A.内罗德。 2 1965 丢番图方程的(p)-根积分零点的判定方法。 兹比尔0112.27304 A.内罗德。 5 1963 isolic整数的扩展。 Zbl 0106.00801号 A.内罗德。 14 1962 算术孤立集和非标准模型。 Zbl 0178.31903号 A.内罗德。 2 1962 isols的扩展。 兹比尔0101.01203 A.内罗德。 46 1961 基尔霍夫网络定理的代数证明。 Zbl 0102.33902号 A.内罗德。;H·柄。 10 1961 一般拓扑和部分递归泛函。 Zbl 0201.32902号 A.内罗德。 4 1960 一些斯通空间和递归理论。 Zbl 0114.24702号 A.内罗德。 14 1959 Composita、方程和自由生成的代数。 Zbl 0115.01203号 A.内罗德。 2 1959 线性自动机变换。 Zbl 0089.33403号 A.内罗德。 126 1958 所有引用出版物 排名前五的出版物 全部的 前5名883位作者引用 43 杰弗里·布赖恩·雷梅尔 36 罗德尼·格雷厄姆·唐尼 27 尼禄,阿尼尔 23 道格拉斯·森泽 23 Bakhadyr M.库萨诺夫。 23 亚历山大·梅尔尼科夫。 22 弗兰克·斯蒂芬 20 瓦伦蒂娜·S·哈里扎诺夫。 19 理查德·阿诺德·肖尔 18 桑杰·贾恩 12 埃里克·埃伦塔克 12 丹尼斯·罗曼·赫施费尔特 12 罗素·G·米勒。 11 雅各布·C·E·德克尔。 11 V.Wiktor马雷克 11 Ng,KengMeng先生 10 尼古拉·巴热诺夫(Nikola Bazhenov)ĭAlekseevich 10 朱莉娅·奈特。 10 斯特芬·勒普 9 伊拉克卡兰塔里 9 奥尔纳·库普弗曼 9 西奥多·斯莱曼(Theodore A.Slaman)。 8 安东尼奥·蒙塔尔班 8 安德烈·谢尔盖维奇·莫罗佐夫 8 里德·所罗门 7 克里斯托弗·约翰·阿什 7 瓦斯科·布拉特卡 7 谢尔盖·冈查洛夫 7 诺姆·格林伯格 7 伊斯坎德·沙吉托维奇·卡利穆林 7 托马斯·麦克劳林。 7 帕维尔·塞穆金 6 鲁门·D·迪米特洛夫。 6 曼弗雷德·德罗斯特 6 托马斯·艾特 6 马修·哈里森·特雷纳 6 迪特里赫·库斯克 6 刘嘉谋 6 安德烈·普拉泽 6 维克托·勒沃维奇·塞利瓦诺夫 5 约瑟夫·巴巴克 5 尚帕诺,让-马克 5 约翰·纽索姆·克罗斯利 5 马丁·德·科克 5 Jean-Philippe杜伯纳德 5 威廉·劳·福凯 5 希拉·格雷巴赫。 5 珍妮·哈德里安 5 比约恩Kjos-Hanssen 5 丹尼尔·杜雷茨基(Daniel D.Turetsky)。 4 韦斯利·卡尔弗特 4 达纳·菲斯曼 4 菲利普·海罗尼米 4 福尔克·豪尔 4 杨森,杰伦 4 乔库什,卡尔·G·军。 4 阿谢尔·卡赫(Asher M.Kach)。 4 阿兰·刘易斯(Alain A.Lewis)。 4 米奇耶夫,V.L。 4 约瑟夫·米莱蒂(Joseph R.Mileti)。 4 乔治·拉霍尼斯 4 马尔科·谢尔夫 4 史蒂文·肖卡特 4 伯恩哈德·斯特芬 4 德克·弗梅尔 4 克劳斯·维赫劳赫 4 亚历山大·韦内特 4 杜明达·威杰塞克拉 4 吴国华 4 亚克尼斯,亚历山大 4 马丁·齐格勒 三 尤里·安德鲁斯 三 迈克尔·阿尔比布(Michael A.Arbib)。 三 雷切尔·本·埃利亚胡·佐哈里 三 马西莫·贝内雷切蒂 三 皮耶罗·安德里亚·博纳蒂 三 博塔科夫斯基。 三 贾努斯·安东尼·布尔佐夫斯基 三 马可·卡多利 三 穆罕默德·杰迈 三 弗朗西斯科·多尼尼。 三 高自远 三 乔治·戈特洛布 三 马修·哈塞特。 三 诺里希罗·卡米德 三 尼古拉·利昂 三 圣埃芬·勒鲁 三 罗青龙 三 阿尔弗雷德·马纳斯特。 三 查尔斯·F·D·麦考伊。 三 法比奥·莫加维罗 三 马纳特·穆斯塔法 三 阿列克谢·G·米亚斯尼科夫。 三 Niemelä,Ilkka N.F。 三 皮耶吉奥·奥迪弗雷迪 三 尼古拉·奥利维蒂 三 巴德·阿布·拉迪 三 艾伦·雷茨拉夫 三 米哈伊尔·尼古拉埃维奇·里巴科夫 三 阿马尔·法廷·萨比利 …还有783位作者 全部的 前5名151篇连载文章中引用 101 纯逻辑与应用逻辑年鉴 68 理论计算机科学 67 符号逻辑杂志 22 美国数学学会会刊 20 信息与计算 18 人工智能 17 数学与人工智能年鉴 16 符号逻辑公报 14 计算机与系统科学杂志 13 美国数学学会会刊 11 代数与逻辑 10 代数杂志 10 数学逻辑档案 9 数学逻辑季刊(MLQ) 9 计算机科学中的逻辑方法 8 非线性分析。混合动力系统 7 以色列数学杂志 7 圣母院形式逻辑杂志 7 计算系统理论 6 Automatica公司 6 模糊集与系统 6 数学系统理论 6 西伯利亚数学杂志 6 ACM计算逻辑事务 5 系统和控制信件 5 数学社会科学 5 数学和计算机建模 5 计算的形式方面 5 MSCS公司。计算机科学中的数学结构 4 数学进展 4 数学合成 4 信息科学 4 纯代数与应用代数杂志 4 Studia Logica公司 4 算法 4 自动推理杂志 4 国际代数与计算杂志 4 数学科学杂志(纽约) 4 澳大利亚数学学会杂志 4 逻辑程序设计理论与实践 4 符号逻辑述评 三 信息学报 三 数学期刊 三 国际近似推理杂志 三 国际计算机科学基础杂志 三 美国数学学会公报。新系列 三 系统设计中的形式化方法 三 应用非经典逻辑杂志 三 欧洲控制杂志 三 数学逻辑杂志 三 美国数学学会公报 三 可计算性 2 计算机与数学及其应用 2 信息处理信件 2 富兰克林学院学报 2 洛基山数学杂志 2 计算 2 哲学逻辑杂志 2 苏联数学杂志 2 美国数学学会回忆录 2 非线性分析。理论、方法和应用。系列A:理论与方法 2 SIAM代数和离散方法杂志 2 复杂性杂志 2 计算机科学与技术杂志 2 国际自适应控制与信号处理杂志 2 国际计算机与系统科学杂志 2 经济理论 2 工程中的数学问题 2 Doklady数学 2 埃尔肯特尼斯 2 RAIRO公司。理论信息学及其应用 2 应用数学与计算杂志 2 离散算法杂志 2 应用逻辑杂志 2 程序设计中的逻辑和代数方法杂志 1 美国数学月刊 1 澳大利亚数学学会公报 1 数学物理中的通信 1 离散应用数学 1 离散数学 1 数学分析与应用杂志 1 线性代数和多线性代数 1 数学笔记 1 匈牙利数学周期 1 数学学报 1 代数普遍性 1 应用数学与计算 1 数学档案馆 1 伊利诺伊数学杂志 1 出版物数学 1 国际计算机与信息科学杂志 1 数学发明 1 组合理论杂志。B系列 1 经济理论杂志 1 数学经济学杂志 1 数学手稿 1 数学年刊 1 RAIRO,Informatique Théorique公司 1 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 1 半群论坛 …还有51部连续剧 全部的 前5名42个领域被引用 468 数学逻辑和基础(03-XX) 355 计算机科学(68至XX) 55 系统论;控制(93至XX) 35 群论与推广(20-XX) 34 阶、格、有序代数结构(06-XX) 32 博弈论、经济学、金融和其他社会和行为科学(91-XX) 28 组合数学(05-XX) 15 一般拓扑结构(54至XX) 14 运筹学、数学规划(90-XX) 12 变分法与最优控制;最优化(49至XX) 12 概率论与随机过程(60-XX) 12 信息与通信理论、电路(94-XX) 11 场论和多项式(12-XX) 11 范畴理论;同调代数(18-XX) 10 常微分方程(34-XX) 8 实际功能(26年X月X日) 7 数论(11-XX) 7 线性代数和多线性代数;矩阵理论(15-XX) 7 动力系统和遍历理论(37至XX) 6 一般代数系统(08-XX) 6 数值分析(65-XX) 5 历史和传记(01-XX) 5 交换代数(13-XX) 4 总体主题;集合(00-XX) 4 测量和集成(28-XX) 4 功能分析(46倍X倍) 4 粒子和系统力学(70-XX) 三 代数几何(14-XX) 三 结合环与代数(16-XX) 三 几何图形(51至XX) 三 代数拓扑(55-XX) 三 量子理论(81-XX) 三 生物学和其他自然科学(92-XX) 2 偏微分方程(35-XX) 2 流形和细胞复合体(57至XX) 2 统计力学,物质结构(82-XX) 1 非结合环与代数(17-XX) 1 近似值和展开值(41至XX) 1 欧氏空间的调和分析(42至XX) 1 凸和离散几何(52-XX) 1 统计学(62-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.