×

找到2009文档（结果1-100）

最新的 引文 关联
凯文·巴扎德

电脑的意义是什么？这是一个纯粹数学家的问题。 （英语） Zbl 07821721号

Beliaev，Dmitry（编辑）等人，《2022年国际数学家大会》，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第2卷。全体演讲。柏林：欧洲数学学会（EMS）。578-608 (2023).
MSC公司：68V20型
PDF格式BibTeX公司 XML格式引用
\textit{K.Buzzard}，in：2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第2卷。全体演讲。柏林：欧洲数学学会（EMS）。578-608（2023年；兹比尔07821721）
全文： 内政部 arXiv公司
OA许可证
丹尼尔·安尼科夫；保罗·卡普里奥蒂；克劳斯，尼古拉；克里斯蒂安·萨特勒

两级类型理论与应用。 （英语） Zbl 07813366号

数学。结构。计算。科学。 33，第8号，688-743（2023）; 勘误表同上，第34号，第1、80页（2024年）。
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{D.Annenkov}等人，《数学》。结构。计算。科学。33，编号8，688--743（2023；Zbl 07813366）
全文： 内政部 arXiv公司
OA许可证
塞巴斯蒂安·乌尔乔利

Agda中系统T的强正规化定理的形式证明。 （英语） Zbl 07810647号

Nantes-Sobrinho，Daniele（编辑）等人，第17届逻辑和语义框架应用国际研讨会论文集，LSFA，巴西贝洛奥里藏特，2022年9月23日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37681-99（2023年）。
MSC公司：03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Urciuoli}，电子。程序。西奥。计算。科学。（EPTCS）376，81--99（2023；Zbl 07810647）
全文： 内政部 arXiv公司
穆尼奥斯，塞萨尔A。；毛里西奥·阿亚拉·林科恩；马里亚诺·莫斯卡托。；亚伦·M·达特（Aaron M.Dutle）。；Anthony J.Narkawicz。；阿丽亚娜·阿尔维斯·阿尔梅达；安德烈亚·艾夫拉尔·达席尔瓦；蒂亚戈·费雷拉·拉莫斯

一阶递归函数终止准则的形式化验证。 （英语） Zbl 07800193号

J.汽车。推理 67，第4期，第40号论文，第30页（2023年）.
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Muñoz}等人，J.Autom。推理67，第4号，论文40，30页（2023；Zbl 07800193）
全文： 内政部
波琳娜维诺格拉多瓦

将意想不到的吊死悖论形式化：一个经典的惊喜。 （英语） Zbl 1528.68398号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 44-58 (2023).
MSC公司：68V20型 03B99号
PDF格式BibTeX公司 XML格式引用
\textit{P.Vinogradova}，莱克特。注释计算。科学。14156，44-58（2023年；兹比尔1528.68398）
全文： 内政部
克莱门·奥伯特；彼得·布朗宁

可逆分布式微积分的实现。 （英语） Zbl 07786603号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 210-217 (2023).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{P.Browning}，莱克特。注释计算。科学。13960、210-217（2023；Zbl 07786603）
全文： 内政部 哈尔
布莱恩，马丁；卡洛斯·西德；玩家Rachel；雷娜·罗布森

验证经典McEliece：研究形式化方法在后量子密码学标准化中的作用。 （英语） Zbl 1519.94064号

Jean-Christophe Denuville（编辑），《基于代码的密码术》。第十届国际研讨会，2022年5月29日至30日，挪威特隆赫姆，CBCrypto 2022。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13839, 21-36 (2023).
MSC公司：94A60型 81页94
PDF格式BibTeX公司 XML格式引用
\textit{M.Brain}等人，Lect。注释计算。科学。13839，21-36（2023；Zbl 1519.94064）
全文： 内政部
费边·鲍尔·马尔夸特；斯特凡·洛伊；克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） 兹比尔1529.68152

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).
MSC公司：60年第68季度 68号30 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit｛F.Bauer Marquart｝等人，Lect。注释计算。科学。14000、181--198（2023年；Zbl 1529.68152）
全文： 内政部 arXiv公司
西尔维·博尔多；弗朗索瓦·克莱门特；文森特·马丁；米凯拉·梅耶罗；侯达·穆钦

