编辑配置文件(在新选项卡中打开) 罗宾·卡斯加德 合著者距离 作者ID: 卡尔斯加德·罗宾 发布日期: 罗宾·卡斯加德 外部链接: ORCID公司 已编制索引的文档: 21出版物自2015年起,包括3个附加arXiv预打印 合著者: 17合著者具有19联合出版物 196位合作作者 全部的 前5名合著者 2 单作者的 6 罗伯特·格莱克 三 霍尔格·博克·阿克塞尔森 三 弗里茨·亨利恩 三 Chris Heunen,克里斯 三 米克尔·克拉·马西森 三 Thomsen、Michael Kirkedal 2 横山,铁雄 1 巴勃罗安德烈斯·马丁内斯 1 悉达哈·巴斯卡 1 马丁·埃尔斯曼 1 彼得·安德里亚斯·霍加德·雅各布森 1 马尔蒂·卡沃宁 1 约阿希姆·蒂尔斯泰德·克里斯滕森 1 马西斯·雷内拉 1 罗伯特·申克 1 马蒂亚斯·苏肯 1 尼科洛·维尔特里 系列 1 理论计算机科学 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 18 计算机科学(68至XX) 6 范畴理论;同调代数(18-XX) 三 量子理论(81-XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 11出版物有被引用34中的次16文件 引用人▼ 年份▼ 连接逆范畴和可逆递归。 Zbl 1359.68045号 罗宾·卡斯加德;博克·阿克塞尔森,霍尔格;罗伯特·格莱克 10 2017 结构化可逆流程图语言的分类基础:可靠性和充分性。 Zbl 1398.68082号 罗伯特·格莱克;罗宾·卡斯加德 6 2018 将逆范畴连接为可逆递归模型。 Zbl 1475.68058号 霍尔格·博克·阿克塞尔森;罗宾·卡尔斯加德 4 2016 \(\mathsf{CoreFun}\):一种类型化的函数可逆核心语言。 Zbl 1515.68091号 彼得·安德里亚斯·霍加德·雅各布森;罗宾·卡斯加德;Thomsen、Michael Kirkedal 三 2018 Ricercar:一种用ancillae及其置换语义描述和重写可逆电路的语言。 Zbl 1464.68109号 Thomsen、Michael Kirkedal;罗宾·卡斯加德;马蒂亚斯·苏肯 2 2015 结构化可逆流程图语言的分类基础。 兹比尔1525.68025 罗伯特·格莱克;罗宾·卡斯加德 2 2018 条件/决策二元性和广泛限制类别的内部逻辑。 Zbl 07515960号 罗宾·卡斯加德 2 2019 从可逆编程语言到可逆元语言。 Zbl 07527764号 罗伯特·格莱克;罗宾·卡斯加德;横山,铁雄 2 2022 恩加德!延迟单体中可逆计算的无保护迭代。 Zbl 1434.68088号 罗宾·卡斯加德;尼科洛·维尔特里 1 2019 反转、迭代和双重运用的艺术。 Zbl 1467.68083号 罗宾·卡斯加德 1 2019 可逆程序具有可逆语义。 Zbl 1509.68034号 罗伯特·格莱克;罗宾·卡斯加德;横山,铁雄 1 2020 从可逆编程语言到可逆元语言。 Zbl 07527764号 罗伯特·格莱克;罗宾·卡斯加德;横山,铁雄 2 2022 可逆程序具有可逆语义。 Zbl 1509.68034号 罗伯特·格莱克;罗宾·卡斯加德;横山,铁雄 1 2020 条件/决策二元性和广泛限制类别的内部逻辑。 Zbl 07515960号 罗宾·卡斯加德 2 2019 恩加德!延迟单体中可逆计算的无保护迭代。 Zbl 1434.68088号 罗宾·卡斯加德;尼科洛Veltri 1 2019 反转、迭代和双重运用的艺术。 Zbl 1467.68083号 罗宾·卡斯加德 1 2019 结构化可逆流程图语言的分类基础:可靠性和充分性。 兹比尔1398.68082 罗伯特·格莱克;罗宾·卡斯加德 6 2018 \(\mathsf{CoreFun}\):一种类型化的函数可逆核心语言。 Zbl 1515.68091号 彼得·安德里亚斯·霍加德·雅各布森;罗宾·卡尔斯加德;Thomsen、Michael Kirkedal 三 2018 结构化可逆流程图语言的分类基础。 Zbl 1525.68025号 罗伯特·格莱克;罗宾·卡斯加德 2 2018 连接逆范畴和可逆递归。 Zbl 1359.68045号 罗宾·卡斯加德;博克·阿克塞尔森,霍尔格;罗伯特·格莱克 10 2017 将逆范畴连接为可逆递归模型。 Zbl 1475.68058号 霍尔格·博克·阿克塞尔森;罗宾·卡斯加德 4 2016 Ricercar:用ancillae及其置换语义描述和重写可逆电路的语言。 Zbl 1464.68109号 Thomsen、Michael Kirkedal;罗宾·卡斯加德;马蒂亚斯·苏肯 2 2015 所有引用出版物 排名前五的出版物 全部的 前5名28位作者引用 9 罗宾·卡斯加德 6 罗伯特·格莱克 2 横山,铁雄 1 霍尔格·博克·阿克塞尔森 1 科科特,J.罗宾B。 1 舒适,科尔 1 路易斯·古斯塔沃·科尔德罗 1 尼古拉斯·德沃雷茨基 1 Gail,卢卡斯 1 弗里茨·亨利恩 1 Chris Heunen,克里斯 1 马尔蒂·卡沃宁 1 汉斯·约尔格·克鲁斯基 1 约阿希姆·蒂尔斯泰德·克里斯滕森 1 萨宾·库斯克 1 伊万·拉内斯 1 亚伦·赖伊 1 米克尔·克拉·马西森 1 克劳迪奥·安塔雷斯·梅齐纳 1 米什扎克,雅罗斯瓦夫·亚当 1 卢卡·保里尼 1 伊恩·菲利普斯。 1 毛罗·皮科洛 1 卢卡·罗维斯 1 Thomsen、Michael Kirkedal 1 伊雷克·乌利多夫斯基 1 德国维达尔 1 卡罗·冯·托特 引用于4个系列 三 理论计算机科学 1 半群论坛 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 14 计算机科学(68至XX) 7 范畴理论;同调代数(18-XX) 6 量子理论(81-XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 1 拓扑群、李群(22日至XX日) 按年份列出的引文