编辑配置文件(在新选项卡中打开) 克劳迪娅·法根 合著者距离 作者ID: 法根·克劳迪亚 发布日期: 克劳迪娅·法根;C·法根。 已编制索引的文档: 26出版物自1998年以来 1名编辑贡献 合著者: 18位合著者具有21联合出版物 360位合作作者 全部的 前5名合著者 6 单作者的 5 乌戈·达尔拉戈 4 阿基拉·吉咪祖 三 Giulio Guerrieri,朱利奥 三 毛罗·皮科洛 2 皮埃尔·卢伊斯·居里 2 保罗·迪·吉安贝拉迪诺 2 一郎·哈索 2 乔瓦尼·桑宾 2 贝诺缬氨酸 1 米歇尔·巴萨尔德拉 1 朱利亚·巴蒂洛蒂 1 乌戈·德利古罗 1 托马斯·埃哈德 1 玛丽·雷内·弗勒里·唐纳迪欧 1 海兰德·J·马丁·E·。 1 奥利维·洛朗 1 夸特里尼,米里亚姆 1 里卡多·特雷格里亚 全部的 前5名系列 2 理论计算机科学 2 计算机科学中的逻辑方法 1 国际理论物理杂志 1 符号逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 计算机科学中的数学结构 全部的 前5名领域 26 数学逻辑和基础(03-XX) 13 计算机科学(68至XX) 5 量子理论(81-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用136次83文件 引用人▼ 年份▼ 基本逻辑:反射、对称、可见性。 Zbl 0969.03017号 乔瓦尼·桑宾;朱利亚·巴蒂洛蒂;克劳迪娅·法根 28 2000 平行几何:经典、概率和量子效应。 Zbl 1380.68120号 乌戈·达尔拉戈;克劳迪娅·法根;贝诺缬氨酸;阿基拉·吉咪祖 11 2017 设计旅行。Ludics动力学。 Zbl 1020.03059号 克劳迪娅·法根 10 2002 重复Ludics(指数、交互类型和完整性)。 Zbl 1218.03025号 米歇尔·巴萨尔德拉;克劳迪娅·法根 9 2011 设计、争议和策略。 Zbl 1020.03060号 克劳迪娅·法根;马丁·海兰德 9 2002 从基本逻辑到简化的量子逻辑。 Zbl 0904.03031号 克劳迪娅·法根;Giovanni桑宾 9 1998 Ludics是有限线性像素的模型。 Zbl 1215.03071号 克劳迪娅·法根;毛罗·皮科洛 9 2007 L-网、策略和证明网。 Zbl 1136.68442号 皮埃尔·卢伊斯·居里;克劳迪娅·法吉安 8 2005 部分顺序、事件结构和线性策略。 Zbl 1246.03078号 克劳迪娅·法根;毛罗·皮科洛 7 2009 从平行证明跳到顺序证明:乘法。 Zbl 1225.03085号 保罗·迪·吉安贝拉迪诺;克劳迪娅·法根 5 2006 无限上下文中的并行性和同步。 Zbl 1401.68030号 乌戈·达尔拉戈;克劳迪娅·法根;贝诺缬氨酸;阿基拉·吉咪祖 4 2015 同步的几何结构。 Zbl 1395.03033号 乌戈·达尔拉戈;克劳迪娅·法根;一郎·哈索;阿基拉·吉咪祖 三 2014 一种描述事件结构组成的图形抽象机。 Zbl 1278.68092号 克劳迪娅·法根;毛罗·皮科洛 三 2007 Ludics中的交互可观测性:测试的几何结构。 Zbl 1086.03049号 克劳迪娅·法根 三 2006 将无害策略作为图表的方法。 Zbl 1279.68092号 皮埃尔·卢伊斯·居里;克劳迪娅·法根 三 2012 概率重写:规范化、终止和唯一范式。 Zbl 1528.68160号 克劳迪娅·法根 三 2019 关于乘法线性逻辑、模态和量子电路。 兹比尔1469.03166 乌戈·达尔拉戈;克劳迪娅·法根 三 2012 通过线性逻辑在按名称和按值计算中进行因式分解。 Zbl 07410426号 克劳迪娅·法根;朱利奥·格雷里 三 2021 作为高阶量子电路的验证网中的测量。 兹比尔1405.68095 阿基拉·吉咪祖;一郎·哈索;克劳迪娅·法根;乌戈·达尔拉戈 2 2014 乘法线性逻辑中的证明网序列化。 Zbl 1165.03051号 保罗·迪·吉安贝拉迪诺;克劳迪娅·法根 2 2008 概率重写和渐近行为:关于终止和唯一正规形式。 Zbl 07566061号 克劳迪娅·法根 1 2022 关于计算核心中的约简和归一化。 Zbl 1512.68129号 克劳迪娅·法根;朱利奥·格雷里;乌戈·德利古罗;里卡多·特雷格里亚 1 2022 概率重写和渐近行为:关于终止和唯一正规形式。 兹比尔07566061 克劳迪娅·法根 1 2022 关于计算核心中的约简和归一化。 Zbl 1512.68129号 克劳迪娅·法根;朱利奥·格雷里;设计;乌戈·利古罗;里卡多·特雷格里亚 1 2022 通过线性逻辑在按名称和按值计算中进行因式分解。 Zbl 07410426号 克劳迪娅·法根;朱利奥·格雷里 三 2021 概率重写:规范化、终止和唯一范式。 兹比尔1528.68160 克劳迪娅·法根 三 2019 平行几何:经典、概率和量子效应。 Zbl 1380.68120号 乌戈·达尔拉戈;克劳迪娅·法根;贝诺缬氨酸;阿基拉·吉咪祖 11 2017 无限上下文中的并行性和同步。 兹比尔1401.68030 乌戈·达尔拉戈;克劳迪娅·法根;贝诺缬氨酸;阿基拉·吉咪祖 4 2015 同步的几何结构。 Zbl 1395.03033号 乌戈·达尔拉戈;克劳迪娅·法根;一郎·哈索;阿基拉·吉咪祖 三 2014 作为高阶量子电路的验证网中的测量。 Zbl 1405.68095号 阿基拉·吉咪祖;一郎·哈索;克劳迪娅·法根;乌戈·达尔拉戈 2 2014 将无害策略作为图表的方法。 Zbl 1279.68092号 皮埃尔·卢伊斯·居里;克劳迪娅·法根 三 2012 关于乘法线性逻辑、模态和量子电路。 Zbl 1469.03166号 乌戈·达尔拉戈;克劳迪娅·法根 三 2012 具有重复的Ludics(指数、交互类型和完整性)。 Zbl 1218.03025号 米歇尔·巴萨尔德拉;克劳迪娅·法根 9 2011 部分顺序、事件结构和线性策略。 Zbl 1246.03078号 克劳迪娅·法根;毛罗·皮科洛 7 2009 乘法线性逻辑中的证明网序列化。 Zbl 1165.03051号 保罗·迪·吉安贝拉迪诺;克劳迪娅·法根 2 2008 Ludics是有限线性像素的模型。 Zbl 1215.03071号 克劳迪娅·法吉安;毛罗·皮科洛 9 2007 描述事件结构组成的图抽象机。 Zbl 1278.68092号 克劳迪娅·法根;毛罗·皮科洛 三 2007 从平行证明跳到顺序证明:乘法。 兹比尔1225.03085 保罗·迪·吉安贝拉迪诺;克劳迪娅·法根 5 2006 Ludics中的交互可观测性:测试的几何结构。 Zbl 1086.03049号 克劳迪娅·法根 三 2006 L-网、策略和证明网。 Zbl 1136.68442号 皮埃尔·卢伊斯·居里;克劳迪娅·法根 8 2005 设计旅行。Ludics动力学。 Zbl 1020.03059号 克劳迪娅·法根 10 2002 设计、争议和策略。 Zbl 1020.03060号 克劳迪娅·法根;马丁·海兰德 9 2002 基本逻辑:反射、对称、可见性。 Zbl 0969.03017号 乔瓦尼·桑宾;朱利亚·巴蒂洛蒂;克劳迪娅·法根 28 2000 从基本逻辑到简化的量子逻辑。 Zbl 0904.03031号 克劳迪娅·法根;乔瓦尼·桑宾 9 1998 所有引用出版物 前5名被引用出版物 全部的 前5名被100位作者引用 9 克劳迪娅·法根 5 诺里希罗·卡米德 5 川崎捷瑞 4 亚历克西斯·索林 4 保罗·A·齐齐。 三 米歇尔·巴斯德拉 三 朱利亚·巴蒂洛蒂 三 皮埃尔·克莱兰堡 三 乌戈·达尔拉戈 三 奥利维·洛朗 三 夸特里尼,米里亚姆 三 格林·温斯克尔 2 贝尼亚米·阿卡托利 2 西蒙·卡斯特伦 2 保罗·迪詹贝尔蒂诺 2 朱利奥·格雷里 2 北彦浩弘 2 毛罗·皮科洛 2 马西斯·雷内拉 2 丹尼尔·瓦拉卡 2 吉田、Nobuko 1 萨姆森·艾布拉姆斯基 1 桑德拉·阿尔维斯 1 广岛青山 1 纪尧姆拍卖行 1 埃曼纽尔·贝法拉 1 弗拉维恩·布鲁瓦特 1 戴维·卡塔 1 西里尔·切纳维尔 1 海宁·克里斯蒂安森 1 蝉蜕、阿加塔 1 皮埃尔·卢伊斯·居里 1 马克·德·维斯梅 1 斯特凡诺·德尔·维奇奥 1 奥利维尔·德兰德 1 乌戈·德利古罗 1 亚历杭德罗·迪亚斯·卡洛 1 博格丹·迪彻 1 托马斯·埃尔哈德 1 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 1 装配,梅尔文·克里斯 1 玛丽·雷内·弗勒里 1 克里斯托夫·福奎雷 1 Dan R.吉卡。 1 吉尔根·吉斯尔 1 诺伯特·格拉茨 1 朱塞佩·格雷科 1 斯特凡诺游击队 1 哈默(Russ Harmer) 1 一郎·哈索 1 乔纳森·马克海曼 1 阿加提·埃尔鲁 1 本田、高黑 1 罗斯·霍恩 1 安德烈·因德泽扎克(Andrzej Indrzejczak) 1 詹·克里斯托普·卡斯因 1 迪莉娅·凯斯纳 1 Maja Hanne Kirkeby 1 Anna Chiara Lai 1 马克·拉森 1 阿兰州莱科姆特 1 吉多·马丁内斯 1 安德烈亚·梅南德 1 戴尔·艾伦·米勒 1 维吉尔·莫比尔 1 科科·穆罗亚 1 奥兰德利,尤金尼奥 1 亚历山德拉·帕尔米吉亚诺 1 雨果·帕奎特 1 罗曼·佩乔 1 马可·佩奇尼 1 西蒙·佩德里克斯 1 埃利亚诺·佩萨 1 马里奥广场 1 安东尼奥·阿拉戈纳广场 1 鲁伊斯·平托(Luís F.Pinto)。 1 阿列克谢·潘科(Alexej P.Pynko)。 1 米盖尔·拉莫斯 1 格雷格·雷斯塔尔 1 雷普利,大卫 1 肯·萨卡约里 1 乔瓦尼·桑宾 1 阿米尔卡·塞尔纳达斯。 1 克里斯蒂娜·塞尔纳达斯。 1 莱昂内尔·夏皮罗 1 德米特里·什卡托夫 1 马可·索列里 1 萨姆·斯塔顿 1 卢茨斯特拉汉堡 1 Kai Tanter 1 德国、贤治 1 里卡多·特雷格里亚 1 塞缪尔·特隆松 1 津田,武士 1 塔尔莫乌斯塔卢 1 van Alten,Clint J。 1 理查德·扎克 1 弗拉基米尔·赞季耶夫 1 阿尔贝托·扎纳多 1 玛格丽塔·佐齐 全部的 前5名22篇连载文章中引用 7 国际理论物理杂志 7 计算机科学中的数学结构 5 纯逻辑与应用逻辑年鉴 5 计算机科学中的逻辑方法 4 理论计算机科学 4 符号逻辑综述 2 哲学逻辑杂志 2 圣母院形式逻辑杂志 2 逻辑研究 2 合成 2 信息与计算 2 托波伊 2 泛逻辑 1 现代物理快报A 1 模糊集与系统 1 代数杂志 1 符号逻辑杂志 1 国际近似推理杂志 1 逻辑、语言与信息杂志 1 数学逻辑季刊(MLQ) 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在11个字段中引用 63 数学逻辑和基础(03-XX) 42 计算机科学(68至XX) 14 量子理论(81-XX) 10 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 范畴理论;同调代数(18-XX) 2 总体主题;集合(00-XX) 2 阶、格、有序代数结构(06-XX) 1 组合数学(05-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 统计学(62-XX) 按年份列出的引文