勒贝格归纳原理和托内利定理的Coq形式化。 （英语） Zbl 1529.68315号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 39-55 (2023).
MSC公司：68V20型 26A42型 26B15号 28A35型
PDF格式BibTeX公司 XML格式引用
\textit{S.Boldo}等人，Lect。注释计算。科学。14000，39-55（2023；Zbl 1529.68315）
全文： 内政部 哈尔
托比亚斯·卡佩

重新考虑了Kleene代数的完备性和有限模型性质。 （英语） Zbl 07728638号

Glück，Roland（编辑）等人，《计算机科学中的关系和代数方法》。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13896, 158-175 (2023).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}，莱克特。注释计算。科学。13896158-175（2023年；兹bl 07728638）
全文： 内政部 arXiv公司
伊戈尔·康诺夫；玛丽亚娜·拉齐奇；伊利娜·斯托伊尔科夫斯卡；约瑟夫·威德

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

日志。方法计算。科学。 19，第1号，第5号论文，25页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，日志。方法计算。科学。19，第1号，第5号论文，25页（2023；Zbl 07667095）
全文： 内政部 arXiv公司
恩里克·马丁·马汀；黑山，曼努埃尔；阿德里安·里斯科；胡安·罗德里格斯·霍塔拉；鲁宾·鲁比奥

使用可执行规范语言验证ROS NavFn规划器。 （英语） Zbl 07665444号

J.日志。阿尔盖布。方法计划。 132，文章ID 100860，23 p.（2023）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{E.Martin-Martin}等人，J.Log。阿尔盖布。方法计划。132，文章ID 100860，23 p.（2023；Zbl 07665444）
全文： 内政部
罗伯特·索尔德纳；丰满，细节

双推出图变换中的机械化证明。 （英语） 兹伯利07806734

Heckel，Reiko（编辑）等人，《第十三届图形计算模型国际研讨会论文集》，GCM，法国南特，2022年7月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37459-75（2022年）。
MSC公司：68倍 2009年5月
PDF格式BibTeX公司 XML格式引用
\textit{R.Söldner}和\textit{D.Plump}，电子。程序。西奥。计算。科学。（EPTCS）374，59--75（2022；Zbl 07806734）
全文： arXiv公司 链接
马修·蒙廷；Amélie Ledein；凯瑟琳·杜布瓦

LibNDT：面向链接嵌套数据类型上可扩展属性的正式库。 （英语） Zbl 07779291号

Jeremy Gibbons等人，《数学结构函数编程第九次研讨会论文集》，MSFP 2022，德国慕尼黑，2022年4月2日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）360，27-44（2022）。
MSC公司：68倍 2009年6月
PDF格式BibTeX公司 XML格式引用
\textit{M.Montin}等人，《电子》。程序。西奥。计算。科学。（EPTCS）360、27-44（2022；Zbl 07779291）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；约翰·加拉赫（John P.Gallagher）。；曼努埃尔五世（Manuel V.Hermenegildo）。；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号

理论与实践。日志。程序。 22，第6期，974-1042（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛E.De Angelis｝等人，《理论与实践》。日志。程序。22，第6号，974--1042（2022；Zbl 07776353）
全文： 内政部 arXiv公司
OA许可证
兰吉特·贾拉

嵌入式领域特定验证器。 （英语） Zbl 1528.68227号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 535-553 (2022).
MSC公司：60年第68季度 68甲18 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Jhala}，莱克特。注释计算。科学。13660、535--553（2022年；Zbl 1528.68227）
全文： 内政部
Maycon J.J.阿玛罗。；塞缪尔·费托萨。；罗德里戈·里贝罗。

将一般递归编译为有限深度模式匹配的合理策略。 （英语） Zbl 1528.68050号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 39-54 (2022).
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.J.J.Amaro}等人，Lect。注释计算。科学。13768，39-54（2022；Zbl 1528.68050）
全文： 内政部
陶一成；曹勤祥

逻辑：用于逻辑的Coq库。 （英语） Zbl 1528.68397号

董伟（编辑）等，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13649, 205-226 (2022).
MSC公司：68V20型 03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Tao}和\textit{Q.Cao}，Lect。注释计算。科学。13649205-226（2022年；Zbl 1528.68397）
全文： 内政部
史正普；陈刚

Coq中多种形式矩阵模型的集成。 （英语） Zbl 1528.68396号

董伟（编辑）等，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13649, 169-186 (2022).
MSC公司：68V20型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Shi}和\textit{G.Chen}，Lect。注释计算。科学。13649，169--186（2022；Zbl 1528.68396）
全文： 内政部
菲利普·舒斯特；Brachthäuser，乔纳森·伊曼纽尔；克劳斯·奥斯特曼

