编辑配置文件(在新选项卡中打开) 马科托·哈马纳 合著者距离 作者ID: 滨南町 发布日期: 马科托·哈马纳 已编制索引的文档: 25出版物自1986年起 合著者: 15位合著者具有5联合出版物 264位合作作者 全部的 前5名合著者 20 单作者的 2 松田和川 1 高仁青藤 1 川崎朝田 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 尼尔·加尼 1 Nao Hirokawa 1 胡镇江 1 阿尔特·米德尔多普 1 朱利安·纳格尔 1 中野圭介 1 直纪西田 1 Kiraku Shintani 1 Masato Takeichi 1 塔尔莫乌斯塔卢 1 哈拉尔德·赞克 系列 三 计算机科学中的逻辑方法 2 MSCS公司。计算机科学中的数学结构 2 高阶和符号计算 1 函数编程杂志 1 函数与逻辑程序设计杂志 领域 22 计算机科学(68至XX) 6 范畴理论;同调代数(18-XX) 5 数学逻辑和基础(03-XX) 2 功能分析(46倍X倍) 1 一般代数系统(08-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用75次43文件 引用人▼ 年份▼ 基于视图补码函数自动推导的双向转换。 Zbl 1291.68147号 松田和川;胡镇江;中野圭介;马科托·哈马纳;Masato Takeichi 11 2007 自由\(\Sigma\)-幺半群:具有元变量的高阶语法。 兹比尔1116.68394 马科托·哈马纳 10 2004 显式替换和高阶语法。 Zbl 1105.68021号 尼尔·加尼;塔尔莫乌斯塔卢;马科托·哈马纳 10 2006 动力系统的注入包络。 Zbl 0788.46066号 M.哈马纳。 8 1992 多元多态代数理论:句法、语义、翻译和等式逻辑。 Zbl 1433.03161号 马塞洛·菲奥雷;马科托·哈马纳 6 2013 用于终止高阶重写的泛代数。 Zbl 1078.68063号 马科托·哈马纳 6 2005 多态重写规则:汇合、类型推断和实例验证。 Zbl 1507.68072号 马科托·哈马纳 5 2018 通过Grothendieck构造的多态抽象语法。 Zbl 1326.68191号 马科托·哈马纳 4 2011 商项模型和函数逻辑模型的最不完备Herbrand模型的等价性。 Zbl 0924.68048号 马科托·哈马纳 三 1997 用于证明组合约简系统终止的语义标记。 Zbl 1274.68150号 马科托·哈马纳 三 2010 一种基于绑定代数的逻辑编程语言。 Zbl 1087.68529号 马科托·哈马纳 三 2001 循环共享树结构的初始代数语义。 Zbl 1209.68371号 马科托·哈马纳 三 2010 如何用二阶计算分析仪SOL证明方程理论的可判定性。 兹比尔1442.68027 马科托·哈马纳 三 2019 通过二阶代数理论的迭代类别对循环数据计算进行强正规化。 Zbl 1388.68188号 马科托·哈马纳 2 2016 用初始代数方法处理带有可变绑定器的项重写系统。 Zbl 1105.68055号 马科托·哈马纳 2 2006 更正循环项中的循环箭头。追踪Haskell中的分类解释。 兹比尔1354.68047 马科托·哈马纳 1 2012 循环共享结构的初始代数语义。 Zbl 1246.68160号 马科托·哈马纳 1 2009 UnQL图的迭代代数和互模拟的完备性。 Zbl 1476.68073号 马科托·哈马纳 1 2015 基于二阶代数理论的循环数据类型模互模拟。 Zbl 1398.68348号 马科托·哈马纳 1 2017 如何用二阶计算分析器SOL证明方程理论的可判定性。 Zbl 1442.68027号 马科托·哈马纳 三 2019 多态重写规则:汇合、类型推断和实例验证。 Zbl 1507.68072号 马科托·哈马纳 5 2018 基于二阶代数理论的循环数据类型模互模拟。 Zbl 1398.68348号 马科托·哈马纳 1 2017 通过二阶代数理论的迭代类别对循环数据计算进行强正规化。 Zbl 1388.68188号 马科托·哈马纳 2 2016 UnQL图的迭代代数和互模拟的完备性。 Zbl 1476.68073号 马科托·哈马纳 1 2015 多元多态代数理论:句法、语义、翻译和等式逻辑。 Zbl 1433.03161号 马塞洛·菲奥雷;马科托·哈马纳 6 2013 更正循环项中的循环箭头。追踪Haskell中的分类解释。 Zbl 1354.68047号 马科托·哈马纳 1 2012 通过Grothendieck构造的多态抽象语法。 Zbl 1326.68191号 马科托·哈马纳 4 2011 用于证明组合约简系统终止的语义标记。 Zbl 1274.68150号 马科托·哈马纳 三 2010 循环共享树结构的初始代数语义。 Zbl 1209.68371号 马科托·哈马纳 三 2010 循环共享结构的初始代数语义。 Zbl 1246.68160号 马科托·哈马纳 1 2009 基于视图补码函数自动推导的双向化变换。 Zbl 1291.68147号 松田和川;胡镇江;中野圭介;马科托·哈马纳;Masato Takeichi 11 2007 显式替换和高阶语法。 Zbl 1105.68021号 尼尔·加尼;塔尔莫乌斯塔卢;马科托·哈马纳 10 2006 用初始代数方法处理带有可变绑定器的项重写系统。 兹比尔1105.68055 马科托·哈马纳 2 2006 用于终止高阶重写的泛代数。 Zbl 1078.68063号 马科托·哈马纳 6 2005 自由\(\Sigma\)-幺半群:具有元变量的高阶语法。 Zbl 1116.68394号 马科托·哈马纳 10 2004 一种基于绑定代数的逻辑编程语言。 Zbl 1087.68529号 马科托·哈马纳 三 2001 商项模型和函数逻辑模型的最不完备Herbrand模型的等价性。 Zbl 0924.68048号 马科托·哈马纳 三 1997 动力系统的注入包络。 Zbl 0788.46066号 M.哈马纳。 8 1992 所有引用出版物 前5名被引用出版物 全部的 前5名69位作者引用 8 马科托·哈马纳 5 安德烈·赫肖维茨 5 德国维达尔 4 安布罗斯·拉丰 4 马可·马格西 4 直纪西田 三 阿伦斯,贝内迪克特 三 弗雷德里克·布兰基 三 胡镇江 三 伊万·拉内斯 三 阿德里安·帕拉西奥斯。 三 塔尔莫乌斯塔卢 2 默多克·詹姆斯·加贝 2 尼尔·加尼 2 特默尔库西亚 2 松田和川 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 王、孟 2 谢瑞峰 1 纪尧姆·阿拉伊斯 1 安布罗斯,拉丰 1 川崎朝田 1 罗伯特·艾奇 1 尤尔根阿文豪斯 1 詹姆斯·查普曼(James T.E.Chapman)。 1 阿尔西诺·库尼亚 1 库卡斯·扎伊卡 1 克里斯蒂娜·大卫 1 乌戈·德利古罗 1 肯托·埃莫托 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 罗伯特·格莱克 1 赫尔穆特·格罗内 1 汤姆·赫肖维茨 1 Chung Kil呼 1 岩崎、秀霞 1 辛西娅·科普 1 圣埃芬·让·埃里克·伦格兰德 1 约尔迪·利维 1 卡洛斯·洛里亚·萨恩斯 1 马塞多,努诺 1 Kiminori松崎 1 拉尔夫·马提斯 1 康诺·托马斯·麦克布莱德 1 詹姆斯·麦金纳 1 克劳迪奥·安塔雷斯·梅齐纳 1 阿尔特·米德尔多普 1 雅罗斯瓦夫·亚当·米兹扎克 1 秋正森哈塔 1 雨果·帕切科 1 马尔科·帕维奥蒂 1 伊恩·菲利普斯。 1 科迪·鲁克斯 1 Masahiko酒井 1 汤姆·施里杰弗斯 1 戴维·斯皮瓦克。 1 唐文浩 1 汤姆,赫肖维茨 1 里卡多·特雷格里亚 1 伊雷克·乌利多夫斯基 1 城市,基督教 1 范登伯格,比尔特 1 马图·维拉雷特 1 Janis Voigtlander公司 1 尼古拉斯·吴 1 山田,Toshiyuki 1 山口正美 1 杨志轩 1 张汉良 全部的 前5名11篇连载文章中引用 7 理论计算机科学 5 函数编程杂志 4 信息与计算 4 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 符号计算杂志 2 MSCS公司。计算机科学中的数学结构 2 高阶和符号计算 1 系统设计中的形式化方法 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 在5个字段中引用 42 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 9 范畴理论;同调代数(18-XX) 1 一般代数系统(08-XX) 1 量子理论(81-XX) 按年份列出的引文