×

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

最新的 引文 关联
约阿希姆·布雷特纳;Spector-Zabusky，安塔尔;李、姚;克里斯汀·里兹卡拉;约翰·威格利;乔舒亚·科恩;斯蒂芬妮·威里奇

准备，设置，验证！将hs-to-coq应用于真实的Haskell代码。 （英语） Zbl 1522.68121号

J.功能。程序。 31，论文编号e5，41 p.（2021）.
MSC公司：68甲18 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Breitner}等人，J.Funct。程序。31，论文编号e5，41 p.（2021；Zbl 1522.68121）
全文： 内政部 arXiv公司
贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;德米特里·特拉泰尔

Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 （英语） Zbl 1434.03025号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第11条，第18页（2017年）。
MSC公司：03B35型 03B25号 03英尺15英寸
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，LIPIcs——莱布尼茨国际程序。通知。84，第11条，第18页（2017年；Zbl 1434.03025）
全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;安德烈亚斯·洛赫比勒;安德烈·波佩斯库;德米特里·特拉泰尔

有利益的朋友。在基础证明助手中实现同位语。 （英语） Zbl 1485.68280号

Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日，作为欧洲软件理论和实践联席会议的一部分，在瑞典乌普萨拉举行的第26届欧洲编程研讨会，ESOP 2017。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 111-140 (2017).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，Lect。注释计算。科学。10201、111--140（2017；Zbl 1485.68280）
全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;克里斯托夫·韦登巴赫

一个经过验证的SAT求解器框架，具有学习、忘记、重新启动和递增功能。 （英语） Zbl 1475.68432号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 25-44 (2016).
MSC公司：68伏15 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，Lect。注释计算。科学。9706，25-44（2016；Zbl 1475.68432）
全文： 内政部 哈尔
福崎北川;高弘松田;花冈、果一郎;田中庆介

关于Fujisaki Okamoto构造的密钥相关消息安全性。 （英语） 兹比尔1388.94064

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，99-129（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{F.Kitagawa}等人，Lect。注释计算。科学。9614，99-129（2016年；Zbl 1388.94064）
全文： 内政部
托马斯·图尔克;玛格努斯·奥·米林。;拉马纳·库马尔

HOL中的模式匹配：一种新的表示和改进的代码生成。 （英语） Zbl 1465.68299号

Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9236, 453-468 (2015).
MSC公司：68伏15 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{T.Tuerk}等人，Lect。注释计算。科学。9236、453--468（2015年；Zbl 1465.68299）
全文： 内政部
安娜·波夫

再看一下功能域。 （英语） Zbl 1337.68062号

Abramsky，Samson（编辑）等人，第25届编程语义数学基础会议论文集（MFPS 2009），英国牛津，2009年4月3日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记249，61-74（2009）。
MSC公司：68纳米30 03B15号机组 03D20日 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{A.Bove}，电子。注释Theor。计算。科学。249、61-74（2009年；Zbl 1337.68062）
全文： 内政部
安德烈亚斯·洛赫比勒

形式化FinFuns–生成函数代码作为Isabelle/HOL的数据。 （英语） Zbl 1252.68260号

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674310-326（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Lochbihler}，莱克特。注释计算。科学。5674、310-326（2009年；Zbl 1252.68260）
全文： 内政部
斯特凡·贝尔霍费尔;马库斯·雷特

规范化逻辑自动机连接。 （英语） Zbl 1252.68250号

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674147-163（2009）。
MSC公司：68吨15 03B25号 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛S.Berghofer｝和\textit｛M.Reiter｝，Lect。注释计算。科学。5674147-163（2009年；Zbl 1252.68250）
全文： 内政部
塞萨里·卡利西克

在形式化的部分函数中自动处理边条件。 （英语） Zbl 1166.68349号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。《人工智能课堂讲稿》，300-314（2008）。
MSC公司：68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}，莱克特。注释计算。科学。5144300-314（2008年；Zbl 1166.68349）
全文： 内政部
克劳斯·埃利格;弗洛里安·哈夫特曼;托比亚斯·尼普科

通过评估进行标准化的编译实现。 （英语） Zbl 1165.68442号

Mohamed，Otmane Ait（编辑）等，《高阶逻辑中的定理证明》。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71065-3/pbk）。计算机科学课堂讲稿5170，39-54（2008）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Aehlig}等人，Lect。注释计算。科学。5170、39-54（2008年；Zbl 1165.68442）
全文： 内政部
马卡里乌斯·温泽尔;劳伦斯·C·鲍尔森。;托比亚斯·尼普科

伊莎贝尔框架。 （英语） Zbl 1165.68478号

Mohamed，Otmane Ait（编辑）等，《高阶逻辑中的定理证明》。2008年8月18日至21日，加拿大蒙特利尔，第21届国际会议，TPHOLs 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71065-3/pbk）。计算机科学课堂讲稿5170，33-38（2008）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Wenzel}等人，Lect。注释计算。科学。5170、33-38（2008年；Zbl 1165.68478）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件