×

多米尼克·拉切·温德林(Dominique Larchey-Wendling)

作者ID: 拉奇·温德林.dominique“多米尼克Larchey-Wendling”最近发表的zbMATH文章
发布日期: 多米尼克·拉切·温德林(Dominique Larchey-Wendling);Larchey-Wendling,D。
编入索引的文档: 30份出版物自1998年以来,包括1个附加arXiv预打印
2作为编辑的贡献
合著者: 13合著者具有20联合出版物
215位合作作者

按年份列出的出版物

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名

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 弗洛里安·祖勒格

按年份列出的引文