×

找到14份文件（结果1-14）

最新 引文 关联
弗雷德里克·布兰基;Gilles Dowek;艾米丽·格里恩伯格;加布里埃尔·霍德特;弗朗索瓦·瑟雷

类型理论的模块化结构。 （英语） 兹比尔1522.03041

日志。方法计算。科学。 19，第1号，第12号论文，28页（2023年）.
审核人：Łukasz Czajka（多特蒙德）
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Blanqui}等人，日志。方法计算。科学。19，第1号，第12号论文，28页（2023年；Zbl 1522.03041）
全文： 内政部 arXiv公司
Gilles Dowek

从数学真理的普遍性到证明系统的互操作性。 （英语） Zbl 07628178号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 8-11 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}，莱克特。注释计算。科学。13385，8--11（2022；Zbl 07628178）
全文： 内政部
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek

证明同构命题逻辑中的正规化。 （英语） Zbl 1528.03120号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第14条，第23页（2019年）。
MSC公司：03B40型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛A.Díaz Caro｝和\textit｛G.Dowek｝，LIPIcs——莱布尼茨国际期刊。通知。131，第14条，第23页（2019年；Zbl 1528.03120）
全文： 内政部 arXiv公司
塞西莉亚·恩格兰德;Gilles Dowek;爱德华·赫尔曼·海尔

序列演算和自然演绎之间的又一个双射。 （英语） Zbl 1343.03042号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312107-124，仅电子版（2015）。
MSC公司：03年3月 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Englander}等人，《电子》。注释Theor。计算。科学。312107--124（2015；Zbl 1343.03042）
全文： 内政部
Gilles Dowek

证明理论中基于约简和基于模型的方法的收敛性。 （英语） 兹比尔1277.03056

Ayala-Rincón，M.（ed.）等人，《逻辑和语义框架及其应用第二次研讨会论文集》（LSFA 2007），巴西乌罗普雷托，2007年8月28日至29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记205137-144（2008）。
MSC公司：05年3月 03C98号
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}，电子。注释Theor。计算。科学。205、137--144（2008年；Zbl 1277.03056）
全文： 内政部
Gilles Dowek;蒋莹

特征变量、括号和正最小直觉逻辑的可判定性。 （英语） Zbl 1264.03039号

Dahn，Ingo（编辑）等人，《数学、逻辑和计算研讨会论文集》（ICALP 2003年卫星活动），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》85，第7期，17-29（2003）。
MSC公司：03B25号 03B15号机组 03B20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}和\textit{Y.Jiang}，电子。注释Theor。计算。科学。85，编号7，17--29（2003；Zbl 1264.03039）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件