×

找到7个文档（结果1-7）

最新的 引文 关联
格雷戈里·马莱查;亚当·奇利帕拉;托马斯·布雷班特

合成计算反射。 （英语） 兹伯利1416.68171

Klein，Gerwin（编辑）等，交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8558, 374-389 (2014).
MSC公司：68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Malecha}等人，Lect。注释计算。科学。8558，374--389（2014；Zbl 1416.68171）
全文： 内政部 链接
托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥

在Coq中实现哈希加密结构。 （英语） Zbl 1317.68203号

Blazy，Sandrine（编辑）等人，《交互式定理证明》。2013年7月22日至26日，第四届国际会议，ITP 2013，法国雷恩。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39633-5/pbk）。计算机科学课堂讲稿7998，477-483（2013）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Braibant}等人，Lect。注释计算。科学。7998、477--483（2013年；Zbl 1317.68203）
全文： 内政部 arXiv公司 哈尔
托马斯·布雷班特

Coquet：用于验证硬件的Coq库。 （英语） Zbl 1350.68226号

Jouannaud，Jean-Pierre（编辑）等人，认证程序和证明。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学讲义7086330-345（2011）。
MSC公司：68吨15 60年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Braibant}，莱克特。注释计算。科学。7086330-345（2011年；Zbl 1350.68226）
全文： 内政部 arXiv公司 链接
托马斯·布雷班特;Damien Pous

Coq中模AC的推理策略。 （英语） Zbl 1350.68227号

Jouannaud，Jean-Pierre（编辑）等人，认证程序和证明。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，167-182（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Braibant}和\textit{D.Pous}，莱克特。注释计算。科学。7086、167--182（2011年；Zbl 1350.68227）
全文： 内政部 arXiv公司
托马斯·布雷班特;Damien Pous

决定Kleene代数的有效Coq策略。 （英语） Zbl 1291.68330号

Kaufmann，Matt（编辑）等人，《交互式定理证明》。2010年7月11日至14日在英国爱丁堡举行的2010年ITP第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14051-8/pbk）。计算机科学课堂讲稿6172163-178（2010）。
MSC公司：68吨15 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Braibant}和\textit{D.Pous}，莱克特。注释计算。科学。6172163--178（2010年；Zbl 1291.68330）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件