编辑配置文件(在新选项卡中打开) 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 合著者距离 作者ID: 拉奇·温德林.dominique 发布日期: 多米尼克·拉切·温德林(Dominique Larchey-Wendling);Larchey-Wendling,D。 编入索引的文档: 30份出版物自1998年以来,包括1个附加arXiv预打印 2作为编辑的贡献 合著者: 13合著者具有20联合出版物 215位合作作者 全部的 前5名合著者 12 单作者的 14 迪迪埃·加米歇 4 丹尼尔·梅里 2 Stéphane P.德姆里。 2 扬尼克·福斯特 2 多米尼克·柯斯特 2 约瑟夫·维达尔·罗塞特 1 阿加塔·西阿巴托尼 1 B.Jack科普兰 1 蒂姆·S·里昂。 1 拉尔夫·马提斯 1 Jean-François莫宁 1 尼古拉·奥利维蒂 1 雷万塔Ramanayake 全部的 前5名系列 2 自动推理杂志 2 计算机科学中的逻辑方法 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 计算系统理论 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 哲学科学 全部的 前5名领域 24 数学逻辑和基础(03-XX) 18 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 组合数学(05-XX) 2 数论(11-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用120中的次74文件 引用人▼ 年份▼ 非确定性阶段语义和布尔BI的不确定性。 Zbl 1343.03022号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 21 2013 布尔BI通过关系模型的表达式属性。 Zbl 1168.03326号 迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling) 13 2006 部分单体布尔BI的形式强完备性。 兹比尔1345.03025 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 10 2016 一个量化变量的分离逻辑。 兹比尔1408.68036 斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 10 2014 量子数是有序幺半群的完备。直觉线性逻辑的语义修正。 Zbl 0963.68101号 Larchey-Wendling,D。;D.加尔米奇。 7 2000 《考克》中希尔伯特的第十个问题。 Zbl 1528.03181号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);扬尼克·福斯特 7 2019 探索直觉BI和布尔BI之间的关系:意外的嵌入。 Zbl 1169.03024号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 6 2009 一个量化变量的分离逻辑。 Zbl 1435.68117号 斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 5 2017 在Coq中键入全部递归函数。 Zbl 1484.68313号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 5 2017 Gödel-Dummett逻辑中的反模型搜索。 Zbl 1126.03304号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 5 2004 研究带有布尔BI-eyes的分离代数。 Zbl 1418.03142号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 4 2014 将证明搜索和反模型构造相结合来确定Gödel-Dummett逻辑。 Zbl 1072.03010号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 4 2002 STRIP:有效的证据搜索的结构共享。 Zbl 0990.68540号 Larchey-Wendling,D。;梅里·D·。;迪迪埃·加米歇 3 2001 Gödel-Dummett逻辑的基于图形的决策。 Zbl 1121.03021号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 3 2007 用哥德尔-杜米特逻辑限制资源消耗。 Zbl 1143.03340号 多米尼克·拉奇·温德林 3 2005 科克的特拉赫滕布罗特定理。有限模型理论的建设性方法。 兹伯利07614663 多米尼克·柯斯特;多米尼克·拉切·温德林(Dominique Larchey-Wendling) 3 2020 从Petri网的新解释看直觉线性逻辑的可证明性。(扩展摘要)。 兹伯利0917.68158 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 2 1998 Gödel-Dummett反模型通过矩阵计算。 Zbl 1272.68361号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 2 2005 通过无冗余证明搜索进行建设性决策。 Zbl 1468.03015号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 1 2020 通过提取验证宽度优先算法。 Zbl 1434.68090号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);拉尔夫·马提斯 1 2019 通过无冗余证明搜索进行建设性决策。 Zbl 1468.03014号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 1 2018 通过组语义将Minsky机器直接模拟为经典的集群逻辑。 Zbl 1343.03021号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 1 2010 使用分析表和相关方法进行自动推理。2013年9月16日至19日,法国南希,第22届国际会议,TABLEAUX 2013。诉讼程序。 Zbl 1272.68020号 1 2013 关于证明和游戏之间关系的一些评论。 Zbl 1244.03155号 迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);约瑟夫·维达尔·罗塞特 1 2010 《考克》中希尔伯特的第十个问题(扩展版)。 Zbl 1528.03182号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);扬尼克·福斯特 1 2022 《考克》中希尔伯特的第十个问题(扩展版)。 Zbl 1528.03182号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);扬尼克·福斯特 1 2022 科克的特拉赫滕布罗特定理。有限模型理论的建设性方法。 Zbl 07614663号 多米尼克·柯斯特;多米尼克·拉切·温德林(Dominique Larchey-Wendling) 3 2020 通过无冗余证明搜索进行建设性决策。 Zbl 1468.03015号 多米尼克·拉奇·温德林 1 2020 《考克》中希尔伯特的第十个问题。 Zbl 1528.03181号 多米尼克·拉奇·温德林;扬尼克·福斯特 7 2019 通过提取验证宽度优先算法。 Zbl 1434.68090号 多米尼克·拉奇·温德林;拉尔夫·马提斯 1 2019 通过无冗余证明搜索进行建设性决策。 Zbl 1468.03014号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 1 2018 一个量化变量的分离逻辑。 Zbl 1435.68117号 斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 5 2017 在Coq中键入全部递归函数。 Zbl 1484.68313号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 5 2017 部分单体布尔BI的形式强完备性。 Zbl 1345.03025号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 10 2016 一个量化变量的分离逻辑。 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 使用分析表和相关方法进行自动推理。2013年9月16日至19日,法国南希,第22届国际会议,TABLEAUX 2013。诉讼程序。 Zbl 1272.68020号 1 2013 通过组语义将Minsky机器直接模拟为经典的集群逻辑。 Zbl 1343.03021号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 1 2010 关于证明和游戏之间关系的一些评论。 Zbl 1244.03155号 迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);约瑟夫·维达尔·罗塞特 1 2010 探索直觉BI和布尔BI之间的关系:意外的嵌入。 Zbl 1169.03024号 多米尼克·拉奇·温德林;迪迪埃·加米歇 6 2009 Gödel-Dummett逻辑的基于图形的决策。 Zbl 1121.03021号 多米尼克·拉奇·温德林 3 2007 布尔BI通过关系模型的表达式属性。 Zbl 1168.03326号 迪迪埃·加米歇;多米尼克·拉奇·温德林 13 2006 用哥德尔-杜米特逻辑限制资源消耗。 Zbl 1143.03340号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 3 2005 Gödel-Dummett反模型通过矩阵计算。 Zbl 1272.68361号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 2 2005 Gödel-Dummett逻辑中的反模型搜索。 Zbl 1126.03304号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 5 2004 将证明搜索和反模型构造相结合来确定Gödel-Dummett逻辑。 Zbl 1072.03010号 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 4 2002 STRIP:有效的证据搜索的结构共享。 Zbl 0990.68540号 Larchey-Wendling,D。;梅里·D·。;迪迪埃·加米歇 3 2001 量子数是有序幺半群的完备。直觉线性逻辑的修订语义。 Zbl 0963.68101号 Larchey-Wendling,D。;D.加尔米奇。 7 2000 从Petri网的新解释看直觉线性逻辑的可证明性。(扩展摘要)。 Zbl 0917.68158号 多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 2 1998 所有引用出版物 前5名被引用出版物 全部的 前5名87位作者引用 9 迪迪埃·加米歇 9 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 7 大卫·J·派姆。 6 Stéphane P.德姆里。 4 西蒙·多尔蒂 4 扬尼克·福斯特 4 阿莱西奥·曼苏蒂 3 Jean-RenéCourtault 3 Deters,摩根 3 吉多·菲奥里诺 3 侯哲 3 多米尼克·柯斯特 3 雅库布Salhi 3 阿文·费南托(Alwen Fernanto Tiu) 3 汉斯·皮特·范·迪特马什 3 长春夏 2 约瑟夫·布杜 2 罗伊·戴克霍夫 2 毛罗·法拉利 2 佛罗伦萨,卡米洛 2 拉杰夫·普拉巴卡尔·戈尔 2 诺里希罗·卡米德 2 塔德乌兹·利塔克 2 艾蒂安·洛兹 2 萨拉·内格里 2 乔治·斯特鲁斯 2 王海伟 2 赵斌 1 雷纳尔德·阿弗尔德 1 阿丽亚娜·阿尔维斯·阿尔梅达 1 安德鲁·W·阿佩尔。 1 毛里西奥·阿亚拉·林科恩 1 卡勒姆·班尼斯特 1 雷米·布罗赫宁 1 詹姆斯兄弟斯顿 1 曹勤祥 1 曹永志 1 Jean-François康多塔 1 詹姆斯·克兰奇 1 圣地亚哥奎利亚尔 1 凯特琳·达布雷拉 1 杰里米·道森。 1 西蒙·多尔蒂 1 安德烈·杜登赫夫纳 1 穆纳乔·埃切宁 1 雅克·加里格 1 玛尔塔·加威克 1 埃里希·格拉德尔 1 顾晓娟 1 郭恒 1 Darion Haase先生 1 韩胜伟 1 马克·赫尔墨斯 1 彼得·霍夫纳 1 拉杜·奥西夫 1 彼得·吉普森 1 苏希拉·卡奇 1 Max Iosifovich,卡诺维奇 1 皮埃尔·金梅尔 1 克里斯托夫·克里茨 1 费边·昆泽 1 弗雷德里克·莫勒斯特罗姆·劳里德森 1 兰科·拉齐奇 1 刘,杨 1 Annabelle K.McIver。 1 丹尼尔·梅里 1 卡罗尔·C·摩根。 1 延斯·奥滕 1 詹斯·佩格尔 1 尼古拉斯·佩尔蒂埃 1 米里亚姆·波尔泽 1 齐、玄瑞 1 塔希里·拉贝哈加。 1 乌尔里希·拉宾斯坦 1 拉莫斯,蒂亚戈·门登萨·费雷拉 1 托马斯·拉斯 1 安德鲁·雷诺兹 1 大卫·萨南 1 施密茨,西尔万 1 塞尔维亚人,克里斯蒂娜 1 格特·斯莫尔卡 1 田中,卡祖纳里 1 巴威·乌尔兹琴 1 王汉平 1 理查德·威尔克 1 徐忠元 1 弗洛里安·祖勒格 全部的 前5名22篇连载文章中引用 9 自动推理杂志 7 计算机科学中的逻辑方法 3 Studia Logica公司 3 ACM计算逻辑事务 2 半群论坛 2 理论计算机科学 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 逻辑、语言与信息杂志 1 信息学报 1 国际理论物理杂志 1 模糊集与系统 1 信息科学 1 代数杂志 1 纯逻辑与应用逻辑年鉴 1 数学逻辑档案 1 应用非经典逻辑杂志 1 范畴的理论与应用 1 计算系统理论 1 美国医学会杂志 1 应用逻辑杂志 1 泛逻辑 全部的 前5名10个领域引用 58 数学逻辑和基础(03-XX) 40 计算机科学(68至XX) 9 有序,格,有序代数结构(06-XX) 2 数论(11-XX) 2 范畴理论;同调代数(18-XX) 1 一般代数系统(08-XX) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文