基于区域的资源管理和连续传递样式的词法异常处理程序。 （英语） Zbl 1528.68052号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 492-519 (2022).
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛P.Schuster｝等人，Lect。注释计算。科学。13240，492--519（2022；Zbl 1528.68052）
全文： 内政部
贝洛·卢伦索（Cláudio）；豪尔赫·索萨·平托

Why3-do：和谐分布式系统证明的方法。 （英语） Zbl 1528.68248号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 114-142 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Belo Lourenço}和\textit{J.Sousa Pinto}，莱克托。注释计算。科学。13240，114--142（2022；Zbl 1528.68248）
全文： 内政部
克里斯蒂安·戈斯汀；托马斯·海恩斯；穆勒，约翰内斯；彼得·罗恩；特杰兰·西尔德

头部可验证解密。 （英语） 兹比尔1527.94041

Nguyen，Khoa（编辑）等人，《信息安全与隐私》。第27届澳大拉西亚会议，ACISP 2022，澳大利亚新南威尔士州卧龙岗，2022年11月28日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13494355-374（2022）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{K.Gjösteen}等人，Lect。注释计算。科学。13494、355--374（2022年；Zbl 1527.94041）
全文： 内政部 链接
阿尤木斋藤；雷纳尔德·阿弗尔德

走向Coq中一元方程推理的实用库。 （英语） Zbl 07705361号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 151-177 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Saito}和\textit{R.Affeldt}，莱克特。注释计算。科学。13544，151--177（2022；Zbl 07705361）
全文： 内政部
多米尼克·韦尔；多米尼克·柯斯特

建构型理论中一阶逻辑的实质对话。 （英语） Zbl 07691333号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468344-361（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Wehr}和\textit{D.Kirst}，莱克特。注释计算。科学。13468、344--361（2022；Zbl 07691333）
全文： 内政部
mnesc博士，Isabela；艾丽卡·阿尔布拉汉姆；都铎Jebelean；加博尔·库斯珀；斯特拉图拉特，索林

在课堂上进行自动推理实验。 （英语） Zbl 07691306号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 287-304 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Drámnesc}等人，Lect。注释计算。科学。13467，287--304（2022；Zbl 07691306）
全文： 内政部 哈尔
Hůla，一月；Jakubův，简；米科拉什·亚诺塔；卢卡什库贝

SMT解算器的目标配置。 （英语） Zbl 07691304号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 256-271 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Hůla}等人，Lect。注释计算。科学。13467256-271（2022；Zbl 07691304）
全文： 内政部
芙蓉岛、秀君；大池山口；Seigo志中；中关村，Kazuhisa；Katsumi Wasaki

Mizar数学图书馆的集成web平台。 （英语） Zbl 07691295号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 141-146 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Furushima}等人，Lect。注释计算。科学。13467，141--146（2022；Zbl 07691295）
全文： 内政部 arXiv公司
塞拉诺·苏亚雷斯、法比安·费尔南多；毛里西奥·阿亚拉·林科恩；德利马，塔纳拉·阿里利

有限集可数族的霍尔定理。 （英语） Zbl 07691293号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 107-121 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{F.F.Serrano Suárez}等人，Lect。注释计算。科学。13467，107-121（2022；Zbl 07691293）
全文： 内政部
马西耶·巴斯卡；Dariusz Biernacki

自动化高阶计算器和抽象机器之间的函数通信。 （英语） Zbl 1521.68033号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 38-59 (2022).
MSC公司：68号30 第68页第20页
PDF格式BibTeX公司 XML格式引用
\textit{M.Buszka}和\textit{D.Biernacki}，莱克特。注释计算。科学。13290，38-59（2022；Zbl 1521.68033）
全文： 内政部 arXiv公司
法维奥·埃泽基尔·米兰达·佩雷亚；德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德；Linares Arévalo，皮拉尔·塞琳

构造模态逻辑S4的对偶连续演算。 （英语） Zbl 07676413号

数学。结构。计算。科学。 32，第9期，1205-1233（2022）.
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{F.E.Miranda-Perea}等人，数学。结构。计算。科学。32，编号9，1205--1233（2022；Zbl 07676413）
全文： 内政部
Lopez Pombo，Carlos G。；阿古斯汀·埃洛伊·马丁内斯·苏涅

