×
作者ID: 法根·克劳迪亚“Faggian,Claudia”最近发表的zbMATH文章
发布日期: 克劳迪娅·法根;C·法根。
已编制索引的文档: 26出版物自1998年以来
1名编辑贡献
合著者: 18位合著者具有21联合出版物
360位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

22出版物有被引用13683文件 引用人 年份
基本逻辑:反射、对称、可见性。 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名

被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 玛格丽塔·佐齐

按年份列出的引文