默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

Dominique Larchey-Wendling公司

>主页 >珀森斯

人员信息

附属： 法国洛林大学

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/Larchey-Wendling23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/Larchey-Wendling23
Dominique Larchey-Wendling公司,Jean-François Monin女士:
证明珍珠：Coq中μ-递归算法的忠实计算和提取。 ITP公司 2023:21:1-21:17
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2312-03426
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2312-03426
蒂姆·S·里昂,阿加塔·恰巴托尼,迪迪埃·加尔米奇,Dominique Larchey-Wendling公司,丹尼尔·梅里,尼古拉·奥利维蒂,Revantha Ramanayake公司:
内部和外部演算：在不迷失于翻译的情况下订购丛林。 CoRR公司 abs/2312.03426(2023)
2022
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Larchey-Wendling22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Larchey-Wendling22
Dominique Larchey-Wendling公司,扬尼克·福斯特:
《考克》中希尔伯特的第十个问题（扩展版）。日志。方法计算。科学。 18(1)(2022)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KirstL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KirstL22
多米尼克·柯斯特,Dominique Larchey-Wendling公司:
Coq中的Trakhtenbrot定理：通过构造透镜的有限模型理论。日志。方法计算。科学。 18(2)(2022)
2021
[c21]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/Larchey-Wendling公司21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/Larchey-Wendling21
Dominique Larchey-Wendling公司:
通过Coq机械化的FRACTRAN合成MSELL的不确定性。金融稳定与发展部 2021:18:1-18:20
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2104-14445
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-14445
多米尼克·柯斯特,Dominique Larchey-Wendling公司:
Coq中的Trakhtenbrot定理：通过构造透镜的有限模型理论。 CoRR公司 abs/2104.14445(2021)
2020
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Larchey-Wendling20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Larchey-Wendling20
Dominique Larchey-Wendling公司:
通过无冗余证明搜索进行建设性决策。 J.汽车。原因。 64(7):1197-1219(2020)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KirstL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KirstL20
多米尼克·柯斯特,Dominique Larchey-Wendling公司:
Coq中的Trakhtenbrot定理——有限模型理论的构造方法。国际JCAR（2） 2020:79-96
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2003-04604
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2003-04604
Dominique Larchey-Wendling公司,扬尼克·福斯特:
《考克》中希尔伯特的第十个问题。 CoRR公司 abs/2003.04604(2020)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-07390
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-07390
多米尼克·柯斯特,Dominique Larchey-Wendling公司:
Coq中的Trakhtenbrot定理，有限模型理论的构造方法。 CoRR公司 abs/2004.07390(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/ForterL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/ForterL19
扬尼克·福斯特,Dominique Larchey-Wendling公司:
通过二进制堆栈机和minsky机证明直觉线性逻辑的不可判定性。清洁石油产品 2019:104-117
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/Larchey-Wendling公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/Larchey-Wendling19
Dominique Larchey-Wendling公司,拉尔夫·马提斯:
通过提取验证广度优先算法。最大功率控制 2019:45-75
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Larchey-Wendling19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Larchey-Wendling19
Dominique Larchey-Wendling公司,扬尼克·福斯特:
《考克》中希尔伯特的第十个问题。金融稳定与发展部 2019:27:1-27:20
2018
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Larchey-Wendling公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Larchey-Wendling18
Dominique Larchey-Wendling公司:
通过无冗余证明搜索进行建设性决策。国际JCAR 2018:422-438
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/Larchey-Wendling公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/Larchey-Wendling18
Dominique Larchey-Wendling公司:
证明之珠：循环发现算法的构造性提取。 ITP公司 2018:370-387
2017
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/DemriGLM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/DemriGLM17
斯特凡·德姆里,迪迪埃·加尔米奇,Dominique Larchey-Wendling公司,丹尼尔·梅里:
一个量化变量的分离逻辑。理论计算。系统。 61(2):371-461(2017)
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/Larchey-Wendling公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/Larchey-Wendling17
Dominique Larchey-Wendling公司:
键入Coq中的递归函数总数。 ITP公司 2017:371-388
2016
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Larchey-Wendling 16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Larchey-Wendling16
Dominique Larchey-Wendling公司:
部分单体布尔BI的形式强完备性。 J.日志。计算。 26(2):605-640(2016)
2014
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr/DemriGLM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr/DemriGLM14
斯特凡·德姆里,迪迪埃·加尔米奇,Dominique Larchey-Wendling公司,丹尼尔·梅里:
一个量化变量的分离逻辑。 CSR公司 2014:125-138
[c12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Larchey-WendlingG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Larchey-WendlingG14网站
Dominique Larchey-Wendling公司,迪迪埃·加尔米奇:
看带有布尔BI-eyes的分离代数。 IFIP TCS 2014:326-340
2013
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/Larchey-WendlingG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/Larchey-WendlingG13
Dominique Larchey-Wendling公司,迪迪埃·加尔米奇:
非确定性相位语义与布尔BI的不可解释性。 ACM事务处理。计算。日志。 14(1):6:1-6:41(2013)
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/2013
迪迪埃·加尔米奇,Dominique Larchey-Wendling公司:
2013年9月16日至19日，法国南希，2013年Tableaux，第22届国际会议，使用分析表和相关方法进行自动推理。诉讼程序。计算机科学课堂讲稿8123,施普林格 2013，国际标准图书编号978-3-642-40536-5 [目录]
2010
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Larchey-WendlingG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Larchey-WendlingG10
Dominique Larchey-Wendling公司,迪迪埃·加尔米奇:
布尔BI通过阶段语义的不确定性。低收入国家 2010:140-149
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Larchey-Wendling10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Larchey-Wendling10
Dominique Larchey-Wendling公司:
通过组语义将Minsky机器直接模拟为经典的束逻辑。 MFPS公司 2010:369-387

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Larchey-WendlingG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Larchey-WendlingG09
Dominique Larchey-Wendling公司,迪迪埃·加尔米奇:
探索直觉BI和布尔BI之间的关系：一种意想不到的嵌入。数学。结构。计算。科学。 19(三):435-500(2009)
2007
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Larchey-Wendling07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Larchey-Wendling07网址
Dominique Larchey-Wendling公司:
Gödel-Dummett Logics的基于图形的决策。 J.汽车。原因。 38(1-3):201-225(2007)
2006
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/GalmicheL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/GalmicheL06
迪迪埃·加尔米奇,Dominique Larchey-Wendling公司:
布尔表达式属性。 FSTTCS公司 2006:357-368
2005
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Larchey-Wendling05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Larchey-Wendling05网址
Dominique Larchey-Wendling公司:
用Gödel-Dummett Logics限定资源消耗。 LPAR公司 2005:682-696
2004
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lachey-Wendling04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Larchey-Wendling04
Dominique Larchey-Wendling公司:
Gödel-Dummett Logics中的计数器模型搜索。国际JCAR 2004:274-288
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Larchey-Wendling05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Larchey-Wendling05
Dominique Larchey-Wendling公司:
Gödel-Dummett计数器模型（通过矩阵计算）。 D类/IJCAR的PDPAR 2004:137-148
2002
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Larchey-Wendling02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Larchey-Wendling02
Dominique Larchey-Wendling公司:
结合证明搜索和反模型构造来确定哥德尔-杜米特逻辑。 CADE公司 2002:94-110
2001
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Larchey-Wendling MG01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Larchey-WendlingMG01
Dominique Larchey-Wendling公司,丹尼尔·梅里,迪迪埃·加尔米奇:
STRIP：高效校对搜索的结构共享。国际JCAR 2001:696-700
2000
【b1】
- 看法
  - 电子版@archives-ouvertes.fr
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/哈尔/LarcheyWendling00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/LarcheyWendling00网址
Dominique Larchey-Wendling公司:
Preuves，réfutations et contre modèles dans des logiques直觉主义者。法国南希亨利·庞加莱大学，2000

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asian/GalmicheL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asian/GalmicheL99
迪迪埃·加尔米奇,Dominique Larchey-Wendling公司:
命题直觉逻辑中的结构共享与高效证明搜索。亚洲的 1999:101-112
1998
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Larchey-WendlingG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Larchey-WendlingG98
Dominique Larchey-Wendling公司,迪迪埃·加尔米奇:
从Petri网的新解释看直觉线性逻辑的可证明性。类型理论中的证明搜索语言@CADE 1998:1-18
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Larchey-WendlingG00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Larchey-WendlingG00
Dominique Larchey-Wendling公司,迪迪埃·加尔米奇:
作为有序幺半群补足的量子数-直觉线性逻辑的修订语义。域研讨会 1998:94-108

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。