编辑配置文件(在新选项卡中打开) 汉斯·雷伊 合著者距离 作者ID: 莱斯·汉斯 发布日期: 汉斯·雷伊;汉斯·莱斯;H·雷。 更多。。。较少的 已编制索引的文档: 22出版物自1983年以来,包括1本书 合著者: 6位合著者具有7联合出版物 133位合作作者 全部的 前5名合著者 12 单作者的 2 米歇尔·德·罗杰蒙特 2 佐尔坦·埃西克 1 Afrati,Foto N。 1 马丁·埃姆斯 1 弗里茨·亨利恩 1 吴淑倩 全部的 前5名系列 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 Bonner Mathematische Schriften公司 全部的 前5名领域 18 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 4 结合环与代数(16-XX) 2 范畴理论;同调代数(18-XX) 1 有序,格,有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 一般拓扑结构(54至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用35次28文件 引用人▼ 年份▼ Kleene模块和线性语言。 Zbl 1086.68075号 汉斯·雷伊 6 2006 学习具有有限上下文属性的上下文无关文法:a.Clark算法的修正。 Zbl 1426.68134号 汉斯·雷伊 6 2014 带递归的Kleene代数。 Zbl 0819.68073号 H·雷。 5 1992 面向对象编程语言的类型推理。 Zbl 0661.68013号 汉斯·雷伊 三 1988 多态递归和半统一。 Zbl 0925.03065号 汉斯·莱斯 2 1990 连续幂等半环的余限定子和张量积。 Zbl 1518.68217号 马克·霍普金斯;汉斯·雷伊 2 2018 半统一问题的一个决定性案例。 Zbl 0764.68085号 汉斯·雷伊;弗里茨·亨利恩 2 1991 代数完备半环中的Greibach正规形式。 Zbl 1020.68056号 佐尔坦·埃西克;汉斯,雷ß 2 2002 代数完备半环和Greibach范式。 Zbl 1066.68084号 佐尔坦·埃西克;汉斯·雷伊 2 2005 连续Chomsky代数的矩阵环是连续的。 Zbl 1369.68260号 汉斯·莱斯 2 2016 C-二元体和(mu)-连续Chomsky-代数。 Zbl 1518.68219号 汉斯·雷伊;马克·霍普金斯 1 2018 通过类型重建解决复数歧义。 Zbl 1370.03038号 汉斯,雷ß 1 2012 连续Kleene代数不动点闭包的代数表示——范畴Chomsky-Schützenberger定理。 Zbl 07650539号 汉斯·雷伊 1 2022 连续Kleene代数不动点闭包的代数表示——范畴Chomsky-Schützenberger定理。 Zbl 07650539号 汉斯·雷伊 1 2022 连续幂等半环的余限定子和张量积。 Zbl 1518.68217号 马克·霍普金斯;汉斯·雷伊 2 2018 C-二元体和(mu)-连续Chomsky-代数。 Zbl 1518.68219号 汉斯,雷ß;马克·霍普金斯 1 2018 连续Chomsky代数的矩阵环是连续的。 Zbl 1369.68260号 汉斯·莱斯 2 2016 学习具有有限上下文属性的上下文无关文法:a.Clark算法的修正。 Zbl 1426.68134号 汉斯·雷伊 6 2014 通过类型重建解决复数歧义。 Zbl 1370.03038号 汉斯·雷伊 1 2012 Kleene模块和线性语言。 兹比尔1086.68075 汉斯·雷伊 6 2006 代数完备半环和Greibach范式。 Zbl 1066.68084号 佐尔坦·埃西克;汉斯·雷伊 2 2005 代数完备半环中的Greibach正规形式。 Zbl 1020.68056号 佐尔坦·埃西克;汉斯·雷伊 2 2002 带递归的Kleene代数。 Zbl 0819.68073号 H·雷。 5 1992 半统一问题的一个决定性案例。 Zbl 0764.68085号 汉斯,雷ß;弗里茨·亨利恩 2 1991 多态递归和半统一。 Zbl 0925.03065号 汉斯·莱斯 2 1990 面向对象编程语言的类型推理。 Zbl 0661.68013号 汉斯·雷伊 三 1988 所有引用出版物 前5名被引用出版物 全部的 前5名被31位作者引用 5 汉斯·雷伊 4 乔治·斯特鲁斯 三 良良吉中 2 朱尔斯·德沙奈斯 2 佐尔坦·埃西克 2 冯,冯 2 彼得·霍夫纳 2 Jun、Young Bae 2 Makoto金泽 2 阿萨夫·科福里。 2 Jerzy Tiuryn 2 克里斯蒂安·沃尔姆 1 卢卡·埃特罗 1 Jos C.M.Baeten。 1 阿斯特里德·贝尔德 1 约琴·多尔 1 安德烈·杜登赫夫纳 1 马丁·埃姆斯 1 沃尔特·古特曼 1 Anna Ingólfsdóttir 1 沃纳·库奇 1 巴斯·卢提克 1 Annabelle K.McIver。 1 伯恩哈德·莫勒 1 直纪西田 1 南弥州奈瓦 1 威廉·罗恩斯(William C.Rounds)。 1 彼得·蒂曼。 1 巴威·乌尔兹琴 1 吴淑倩 1 赵显忠 全部的 前5名14篇连载文章中引用 2 理论计算机科学 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 信息科学 1 计算机与系统科学杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 逻辑、语言与信息杂志 1 软计算 1 RAIRO公司。理论信息学及其应用 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 25 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 6 结合环与代数(16-XX) 三 有序,格,有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文