编辑配置文件(在新选项卡中打开) 沃尔特·古特曼 合著者距离 作者ID: 古特曼·沃尔特 发布日期: 沃尔特·古特曼 外部链接: MGP公司·逆戟鲸 已编制索引的文档: 36出版物自2006年以来,包括1个附加arXiv预打印 1名编辑贡献 合著者: 8位合著者具有11联合出版物 161位合作作者 全部的 前5名合著者 26 单作者的 4 鲁道夫·伯格哈默 三 伯恩哈德·莫勒 2 Hitoshi Furusawa 1 朱尔斯·德沙奈斯 1 彼得·霍夫纳 1 Stef Maria Mathias Joosten 1 尼古拉斯·罗宾森·奥布莱恩 1 斯特凡·萨斯特特 系列 6 程序设计中的逻辑和代数方法杂志 4 逻辑与代数程序设计杂志 1 信息学报 1 理论计算机科学 1 计算机科学课堂讲稿 全部的 前5名领域 34 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 4 组合数学(05-XX) 2 一般代数系统(08-XX) 2 结合环与代数(16-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用95中的次41文件 引用人▼ 年份▼ 迭代代数和无限计算代数。 兹比尔1279.68078 沃尔特·古特曼 8 2012 用Stone关系代数验证最小生成树算法。 Zbl 1401.68247号 沃尔特·古特曼 8 2018 正规设计代数。 Zbl 1184.68179号 沃尔特·古特曼;伯恩哈德·莫勒 7 2010 Prim最小生成树算法的关系代数验证。 Zbl 1400.68155号 沃尔特·古特曼 7 2016 部分、全部和一般正确性。 Zbl 1286.68077号 沃尔特·古特曼 6 2010 最小生成树问题的代数框架。 Zbl 1401.68246号 沃尔特·古特曼 6 2018 统一懒惰和严格的计算。 Zbl 1330.68074号 沃尔特·古特曼 5 2012 具有无限计算的多重关系。 Zbl 1371.68172号 沃尔特·古特曼 5 2014 统一部分、全部和一般正确性的递归。 Zbl 1309.68046号 沃尔特·古特曼 5 2010 朝向一个类型化的欧米伽代数。 Zbl 1329.68076号 沃尔特·古特曼 4 2011 通用正确性代数。 Zbl 1267.68138号 沃尔特·古特曼 4 2009 斯通关系代数。 Zbl 1402.03099号 沃尔特·古特曼 4 2017 统一编程理论中的非终结性。 Zbl 1185.68222号 沃尔特·古特曼 三 2006 统一正确性声明。 Zbl 1358.68100号 沃尔特·古特曼 三 2012 一般正确性的固定点。 Zbl 1216.68073号 沃尔特·古特曼 三 2011 模态设计代数。 Zbl 1186.68112号 沃尔特·古特曼;伯恩哈德·莫勒 2 2006 闭包,多重关系的性质和闭包性质。 Zbl 1471.03087号 鲁道夫·伯格哈默;沃尔特·古特曼 2 2015 懒散的关系。 Zbl 1138.68359号 沃尔特·古特曼 2 2008 功能动作的强制性抽象。 Zbl 1205.68115号 沃尔特·古特曼 2 2010 路径的关系特征。 Zbl 1462.05198号 鲁道夫·伯格哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 2 2020 多重关系和谓词变换的关系代数方法。 兹比尔1432.68069 鲁道夫·伯格哈默;沃尔特·古特曼 2 2015 惰性和严格计算的无限执行。 Zbl 1329.68112号 沃尔特·古特曼 2 2015 代数上的扩展征兵。 Zbl 1344.68075号 沃尔特·古特曼 1 2014 懒惰的UTP。 Zbl 1286.68078号 沃尔特·古特曼 1 2010 用代数方法进行计算。 Zbl 1344.68076号 沃尔特·古特曼 1 2016 路径的关系特征。 Zbl 1462.05198号 鲁道夫·伯格哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 2 2020 用Stone关系代数验证最小生成树算法。 Zbl 1401.68247号 沃尔特·古特曼 8 2018 最小生成树问题的代数框架。 Zbl 1401.68246号 沃尔特·古特曼 6 2018 斯通关系代数。 Zbl 1402.03099号 沃尔特·古特曼 4 2017 Prim最小生成树算法的关系代数验证。 Zbl 1400.68155号 沃尔特·古特曼 7 2016 用代数方法进行计算。 Zbl 1344.68076号 沃尔特·古特曼 1 2016 闭包,多重关系的性质和闭包性质。 Zbl 1471.03087号 鲁道夫·伯格哈默;沃尔特·古特曼 2 2015 多重关系和谓词变换的关系代数方法。 兹比尔1432.68069 鲁道夫·伯格哈默;沃尔特·古特曼 2 2015 惰性和严格计算的无限执行。 Zbl 1329.68112号 沃尔特·古特曼 2 2015 具有无限计算的多重关系。 Zbl 1371.68172号 沃尔特·古特曼 5 2014 从代数角度来看,延长征兵期。 Zbl 1344.68075号 沃尔特·古特曼 1 2014 迭代代数和无限计算代数。 兹比尔1279.68078 沃尔特·古特曼 8 2012 统一懒惰和严格的计算。 Zbl 1330.68074号 沃尔特·古特曼 5 2012 统一正确性声明。 Zbl 1358.68100号 沃尔特·古特曼 三 2012 朝向一个类型化的欧米伽代数。 Zbl 1329.68076号 沃尔特·古特曼 4 2011 一般正确性的固定点。 Zbl 1216.68073号 沃尔特·古特曼 三 2011 正规设计代数。 Zbl 1184.68179号 沃尔特·古特曼;伯恩哈德·莫勒 7 2010 部分、全部和一般正确性。 Zbl 1286.68077号 沃尔特·古特曼 6 2010 统一部分、全部和一般正确性的递归。 Zbl 1309.68046号 沃尔特·古特曼 5 2010 功能动作的强制性抽象。 Zbl 1205.68115号 沃尔特·古特曼 2 2010 懒惰的UTP。 Zbl 1286.68078号 沃尔特·古特曼 1 2010 通用正确性代数。 Zbl 1267.68138号 沃尔特·古特曼 4 2009 懒散的关系。 Zbl 1138.68359号 沃尔特·古特曼 2 2008 统一编程理论中的非终结性。 Zbl 1185.68222号 沃尔特·古特曼 三 2006 模态设计代数。 Zbl 1186.68112号 沃尔特·古特曼;伯恩哈德·莫勒 2 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名32位作者引用 22 沃尔特·古特曼 5 鲁道夫·伯格哈默 4 西蒙·福斯特 4 乔治·斯特鲁斯 4 詹姆斯·C·P·伍德科克。 2 安娜·卡瓦尔坎蒂 2 Hitoshi Furusawa 2 彼得·霍夫纳 2 迈克尔·劳伦斯。 2 McIver,Annabelle K。 2 伯恩哈德·莫勒 2 叶康峰 2 泽达,弗兰克 1 塞缪尔·卡纳姆 1 詹姆斯·克兰奇 1 史蒂夫·邓恩(Steve E.Dunne)。 1 罗伯·埃格洛特 1 罗宾·赫希 1 马塞尔·杰克逊。 1 川原康夫 1 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 1 彼得·兰米奇 1 刘伟祥 1 安舒曼·莫汉 1 佩曼·纳赛尔普尔 1 托比亚斯·尼普科 1 塔希里·拉贝哈加。 1 尼古拉斯·罗宾森·奥布莱恩 1 雅罗斯拉夫·萨利伊。五、。 1 安德烈·谢卡。 1 蒂莫西·斯托克斯(Timothy E.Stokes)。 1 Norihiro Tsumagari 全部的 前5名8篇连载文章中引用 11 程序设计中的逻辑和代数方法杂志 4 逻辑与代数程序设计杂志 2 理论计算机科学 1 信息学报 1 代数普遍性 1 符号逻辑杂志 1 优化方法和软件 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 全部的 前5名在8个字段中引用 36 计算机科学(68至XX) 10 数理逻辑与基础(03-XX) 4 组合数学(05-XX) 三 阶、格、有序代数结构(06-XX) 2 结合环与代数(16-XX) 1 一般代数系统(08-XX) 1 交换代数(13-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文