×

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

最新的 引文 关联
阿玛·盖诺;雅克·亨利·乔尔丹;亚瑟·查古埃罗;弗朗索瓦·波蒂埃

增量循环检测算法的形式化证明和分析。 （英语） Zbl 07649967号

Harrison，John（编辑）等，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第18条，第20页（2019年）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Guéneau}等人，LIPIcs--Leibniz Int.Proc。通知。141，第18条，第20页（2019年；Zbl 07649967）
全文： 内政部
罗伯特·克雷伯斯;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;Lars Birkedal公司

高阶并发分离逻辑的本质。 （英语） Zbl 1485.68069号

Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 696-723 (2017).
MSC公司：68号30 03B70号 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Krebbers}等人，Lect。注释计算。科学。10201、696--723（2017；Zbl 1485.68069）
全文： 内政部 哈尔
托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥

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

Blazy，Sandrine（编辑）等人，《交互式定理证明》。第四届国际会议，ITP 2013，法国雷恩，2013年7月22日至26日。诉讼程序。柏林：施普林格出版社（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公司 哈尔
雅克·亨利·乔尔丹;弗朗索瓦·波蒂埃;泽维尔·勒罗伊

正在验证LR（1）分析器。 （英语） Zbl 1352.68131号

Seidl，Helmut（编辑），《编程语言和系统》。2012年3月24日至4月1日，作为欧洲软件理论和实践联席会议的一部分，在爱沙尼亚塔林举行了第21届欧洲编程研讨会，ESOP 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28868-5/pbk）。计算机科学课堂讲稿7211，397-416（2012）。
MSC公司：65年第68季度 68N20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.-H.Jourdan}等人，Lect。注释计算。科学。7211，397--416（2012；Zbl 1352.68131）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件