编辑配置文件（在新选项卡中打开） 斯蒂芬·奈斯 合著者距离 作者ID： 内斯斯泰芬 发布日期： 斯蒂芬·奈斯 已编制索引的文档： 1出版物自1973年以来 合著者： 2位合著者具有1联合出版物 49位合作作者 合著者 0 单作者的 1 佐哈尔·曼纳 1 Jean E.Vuillemin。 系列 1 ACM通信 领域 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用28中的次28文件 引用人▼ 年份▼ 证明程序属性的归纳方法。 Zbl 0278.68019号 佐哈尔·曼纳;斯蒂芬·奈斯;让·武伊勒明 28 1973 证明程序属性的归纳方法。 Zbl 0278.68019号 佐哈尔·曼纳;斯蒂芬·奈斯;让·武伊勒明 28 1973 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 3 马克·B·特拉赫滕布罗特（Mark B.Trakhtenbrot）。 2 雅各布斯·W·德·巴克。 2 约斯特·恩格尔弗里特 2 巴里·罗森。 2 埃里克·梅内切·施密特 1 巴尔迪斯·安德烈斯·贝尔津斯 1 爱德华·肯尼思·布鲁姆 1 曼弗雷德·布罗伊 1 布鲁诺·库塞尔 1 帕特里克·库索 1 乔治·德·米歇利斯 1 吕克·杜蓬切尔 1 M.杜蓬切尔。 1 尼西姆·弗朗西兹 1 斯特凡妮娅·格内西 1 伊雷纳游击队 1 I.V.卡萨基纳。 1 鲍里斯·克莱班斯基 1 伊夫·科德拉托夫 1 迭戈·拉特拉 1 哈里·刘易斯。 1 梅克·马西克 1 Meertens，L.G.L.Th。 1 J Strother摩尔 1 弗朗西斯科·帕里西·普雷西奇 1 阿米尔·普努利 1 弗朗切斯科·兰扎托 1 布鲁斯·D·罗素。 1 卡拉·西蒙 1 Jean E.Vuillemin。 1 克里斯托弗·沃尔瑟 1 尤先科，E.L。 全部的 前5名10篇连载文章中引用 7 计算机与系统科学杂志 5 信息学报 3 理论计算机科学 3 控制论 2 信息处理信件 2 卡尔科洛 1 人工智能 1 国际计算机与信息科学杂志 1 RAIRO，Informatique Théorique公司 1 逻辑与代数程序设计杂志 在4个字段中引用 28 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 一般代数系统（08-XX） 按年份列出的引文