在独立于语言的环境中集成演绎和模型发现。 （英语） Zbl 07633799号

Nazareno Aguirre等人，《软件工程的数学基础》，纪念汤姆·迈鲍姆70岁生日和退休之际的论文。2019年2月16日至17日在阿根廷里约库亚托举行的联合国红十字会国际研讨会的贡献。伦敦：学院出版物。致敬45，22-59（2022）。
MSC公司：68新元
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Lopez Pombo}和\textit{A.E.Martinez Suñé}，《致敬》45，22-59（2022；Zbl 07633799）
全文： arXiv公司
哈尼尔·巴博萨；安德鲁·雷诺兹；基里恩·克莱默；汉娜·拉奇尼特；艾娜·尼梅茨；安德烈斯·诺兹利；亚历克斯·奥兹德米尔；马蒂亚斯·普雷纳；阿琼·维斯瓦纳坦；斯科特·维特里；尤尼·佐哈尔；塞萨尔·蒂内利；克拉克·巴雷特

在工业级SMT解决方案中进行灵活的验证生产。 （英语） Zbl 07628179号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 15-35 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.Barbosa}等人，Lect。注释计算。科学。13385，15--35（2022；Zbl 07628179）
全文： 内政部
Gilles Dowek

从数学真理的普遍性到证明系统的互操作性。 （英语） Zbl 07628178号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 8-11 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}，莱克特。注释计算。科学。13385，8--11（2022；Zbl 07628178）
全文： 内政部
Joshua M.科恩。；王钦石；安德鲁·W·阿佩尔。

通过MathComp和VST验证Coq中的擦除更正。 （英语） Zbl 1514.68071号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 272-292 (2022).
MSC公司：68页30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Cohen}等人，Lect。注释计算。科学。13372、272--292（2022年；Zbl 1514.68071）
全文： 内政部
蒂鲍特·达迪尼尔；高拉夫，Parthasarathy；几周，不；彼得·米勒；亚历山大·萨默斯。

魔术棒的声音自动化。 （英语） Zbl 1514.68034号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 130-151 (2022).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Dardinier}等人，莱克特。注释计算。科学。13372、130-151（2022年；Zbl 1514.68034）
全文： 内政部 arXiv公司
Yutaka长岛

定义量词通过归纳实现证明的语义推理。 （英语） Zbl 1514.68311号

Kovács，Laura（编辑）等人，《测试和证明》。第16届国际会议，TAP 2022，作为STAF 2022的一部分，于2022年7月5日在法国南特举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13361, 48-66 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Nagashima}，莱克特。注释计算。科学。13361、48-66（2022年；Zbl 1514.68311）
全文： 内政部 arXiv公司
莱昂内尔·布拉特；尼古拉·科马托夫；维吉尔·普雷沃斯托；帕斯卡尔·勒加尔

关系属性的认证验证。 （英语） Zbl 1502.68077号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 86-105 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Blatter}等人，Lect。注释计算。科学。13274，86-105（2022；Zbl 1502.68077）
全文： 内政部 arXiv公司 链接
斯特吉奥斯·查齐基里亚基迪斯；罗朝晖

MTT语义的分级性。 （英语） Zbl 1530.03120号

奥兹根、艾布克（编辑）等人，《语言、逻辑和计算》。第十三届第比利斯国际研讨会，2019年TbiLLC，格鲁吉亚巴统，2019月16-20日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13206, 38-59 (2022).
MSC公司：03B65号 03B38型 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Chatzikyriakidis}和\textit{Z.Luo}，Lect。注释计算。科学。13206，38-59（2022年；兹比尔1530.03120）
全文： 内政部
Jacco O.G.Krijnen。；Manuel M.T.查克拉瓦蒂。；加布里埃尔·凯勒；沃特·斯威斯特拉

智能合同的翻译认证。 （英语） Zbl 07570116号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 94-111 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.O.G.Krijnen}等人，莱克特。注释计算。科学。13215，94-111（2022；Zbl 07570116）
全文： 内政部 arXiv公司
Michikazu Hirata；Minamide、Yasuhiko；佐藤，铁杉

Isabelle/HOL中高阶概率程序的程序逻辑。 （英语） 兹伯利07570114

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 57-74 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Hirata}等人，Lect。注释计算。科学。13215，57-74（2022；Zbl 07570114）
全文： 内政部
多米尼克·柯斯特；多米尼克·拉切·温德林（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公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件