编辑配置文件(在新选项卡中打开) 斯蒂芬·贝兰托尼。 合著者距离 作者ID: bellantoni.stephen-j型 发布日期: 斯蒂芬·贝兰托尼。;斯蒂芬·贝兰托尼;贝兰托尼,S。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 12出版物自1991年起 合著者: 10位合著者具有8联合出版物 463位联合作者 全部的 前5名合著者 4 单作者的 2 卡尔·海因茨·奈格尔 2 赫尔穆特·施维赫滕贝格 1 斯蒂芬·阿瑟·库克 1 艾瑞斯·本·阿罗约·哈特曼 1 马丁·霍夫曼 1 伊莎贝尔·奥塔维姆 1 托尼安·皮塔西 1 特蕾莎·M·普尔兹蒂卡。 1 阿拉斯代尔·厄克哈特 1 Sue H.Whitesides。 全部的 前5名系列 2 SIAM计算机杂志 1 离散数学 1 符号逻辑杂志 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 计算复杂性 领域 10 数学逻辑和基础(03-XX) 9 计算机科学(68至XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用226次172文件 引用人▼ 年份▼ 多时间函数的一种新的递归理论表征。 兹比尔0766.68037 斯蒂芬·贝兰托尼;斯蒂芬·库克 130 1992 网格相交图和盒性。 Zbl 0784.05031号 贝兰托尼,S。;I.本·阿罗约·哈特曼;Przytycka,T。;怀特塞德斯,S。 20 1993 高级类型递归、分支和多项式时间。 Zbl 0959.03027号 斯蒂芬·贝兰托尼。;卡尔·海因茨·奈格尔;赫尔穆特·施维赫滕贝格 18 2000 谓词递归和多时间层次结构。 兹伯利0841.03022 斯蒂芬·贝兰托尼 18 1995 近似和小深度Frege证明。 Zbl 0762.03020号 斯蒂芬·贝兰托尼;托尼安·皮塔西;阿拉斯代尔·厄克哈特 14 1992 一种新的“可行”算法。 Zbl 1006.03035号 斯蒂芬·贝兰托尼;马丁·霍夫曼 8 2002 对基本递归进行排序:重新访问低Grzegorczyk类。 兹伯利0939.03042 斯蒂芬·贝兰托尼。;卡尔·海因茨·奈格尔 7 1998 沿\(\增量\)轴分离NC。 Zbl 1076.68030号 贝兰托尼,S。;Oitavem,I。 4 2004 更高类型的可行计算。 Zbl 1064.03030号 赫尔穆特·施维赫滕贝格;斯蒂芬·贝兰托尼。 三 2002 具有有限内存字长的并行随机存取机器。 Zbl 0723.68041号 斯蒂芬·贝兰托尼。 2 1991 通过隐式分支对算术证明进行排序。 Zbl 0890.03034号 斯蒂芬·贝兰托尼。 2 1998 沿\(\增量\)轴分离NC。 Zbl 1076.68030号 贝兰托尼,S。;Oitavem,I。 4 2004 一种新的“可行”算法。 Zbl 1006.03035号 斯蒂芬·贝兰托尼;马丁·霍夫曼 8 2002 更高类型的可行计算。 Zbl 1064.03030号 赫尔穆特·施维赫滕贝格;斯蒂芬·贝兰托尼。 三 2002 高级类型递归、分支和多项式时间。 Zbl 0959.03027号 斯蒂芬·贝兰托尼。;卡尔·海因茨·奈格尔;赫尔穆特·施维赫滕贝格 18 2000 对基本递归进行排序:重新访问低Grzegorczyk类。 Zbl 0939.03042号 斯蒂芬·贝兰托尼。;卡尔·海因茨,尼格尔 7 1998 通过隐式分支对算术证明进行排序。 兹伯利0890.003034 斯蒂芬·贝兰托尼。 2 1998 谓词递归和多时间层次结构。 Zbl 0841.03022号 斯蒂芬·贝兰托尼 18 1995 网格相交图和盒性。 Zbl 0784.05031号 贝兰托尼,S。;I.本·阿罗约·哈特曼;Przytycka,T。;怀特塞德斯,S。 20 1993 多时间函数的一种新的递归理论表征。 兹比尔0766.68037 斯蒂芬·贝兰托尼;斯蒂芬·库克 130 1992 近似和小深度Frege证明。 Zbl 0762.03020号 斯蒂芬·贝兰托尼;托尼安·皮塔西;阿拉斯代尔·厄克哈特 14 1992 具有有限内存字长的并行随机存取机器。 Zbl 0723.68041号 斯蒂芬·贝兰托尼。 2 1991 所有引用出版物 前5名被引用出版物 全部的 前5名191位作者引用 11 乌戈·达尔拉戈 10 L.Sunil Chandran 8 帕特里克·贝洛特 8 马丁·霍夫曼 8 Jean-Yves玛丽恩 7 伊莎贝尔·奥塔维姆 7 罗曼·佩乔 6 伊曼纽尔·海因里 6 丹尼尔·莱万特(Daniel M.Leivant)。 6 卡尔·海因茨·奈格尔 6 纳维恩·西瓦达桑 5 马丁·阿文齐尼 5 斯蒂芬·贝兰托尼。 5 奥利维尔·伯内兹 5 斯坦利·斯科特·韦纳 4 Samuel R.巴斯。 4 尼古拉·加莱西 4 乔治·莫瑟 4 赫尔穆特·施维赫滕贝格 4 张瑜 三 纪尧姆·邦芬特 三 江口、闹喜 三 莱因哈德·卡勒 三 布鲁斯·卡普伦。 三 达米亚诺·马扎 三 莫里茨·米勒 三 大卫·E·诺瓦克。 三 布莱恩·雷德蒙。 三 川崎捷瑞 2 阿比金·阿迪加 2 Arai、Toshiyasu 2 安德烈亚·阿斯佩蒂 2 克莱门·奥伯特 2 马克·巴格诺尔 2 阿诺德·贝克曼 2 斯蒂芬·布洛赫(Stephen A.Bloch)。 2 萨尔瓦多卡波拉索 2 科科特,J.罗宾B。 2 罗伯特·李,警察 2 费利佩·库克 2 诺曼·丹纳 2 保林·雅各布 2 马修·弗朗西斯。 2 Sy-David弗里德曼 2 亚历克西斯·盖塞伦 2 马丁·查尔斯·格伦比奇 2 罗素·英帕利亚佐 2 Dmitry M.Itsykson。 2 乔治·贾帕里泽 2 乌尔里希·威廉·科伦巴赫 2 简·克拉托什维尔 2 Jean-Yves Moyen 2 Yota Otachi 2 托尼安·皮塔西 2 阿图尔·里亚扎诺夫 2 本杰明·罗斯曼 2 雅各布·格鲁·西蒙森 2 阿纳斯塔西亚索夫罗诺娃 2 托马斯·斯特拉姆 2 阿拉斯代尔·厄克哈特 1 克劳斯·埃利格 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 安德烈·阿西诺夫斯基 1 阿尔伯特·阿塞里亚斯 1 Jasine巴布 1 保罗·比姆。 1 拉尔夫·本辛格 1 乌尔里希·伯杰 1 悉达哈·巴斯卡 1 迪潘杜·博米克 1 马诺·布朗 1 安东尼·邦纳。 1 皮埃尔·布德斯 1 布鲁内尔,阿洛伊斯 1 迈克·伯雷尔 1 曼努埃尔·拉梅拉斯(Manuel Lameiras),坎帕尼奥洛(Campagnolo) 1 洛伦佐·卡卢奇 1 史蒂文·查普利克 1 勒罗伊·周 1 彼得·克罗特。 1 科恩(Elad Cohen) 1 斯蒂芬·阿瑟·库克 1 JoséFélix科斯塔 1 伊曼纽尔·科维诺 1 达尔·齐利奥,西尔瓦诺 1 阿妮塔·达斯 1 达斯,阿努帕姆 1 雅各布·保林(JacobéPaulin de Naurois) 1 迪亚斯·巴涅斯(Díaz-Báñez),何塞·米格尔(Jose Miguel) 1 杜兰·洛斯,杰尔·奥利维尔 1 塞巴斯蒂安·埃伯哈德 1 马西娅·海伦娜·C·芬帕。 1 雨果·弗雷 1 吉恩·菲乔特 1 诺亚·弗莱明 1 傅旭东 1 马可·加博阿迪 1 尼尔·戈德施密特 1 瓦利德·E·戈马。 1 丹·戈登 …和另外91位作者 全部的 前5名35篇连载文章被引用 28 理论计算机科学 17 信息与计算 12 纯逻辑与应用逻辑年鉴 7 信息处理信件 6 符号逻辑公报 5 离散应用数学 5 计算复杂性 4 数学逻辑档案 三 离散数学 三 符号逻辑杂志 三 图与组合 三 MSCS公司。计算机科学中的数学结构 三 计算系统理论 三 计算机科学中的逻辑方法 2 逻辑与代数程序设计杂志 2 ACM计算逻辑事务 1 组合理论杂志。B系列 1 计算机与系统科学杂志 1 网络 1 圣母院形式逻辑杂志 1 SIAM计算机杂志 1 合成 1 莫斯科大学计算数学与控制论 1 组合数学 1 订单 1 算法 1 自动推理杂志 1 计算几何 1 国际计算机科学基础杂志 1 数学逻辑季刊(MLQ) 1 函数编程杂志 1 逻辑与逻辑哲学 1 自然计算 1 Oberwolfach报告 1 赖罗。理论信息学及其应用 全部的 前5名在14个字段中引用 116 计算机科学(68至XX) 96 数学逻辑和基础(03-XX) 18 组合数学(05-XX) 9 信息与通信理论、电路(94-XX) 6 一般性和全局性主题;集合(00-XX) 三 有序,格,有序代数结构(06-XX) 三 范畴理论;同调代数(18-XX) 2 数值分析(65-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 1 测量和集成(28-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文