编辑配置文件(在新选项卡中打开) 迪迪埃·加米歇 合著者距离 作者ID: 加尔米歇·迪迪埃 发布日期: 迪迪埃·加米歇;D.加尔米奇。 已编制索引的文档: 59出版物自1990年以来,包括1个附加arXiv预打印 11作为编辑的贡献 合著者: 28位合著者具有63联合出版物 496位联合作者 全部的 前5名合著者 6 单作者的 17 丹尼尔·梅里 14 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 8 大卫·J·派姆。 6 雅库布Salhi 5 Jean-RenéCourtault 4 盖·佩里尔 4 汉斯·皮特·范·迪特马什 三 玛尔塔·加威克 三 Jean-Marc,诺丁 2 尼古拉斯·比里 2 蝉蜕、阿加塔 2 Stéphane P.德姆里。 2 O.赫尔曼。 2 皮埃尔·金梅尔 2 尼古拉·奥利维蒂 2 雷文莎·拉马纳亚克 2 斯蒂芬·舒尔茨 2 罗伯托·塞巴斯蒂亚尼 2 约瑟夫·维达尔·罗塞特 1 Jean-Paul巴洪 1 文森特·巴拉特 1 菲利普·巴尔比亚尼 1 B.Jack科普兰 1 JoséLuiz Fiadeiro 1 吕克·哈伯特 1 蒂姆·S·里昂。 1 米歇尔·马蒂 1 布鲁诺·马丁 全部的 前5名系列 9 逻辑与计算杂志 7 理论计算机科学 5 MSCS公司。计算机科学中的数学结构 三 计算机科学课堂讲稿 2 自动推理杂志 2 理论计算机科学电子笔记 1 信息与计算 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 计算系统理论 1 ACM计算逻辑事务 1 应用逻辑杂志 1 哲学科学 领域 57 数理逻辑与基础(03-XX) 33 计算机科学(68至XX) 11 总体主题;集合(00-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 52出版物有被引用257次116文件 引用人▼ 年份▼ BI和资源表的语义。 Zbl 1145.03308号 D.加尔米奇。;梅里·D·。;皮姆·D·。 33 2005 非确定性阶段语义和布尔BI的不确定性。 Zbl 1343.03022号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 21 2013 用于分离逻辑的Tableaux和资源图。 Zbl 1193.03061号 迪迪埃·加米歇;丹尼尔·梅里 16 2010 动态资源属性的模式BI逻辑。 Zbl 1437.03116号 科尔托,J.R。;D.加尔米奇。 15 2013 布尔BI通过关系模型的表达式属性。 Zbl 1168.03326号 迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling) 13 2006 线性逻辑中的证明规范化。 兹伯利0815.03033 迪迪埃·加米歇;盖·佩里尔 12 1994 一个量化变量的分离逻辑。 Zbl 1408.68036号 斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 10 2014 资源动态的模式分离逻辑。 Zbl 1444.03049号 Jean-RenéCourtault;迪迪埃·加米歇 7 2018 量子数作为有序拟群的完备集。直觉线性逻辑的修订语义。 Zbl 0963.68101号 Larchey-Wendling,D。;D.加尔米奇。 7 2000 线性逻辑中证明搜索策略设计的基础。 Zbl 0964.03512号 D.加尔米奇。;G.佩里尔。 6 1994 探索直觉BI和布尔BI之间的关系:意外的嵌入。 Zbl 1169.03024号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 6 2009 分离模式的逻辑。 Zbl 1342.03032号 Jean-RenéCourtault;迪迪埃·加米歇;大卫·皮姆 5 2016 资源表(扩展摘要)。 Zbl 1020.03508号 迪迪埃·加米歇;丹尼尔·梅里;大卫·皮姆 5 2002 一种自动防伪网构造程序。 Zbl 0920.03015号 迪迪埃·加米歇;盖·佩里尔 5 1992 命题\(\text{BI}^\perp\)的语义标签表。 Zbl 1041.03047号 迪迪埃·加米歇;丹尼尔·梅里 5 2003 一个量化变量的分离逻辑。 Zbl 1435.68117号 斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 5 2017 认知分离逻辑。 Zbl 1465.03060号 Jean-RenéCourtault;汉斯·范·迪特马什;迪迪埃·加米歇 4 2015 非交换线性逻辑中的证明网构造和自动演绎。(扩展摘要)。 Zbl 0917.68199号 迪迪埃·加米歇;布鲁诺·马丁 4 1998 研究带有布尔BI-eyes的分离代数。 兹伯利1418.03142 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 4 2014 通过资源图描述BI指针逻辑的可证明性。 Zbl 1143.03345号 迪迪埃·加米歇;丹尼尔·梅里 4 2005 直觉主义和经典模态逻辑的无标签自然演绎系统。 Zbl 1242.03033号 迪迪埃·加米歇;雅库布Salhi 4 2010 资源分配的分离逻辑(扩展抽象)。 Zbl 1205.03043号 尼古拉斯·比里;迪迪埃·加米歇 4 2003 STRIP:有效的证据搜索的结构共享。 Zbl 0990.68540号 Larchey-Wendling,D。;梅里·D·。;迪迪埃·加米歇 三 2001 一种子结构的认识资源逻辑。 Zbl 1480.03009号 迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 三 2017 直觉模态逻辑的树序列计算和决策程序。 Zbl 1444.03053号 迪迪埃·加米歇;雅库布Salhi 三 2018 加法和乘法线性逻辑中的自动演绎。 Zbl 0978.03507号 D.加尔米奇。;G.佩里尔。 三 1992 并发面向对象编程的规范逻辑。 Zbl 0931.68066号 G·德尔扎诺。;D.加尔米奇。;马泰利,M。 三 1999 线性逻辑和证明网构造中的连接方法。 Zbl 0951.03055号 D.加尔米奇。 三 2000 资源树的模型和分离逻辑。 Zbl 1130.68043号 北卡罗来纳州比里。;D.加尔米奇。 三 2007 直觉混合逻辑的序列计算和可判定性。 Zbl 1243.03028号 迪迪埃·加米歇;雅库布Salhi 三 2011 基于关联的双教学效度表征。 Zbl 1314.03029号 迪迪埃·加米歇;丹尼尔·梅里 三 2011 直觉模态逻辑IS5的无标签证明系统。 Zbl 1253.03042号 迪迪埃·加米歇;雅库布Salhi 三 2010 关于直觉公告逻辑。 Zbl 1400.03026号 菲利普·巴尔比亚尼;迪迪埃·加米歇 三 2016 公告分离逻辑。 Zbl 1456.03030号 科尔托,J.R。;van Ditmarsch,H。;加尔米奇博士。 2 2019 建构型理论中的程序开发。 Zbl 0760.68012号 迪迪埃·加米歇 2 1992 自动推理。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。 Zbl 1391.68006号 2 2018 在BI逻辑中关联标记和无标记的聚集计算。 Zbl 1468.03024号 迪迪埃·加米歇;米歇尔·马蒂;丹尼尔·梅里 2 2019 直观证明的标签证明系统。 Zbl 0968.03064号 文森特·巴拉特;迪迪埃·加米歇 2 2000 类型理论语言的校对:简介。 Zbl 0952.03006号 迪迪埃·加米歇;大卫·J·派姆。 2 2000 从Petri网的新解释看直觉线性逻辑的可证明性。(扩展摘要)。 Zbl 0917.68158号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 2 1998 为Łukasiewicz逻辑标记的calculi。 Zbl 1156.03024号 D.加尔米奇。;萨利,Y。 2 2008 资源逻辑中的资源图和反模型。 Zbl 1272.68356号 迪迪埃·加米歇;丹尼尔·梅里 2 2005 子结构认知资源逻辑:理论和建模应用。 Zbl 1479.03012号 迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 2 2019 SKIL:一个用证明进行编程的系统。 Zbl 0797.68143号 D.加尔米奇。;O.赫尔曼。 1 1993 带有动作模型的认知分离逻辑。 Zbl 07727821号 汉斯·范·迪特马什;迪迪埃·加米歇;玛尔塔·加威克 1 2023 命题BI逻辑中基于连接的证明搜索。 兹比尔1072.68571 迪迪埃·加米歇;丹尼尔·梅里 1 2002 命题BI逻辑中的证明搜索和反模型生成。 Zbl 1087.03509号 迪迪埃·加米歇;丹尼尔·梅里 1 2001 哥德尔混合逻辑家族。 Zbl 1215.03045号 迪迪埃·加米歇;雅库布Salhi 1 2010 关于证明和游戏之间关系的一些评论。 Zbl 1244.03155号 迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);约瑟夫·维达尔·罗塞特 1 2010 使用分析表和相关方法进行自动推理。2013年9月16日至19日,法国南希,第22届国际会议,TABLEAUX 2013。诉讼程序。 Zbl 1272.68020号 1 2013 用于自动程序合成的构造系统。 Zbl 0698.68012号 迪迪埃·加米歇 1 1990 分离逻辑的标记循环证明。 Zbl 07398776号 迪迪埃·加米歇;丹尼尔·梅里 1 2021 带有动作模型的认知分离逻辑。 Zbl 07727821号 汉斯·范·迪特马什;迪迪埃·加米歇;玛尔塔·加威克 1 2023 分离逻辑的标记循环证明。 Zbl 07398776号 迪迪埃·加米歇;丹尼尔·梅里 1 2021 公告分离逻辑。 Zbl 1456.03030号 科尔托,J.R。;van Ditmarsch,H。;D.加尔米奇。 2 2019 在BI逻辑中关联标记和无标记的聚集计算。 Zbl 1468.03024号 迪迪埃·加米歇;米歇尔·马蒂;丹尼尔·梅里 2 2019 子结构认知资源逻辑:理论和建模应用。 Zbl 1479.03012号 迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 2 2019 资源动态的模式分离逻辑。 Zbl 1444.03049号 Jean-RenéCourtault;迪迪埃·加米歇 7 2018 直觉模态逻辑的树序列计算和决策程序。 Zbl 1444.03053号 迪迪埃·加米歇;雅库布Salhi 三 2018 自动推理。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。 Zbl 1391.68006号 2 2018 一个量化变量的分离逻辑。 Zbl 1435.68117号 斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 5 2017 一种亚结构认知资源逻辑。 Zbl 1480.03009号 迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 三 2017 分离模式的逻辑。 Zbl 1342.03032号 Jean-RenéCourtault;迪迪埃·加米歇;大卫·皮姆 5 2016 关于直觉公告逻辑。 Zbl 1400.03026号 菲利普·巴尔比亚尼;迪迪埃·加米歇 三 2016 认知分离逻辑。 Zbl 1465.03060号 Jean-RenéCourtault;汉斯·范·迪特马什;迪迪埃·加米歇 4 2015 一个量化变量的分离逻辑。 Zbl 1408.68036号 斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 10 2014 研究带有布尔BI-eyes的分离代数。 Zbl 1418.03142号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 4 2014 非确定性阶段语义和布尔BI的不确定性。 Zbl 1343.03022号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 21 2013 动态资源属性的模式BI逻辑。 Zbl 1437.03116号 科尔托,J.R。;D.加尔米奇。 15 2013 使用分析表和相关方法进行自动推理。2013年9月16日至19日,法国南希,第22届国际会议,TABLEAUX 2013。诉讼程序。 Zbl 1272.68020号 1 2013 直觉混合逻辑的序列计算和可判定性。 Zbl 1243.03028号 迪迪埃·加米歇;雅库布Salhi 三 2011 基于关联的双教学效度表征。 Zbl 1314.03029号 迪迪埃·加米歇;丹尼尔·梅里 三 2011 分离逻辑的Tableaux和资源图。 兹比尔1193.03061 迪迪埃·加米歇;丹尼尔·梅里 16 2010 直觉主义和经典模态逻辑的无标签自然演绎系统。 Zbl 1242.03033号 迪迪埃·加米歇;雅库布Salhi 4 2010 直觉模态逻辑IS5的无标签证明系统。 Zbl 1253.03042号 迪迪埃·加米歇;雅库布Salhi 三 2010 哥德尔混合逻辑家族。 Zbl 1215.03045号 迪迪埃·加米歇;雅库布Salhi 1 2010 关于证明和对策之间关系的一些评论。 Zbl 1244.03155号 迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);约瑟夫·维达尔·罗塞特 1 2010 探索直觉BI和布尔BI之间的关系:意外的嵌入。 Zbl 1169.03024号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 6 2009 为Łukasiewicz逻辑标记的calculi。 Zbl 1156.03024号 D.加尔米奇。;萨利,Y。 2 2008 资源树的模型和分离逻辑。 Zbl 1130.68043号 北卡罗来纳州比里。;D.加尔米奇。 三 2007 布尔BI通过关系模型的表达式属性。 Zbl 1168.03326号 迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling) 13 2006 BI和资源表的语义。 Zbl 1145.03308号 D.加尔米奇。;梅里·D·。;皮姆·D·。 33 2005 通过资源图描述BI指针逻辑的可证明性。 Zbl 1143.03345号 迪迪埃·加米歇;丹尼尔·梅里 4 2005 资源逻辑中的资源图和反模型。 Zbl 1272.68356号 迪迪埃·加米歇;丹尼尔·梅里 2 2005 命题\(\text{BI}^\perp\)的语义标签表。 Zbl 1041.03047号 迪迪埃·加米歇;丹尼尔·梅里 5 2003 资源分配的分离逻辑(扩展抽象)。 兹比尔1205.03043 尼古拉·比里;迪迪埃·加米歇 4 2003 资源表(扩展摘要)。 Zbl 1020.03508号 迪迪埃·加米歇;丹尼尔·梅里;大卫·皮姆 5 2002 命题BI逻辑中基于连接的证明搜索。 Zbl 1072.68571号 迪迪埃·加米歇;丹尼尔·梅里 1 2002 STRIP:有效的证据搜索的结构共享。 Zbl 0990.68540号 Larchey-Wendling,D。;梅里,D。;迪迪埃·加米歇 三 2001 命题BI逻辑中的证明搜索和反模型生成。 Zbl 1087.03509号 迪迪埃·加米歇;丹尼尔·梅里 1 2001 量子数是有序幺半群的完备。直觉线性逻辑的修订语义。 兹伯利0963.68101 Larchey-Wendling,D。;D.加尔米奇。 7 2000 线性逻辑和证明网构造中的连接方法。 Zbl 0951.03055号 D.加尔米奇。 三 2000 直观证明的标签证明系统。 Zbl 0968.03064号 文森特·巴拉特;迪迪埃·加米歇 2 2000 类型理论语言的校对:简介。 Zbl 0952.03006号 迪迪埃·加米歇;大卫·J·派姆。 2 2000 并发面向对象编程的规范逻辑。 Zbl 0931.68066号 G·德尔扎诺。;D.加尔米奇。;马泰利,M。 三 1999 非交换线性逻辑中的证明网构造和自动演绎。(扩展摘要)。 Zbl 0917.68199号 迪迪埃·加米歇;布鲁诺·马丁 4 1998 从Petri网的新解释看直觉线性逻辑的可证明性。(扩展摘要)。 Zbl 0917.68158号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 2 1998 线性逻辑中的证明规范化。 Zbl 0815.03033号 迪迪埃·加米歇;盖·佩里尔 12 1994 线性逻辑中证明搜索策略设计的基础。 Zbl 0964.03512号 D.加尔米奇。;G.佩里尔。 6 1994 SKIL:一个用证明进行编程的系统。 Zbl 0797.68143号 D.加尔米奇。;O.赫尔曼。 1 1993 一种自动防伪网构造程序。 兹伯利0920.03015 迪迪埃·加米歇;盖·佩里尔 5 1992 加法和乘法线性逻辑中的自动演绎。 Zbl 0978.03507号 D.加尔米奇。;佩里埃,G。 三 1992 建构型理论中的程序开发。 Zbl 0760.68012号 迪迪埃·加米歇 2 1992 用于自动程序合成的构造系统。 Zbl 0698.68012号 迪迪埃·加米歇 1 1990 所有引用出版物 排名前五的出版物 全部的 前5名149位作者引用 16 迪迪埃·加米歇 14 大卫·J·派姆。 10 Stéphane P.德姆里。 5 艾蒂安·洛兹 5 阿莱西奥·曼苏蒂 4 Jean-RenéCourtault 4 西蒙·多尔蒂 4 Norihiro Kamide 4 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 4 汉斯·皮特·范·迪特马什 三 约瑟夫·布杜 三 雷米·布罗赫宁 三 Deters,摩根 三 侯哲 三 彼得·吉普森 三 丹尼尔·梅里 三 阿文·费尔南托 三 长春夏 2 塞缪尔·巴尔科 2 伊利亚诺·塞维萨托 2 玛尔塔·加威克 2 亚历山大·盖奥尔基乌。 2 克里斯托夫·克里茨 2 亚历山大·库兹 2 塔德乌兹·利塔克 2 延斯·奥滕 2 盖·佩里尔 2 伊戈尔·塞德拉尔 2 卢茨斯特拉汉堡 2 克里斯·托夫茨 2 王海伟 2 赵斌 1 安德鲁·亚当斯(Andrew A.Adams)。 1 罗马斯·阿隆德里斯 1 加布里埃尔·安德森 1 安德鲁·W·阿佩尔。 1 菲利普·巴尔比亚尼 1 巴托斯·贝德纳西克 1 托本·布吕纳 1 詹姆斯·布罗瑟斯顿 1 曹勤祥 1 曹永志 1 陈树伟 1 马修·科林森 1 詹姆斯·克兰奇 1 圣地亚哥库埃拉 1 马塞洛·达·S·科里亚 1 弗雷德里克·达尔奎斯特 1 蒂齐亚诺·达尔蒙特 1 德波尔(Frank S。 1 斯蒂恩·德古乌 1 瓦莱里亚·德·佩瓦 1 乔治·德尔赞诺 1 西蒙,多尔蒂 1 罗伊·戴克霍夫 1 哈雷III伊德斯 1 穆纳乔·埃切宁 1 迈克尔·Färber 1 毛罗·法拉利 1 劳尔·费尔瓦里 1 佛罗伦萨,卡米洛 1 吉多·菲奥里诺 1 尼古拉斯·加拉托斯 1 菲利普·安·加德纳 1 玛丽安娜·吉兰多 1 拉杰夫·普拉巴卡尔·戈尔 1 埃里希·格拉德尔 1 查尔斯·格雷洛 1 顾晓娟 1 斯特凡诺游击队 1 郭恒 1 Darion Haase先生 1 韩胜伟 1 詹姆斯·哈兰德。 1 何兴兴 1 Hiep,Hans-Dieter A。 1 乔舒亚·霍达斯。 1 拉杜·奥西夫 1 塞萨里·卡利西克 1 Kanovich、Max Iosifovich 1 皮埃尔·金梅尔 1 罗马库兹涅茨 1 弗雷德里克·莫勒斯特罗姆·劳里德森 1 拉齐奇,兰科 1 林哲 1 刘军 1 刘,杨 1 萨尔瓦多卢卡斯 1 丹尼斯·卢吉兹 1 蒂姆·S·里昂。 1 马明辉 1 罗伯特·梅利 1 海科·曼特尔 1 索尼娅·马林 1 Jean-Yves玛丽恩 1 Maurizio Martelli 1 安德烈亚·马西尼 1 瑞安·麦克莱利 1 Annabelle K.McIver。 1 卡罗尔·C·摩根。 …还有49位作者 全部的 前5名27篇连载文章中引用 11 理论计算机科学 8 自动推理杂志 6 信息与计算 6 计算机科学中的逻辑方法 5 Studia Logica公司 4 MSCS公司。计算机科学中的数学结构 4 ACM计算逻辑事务 三 应用非经典逻辑杂志 2 哲学逻辑杂志 2 半群论坛 2 纯逻辑与应用逻辑年鉴 2 数学逻辑档案 2 逻辑、语言与信息杂志 1 信息学报 1 国际理论物理杂志 1 代数普遍性 1 模糊集与系统 1 代数杂志 1 计算的形式方面 1 范畴的理论与应用 1 计算系统理论 1 软计算 1 美国医学会杂志 1 LMS计算与数学杂志 1 应用逻辑杂志 1 泛逻辑 1 程序设计中的逻辑和代数方法杂志 全部的 前5名10个领域引用 100 数理逻辑与基础(03-XX) 58 计算机科学(68至XX) 10 阶、格、有序代数结构(06-XX) 2 一般代数系统(08-XX) 2 范畴理论;同调代数(18-XX) 1 结合环与代数(16-XX) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文