×

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

最新的 引文 关联
伊戈尔·康诺夫；玛丽亚娜·拉齐奇；伊利娜·斯托伊尔科夫斯卡；约瑟夫·威德

阈值自动机和拜占庭模型检查器参数化验证综述。 （英语） Zbl 07667095号

日志。方法计算。科学。 19，第1号，第5号论文，25页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，日志。方法计算。科学。19，第1号，第5号论文，25页（2023；Zbl 07667095）
全文： 内政部 arXiv公司
多米尼克·柯斯特；多米尼克·拉切·温德林（Dominique Larchey-Wendling）

Coq中的Trakhtenbrot定理：通过构造透镜的有限模型理论。 （英语） Zbl 07566073号

日志。方法计算。科学。 18，第2号，第17号论文，29页（2022年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{D.Kirst}和\textit{D.Larchey-Wendling}，Log。方法计算。科学。18，第2号，第17号论文，29页（2022；Zbl 07566073）
全文： arXiv公司 链接
多米尼克·拉切·温德林（Dominique Larchey-Wendling）；扬尼克·福斯特

《考克》中希尔伯特的第十个问题（扩展版）。 （英语） Zbl 1528.03182号

日志。方法计算。科学。 18，第1号，第35号论文，41页（2022年）.
MSC公司：03天35分 2009年11月 05年11月
PDF格式BibTeX公司 XML格式引用
\textit{D.Larchey-Wendling}和\textit{Y.Forster}，Log。方法计算。科学。18，第1号，第35号论文，41页（2022；Zbl 1528.03182）
全文： arXiv公司 链接
安德烈·特夫内斯库；斯蒂芬·乔布；拉杜·梅鲁塔；布兰登·摩尔；格里高·罗什乌；⑩erbnuṭ呃，Traian Florin

所有路径可达性逻辑。 （英语） Zbl 1421.68015号

日志。方法计算。科学。 15，第2号，第5号论文，23页（2019年）.
MSC公司：68号30 03B70号 68甲19 68问题55 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.ötefnescu}等人，《日志》。方法计算。科学。15，第2号，第5号论文，第23页（2019年；Zbl 1421.68015）
全文： arXiv公司
阿伦斯，贝内迪克特；彼得·勒法努·卢姆斯代恩

显示的类别。 （英语） 兹伯利1419.18001

日志。方法计算。科学。 15，第1号，第20号论文，第18页（2019年）.
审核人：马可·贝尼尼（布奇纳斯科）
MSC公司：第18页第15页 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}和\textit{P.Lefanu Lumsdaine}，Log。方法计算。科学。15，第1号，第20号论文，第18页（2019；Zbl 1419.18001）
全文： arXiv公司
阿伦斯，贝内迪克特；彼得·勒法努·卢姆斯代恩；弗拉基米尔·沃沃德斯基

单价基础中类型理论的分类结构。 （英语） Zbl 1496.03053号

日志。方法计算。科学。 14，第3号，第18号论文，18页（2018）.
MSC公司：03B38型 03楼50 18 C50 03B70号 55单位40 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，日志。方法计算。科学。14，第3号，第18号论文，18页（2018；Zbl 1496.03053）
全文： 内政部 arXiv公司
多米尼克·德夫里塞；马可·帕特里格纳尼；弗兰克·皮森斯；史蒂文·基切

模块化、完全抽象的近似反译汇编。 （英语） Zbl 1398.68089号

日志。方法计算。科学。 13，第4号，第2号论文，38页（2017年）.
MSC公司：第68页第20页 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Devriese}等人，日志。方法计算。科学。13，第4号，第2号论文，38页（2017；Zbl 1398.68089）
全文： 内政部 arXiv公司
拉纳德·克鲁斯顿；阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉尔斯·比克达尔

保护lambda-calculus：使用保护递归为共导类型进行编程和推理。 （英语） Zbl 1445.03012号

日志。方法计算。科学。 12，第3号，第7号论文，39页（2016年）.
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.Clouston}等人，日志。方法计算。科学。12，第3号，第7号论文，39页（2016；Zbl 1445.03012）
全文： 内政部 arXiv公司
纪尧姆·卡诺；西里尔·科恩；Dénès，马克西姆；安德斯·莫特伯格；文森特·塞尔斯

中初等除数环上的形式化线性代数Coq公司. （英语） Zbl 1448.68461号

日志。方法计算。科学。 12，第2号，第7号论文，23页（2016年）.
MSC公司：68V20型 15B33型
PDF格式BibTeX公司 XML格式引用
\textit{G.Cano}等人，《日志》。方法计算。科学。12，第2号，第7号论文，23页（2016年；Zbl 1448.68461）
全文： 内政部 arXiv公司
乌尔里希·伯杰；安德鲁·劳伦斯；弗雷德里克·诺德瓦尔·福斯伯格；莫尼卡·塞森伯格

提取经验证的决策程序：DPLL和解决方案。 （英语） Zbl 1448.68454号

日志。方法计算。科学。 11，第1号，第6号论文，18页（2015）.
MSC公司：68伏15 68甲18 68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{U.Berger}等人，Log。方法计算。科学。11，第1号，第6号论文，18页（2015；Zbl 1448.68454）
全文： 内政部 arXiv公司
安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西

（共）归纳结构演算的双向精化算法。 （英语） Zbl 1238.68145号

日志。方法计算。科学。 8，第1号，第18号论文，49页（2012）.
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Asperti}等人，《日志》。方法计算。科学。8，第1号，第18号文件，第49页（2012年；兹bl 1238.68145）
全文： 内政部 arXiv公司
西里尔·科恩；阿西亚·马布比

实代数几何中的形式证明：从有序域到量词消除。 （英语） Zbl 1241.68096号

日志。方法计算。科学。 8，第1号，第2号论文，40页（2012年）.
MSC公司：68吨15 03C10号机组 12月15日 第14页99 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Cohen}和\textit{A.Mahboubi}，日志。方法计算。科学。8，第1号，第2号文件，第40页（2012年；兹bl 1241.68096）
全文： 内政部 arXiv公司
马克·比克福德；罗伯特·康斯特布尔；约瑟夫·哈尔彭；萨宾娜·佩特里德

使用事件结构的分布式系统的基于知识的综合。 （英语） Zbl 1213.68202号

日志。方法计算。科学。 7，第2号，第14号论文，36页（2011年）.
MSC公司：68号30 03B42号 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bickford}等人，日志。方法计算。科学。7，第2号，第14号论文，36页（2011年；Zbl 1213.68202）
全文： 内政部
朗格兰，斯特凡·让·埃里克；罗伊·戴克霍夫；詹姆斯·麦金纳

纯类型系统中用于证明搜索的集中序列演算框架。 （英语） Zbl 1218.03010号

日志。方法计算。科学。 7，第1号，第6号论文，35页（2011年）.
MSC公司：03B35型 05年3月 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.J.E.Lengrand}等人，Log。方法计算。科学。7，第1号，第6号论文，35页（2011；Zbl 1218.03010）
全文： 内政部 arXiv公司

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件