×

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

最新的 引文 关联
劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼

Coq中关系变换逻辑的机械化互模拟定理。 （英语） Zbl 1496.03042号

Soares Barbosa，Luís（编辑）等人，《动态逻辑》。新趋势和应用。2019年10月7日至11日，第二届国际研讨会，DALI 2019，葡萄牙波尔图。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12005, 3-18 (2020).
MSC公司：03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{R.Fervari}等人，Lect。票据计算。科学。2005年3月18日（2020年；Zbl 1496.03042）
全文： 内政部
贝塔·齐利安尼;索索、马蒂厄

一种具有宇宙多态性和重载特性的Coq统一算法。 （英语） Zbl 1360.68774号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3669-7）。179-191 (2015).
MSC公司：68吨15 68甲18 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Ziliani}和\textit{M.Sozeau}，摘自：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP'15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。179-191（2015年；Zbl 1360.68774）
全文： 内政部
贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯

Mtac：Coq中用于类型化策略编程的单子。 （英语） Zbl 1323.68236号

2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN通知48，第9号，87-100（2013）。
MSC公司：68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ziliani}等人，in：第18届ACM SIGPLAN函数编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。87-100（2013年；Zbl 1323.68236）
全文： 内政部
红葡萄酒、纪尧姆;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雷吉斯·贾纳斯，亚恩;贝塔·齐利安尼

使用有效计算的后验模拟通过反射进行轻型验证。 （英语） Zbl 1317.68205号

Blazy，Sandrine（编辑）等人，《交互式定理证明》。第四届国际会议，ITP 2013，法国雷恩，2013年7月22日至26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39633-5/pbk）。计算机科学课堂讲稿7998，67-83（2013）。
MSC公司：68吨15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{G.Claret}等人，Lect。票据计算。科学。7998，67-83（2013年；兹bl 1317.68205）
全文： 内政部 哈尔
乔治·戈蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔

如何使即席证明自动化减少即席性。 （英语） 兹比尔1323.68117

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN公告46，编号9，163-175（2011）。
MSC公司：68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Gonthier}等人，in：第16届ACM SIGPLAN函数编程国际会议论文集，2011年9月19日至21日，日本东京，ICFP'11。纽约州纽约市：计算机协会（ACM）。163-175（2011年；Zbl 1323.68117）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件