×

找到7192份文件（结果1-100）

最新的 引文 关联
马可·T·莫拉赞。

基于编程的形式语言和自动机理论。设计、实施、验证和证明。 （英语） Zbl 07786059号

计算机科学课文查姆：施普林格（ISBN 978-3-031-43972-8/hbk；978-3-331-43975-9/pbk；978-1-031-43973-5/电子书）。第二十三章，第524页。(2024).
MSC公司：68-01 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.T.Morazán}，基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆：施普林格（2024；Zbl 07786059）
全文： 内政部
P.I.安东。;A.Yu Doroshenko。;伊万尼科，P.A。;O.A.Yatsenko。

Glushkov的算法代数和自动并行计算设计。 （英语。乌克兰原文） Zbl 07765729号

赛博。系统。分析。 59，第5期，687-697（2023）; 翻译自Kibern。修女。分析。59，第5期，第3-15页（2023年）。
MSC公司：68周01 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛P.I.Andon｝等人，Cybern。系统。分析。59，编号5，687--697（2023；Zbl 07765729）；翻译自Kibern。修女。分析。59，第5号，第3-15号（2023年）
全文： 内政部
达斯科·巴甫洛维奇

以图表形式显示的程序。从类别可计算性到可计算类别。 （英语） Zbl 07761082号

可计算性理论与应用.商会：施普林格出版社（ISBN 978-3-031-34826-6/hbk；978-3-031-34829-7/pbk；978-3-031-34827-3/ebook）。十七、252页。(2023).
MSC公司：68-01 18-01 18立方米 68号30 第68季度01
PDF格式BibTeX公司 XML格式引用
\textit{D.Pavlovic}，程序作为图表。从类别可计算性到可计算类别。查姆：施普林格（2023；Zbl 07761082）
全文： 内政部 arXiv公司
A.I.Glushchenko。;拉斯托奇金，K.A。

对称矩阵（P\）的（P\ otimes P\）乘积向量化的构造算法。 （英语。俄文原件） Zbl 07752283号

计算。数学。数学。物理学。 63，编号9，1559-1570（2023）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63，第9期，1415-1427（2023）。
MSC公司：81页68 03C10号机组 46A32型 81层33 43A50型 68号30 03天80
PDF格式BibTeX公司 XML格式引用
\textit{A.I.Glushchenko}和\textit{K.A.Lastochkin}，计算。数学。数学。物理学。63，编号9，1559--1570（2023；Zbl 07752283）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63，编号9，1415--1427（2023）
全文： 内政部
福图纳特·拉乔纳;爱奥华纳州布尔亚努;瓦迪姆·马尔文;弗朗西斯科·贝拉迪内利

以人工智能为中心的程序语义和验证技术。 （英语） Zbl 1529.68083号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 473-491 (2023).
MSC公司：68号30 68甲15 68问题55 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Rajaona}等人，Lect。注释计算。科学。14000，473--491（2023；Zbl 1529.68083）
全文： 内政部 链接
费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） Zbl 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公司
劳拉·科瓦奇

自动程序推理中的符号计算。 （英语） Zbl 1529.68080号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 3-9 (2023).
MSC公司：68号30 60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\文本｛L.Kovács｝，Lect。注释计算。科学。14000，3--9（2023；Zbl 1529.68080）
全文： 内政部
范德普拉斯，延斯;昆廷·斯蒂文娜特;科恩·德鲁弗

增量模块分析的结果无效。 （英语） Zbl 1529.68085号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 296-319 (2023).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Van der Plas}等人，Lect。注释计算。科学。13881296--319（2023年；Zbl 1529.68085）
全文： 内政部
伊格纳西奥·蒂拉博斯基;塔玛拉·雷兹克;对手，泽维尔

通过抽象解释的合理符号执行及其在安全方面的应用。 （英语） Zbl 1529.68084号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 267-295 (2023).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.Tiraboschi}等人，Lect。注释计算。科学。13881267--295（2023年；Zbl 1529.68084）
全文： 内政部 arXiv公司 哈尔
阿米尔·卡夫什达尔·戈哈沙迪;艾哈迈德·哈利德·扎赫尔

使用树宽度和树宽度进行有效的过程间数据流分析。 （英语） Zbl 1529.68158号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 177-202 (2023).
MSC公司：60年第68季度 68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.K.Goharshady}和\textit{A.K.Zaher}，莱克特。注释计算。科学。13881177-202（2023年；Zbl 1529.68158）
全文： 内政部 哈尔
伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥伦·穆特鲁吉尔

有状态部分顺序缩减的实用方法。 （英语） Zbl 1529.68156号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 129-154 (2023).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Cirisci}等人，Lect。注释计算。科学。13881、129--154（2023年；Zbl 1529.68156）
全文： 内政部 arXiv公司
尼古拉·贝蒂埃;Khakpour，纳吉斯

符号抽象堆用于多态信息流保护推断。 （英语） Zbl 1529.68079号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881，66-90（2023年）。
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.Berthier}和\textit{N.Khakpour}，莱克特。注释计算。科学。13881、66-90（2023年；Zbl 1529.68079）
全文： 内政部 arXiv公司
克莱门·奥伯特;托马斯·鲁比亚诺;内亚·鲁施;托马斯·塞勒

分配和并行化非规范循环。 （英语） Zbl 1529.68078号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 1-24 (2023).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，Lect。注释计算。科学。13881，1--24（2023；Zbl 1529.68078）
全文： 内政部 哈尔
迪莉娅·凯斯纳（编辑）;皮埃尔·马里·佩德罗（编辑）

第28届国际证明和程序类型会议，types 2022，LS2N，南特大学，法国，2022年6月20日至25日。 （英语） Zbl 1517.68019号

LIPIcs–莱布尼茨国际信息学会议录269.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-285-3）。vii，15篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 03B70号 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kesner}（ed.）和\textit{P.-M.Pédrot}（edi.），第28届证明和程序类型国际会议，types 2022，LS2N，南特大学，法国，2022年6月20日至25日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1517.68019）
全文： 内政部 链接
玛丽亚·塔拉塞维奇。;Tsybulin，伊万五世。;弗拉基米尔·奥诺普里恩科。;德米特里五世·库利亚明。;Evgeny M.沃洛丁。

基于集成的INM RAS地球系统模型统计验证。 （英语） Zbl 07712180号

Russ.J.数字。分析。数学。模型。 38，编号3，173-186（2023）.
MSC公司：62至XX 76立方米 86A08型 68号30 62F03型
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Tarasevich}等人，Russ.J.Numer。分析。数学。模型。38，编号3，173--186（2023；Zbl 07712180）
全文： 内政部
博卡莱蒂，S。;德莱利斯，P。;德尔吉尼奥，C.I。;Alfaro-Bittner，K。;克里亚多，R。;南卡罗来纳州贾兰。;罗曼斯，M。

具有高阶相互作用的网络的结构和动力学。 （英语） Zbl 1523.81029号

物理学。代表。 1018, 1-64 (2023).
MSC公司：81页第45页 68个M12 81伏05 05E45型 82立方32 91天30分 68号30 05C15号 81-02 00A06号
PDF格式BibTeX公司 XML格式引用
\textit{S.Boccaletti}等人，《物理学》。代表1018，1-64（2023；Zbl 1523.81029）
全文： 内政部
乔纳森·鲍文（Jonathan P.Bowen）。

书评：C.B.Jones（编辑）和J.Misra（编辑），编程理论。托尼·霍尔的生活和作品。 （英语） Zbl 07809174号

正式Asp。计算。 34，第3-4期，第14号论文，第3页（2022年）.
MSC公司：00A17年 68-06 01A70号 68-03 68号30 68问题55 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Bowen}，正式Asp。计算。34，第3-4号，第14号论文，第3页（2022；Zbl 07809174）
全文： 内政部
杰雷米·柯尼格

基于范畴代数中的博弈语义。 （英语） Zbl 1530.68154号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372368-383（2022）。
MSC公司：68问题55 18 C50 68号30 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Koenig}，电子。程序。西奥。计算。科学。（EPTCS）372368-383（2022年；Zbl 1530.68154）
全文： arXiv公司 链接
瑞科·赫克尔（编辑）;克里斯托弗·M·波斯基特。（编辑）

第十三届图形计算模型国际研讨会论文集，GCM，法国南特，2022年7月6日。 （英语） Zbl 1522.68033号

理论计算机科学电子论文集（EPTCS）374.滑铁卢：开放出版协会（OPA）。93页。，仅电子化、开放存取（2022年）。
MSC公司：68-06 68号30 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}（ed.）和\textit{C.M.Poskitt}（edi.），第十三届图形计算模型国际研讨会论文集，GCM，法国南特，2022年7月6日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68033）
全文： 内政部 arXiv公司 链接
杰弗里·汉密尔顿。（编辑）;Temesghen Kahsai（编辑）;毛里齐奥·普罗埃蒂（编辑）

2022年4月3日，德国慕尼黑，HCVS/VPT 2022，第九届验证与合成Horn条款研讨会和第十届验证与程序转换国际研讨会会议记录。 （英语） Zbl 1522.68032号

理论计算机科学电子论文集（EPTCS）373.滑铁卢：开放出版协会（OPA）。第62页。，仅电子化、开放存取（2022年）。
MSC公司：68-06 68号30 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{G.W.Hamilton}（ed.）等人，《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》，HCVS/VPT 2022，德国慕尼黑，2022年4月3日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68032）
全文： 内政部 arXiv公司 链接
哈达尔·弗兰克尔;奥尔纳·格伦伯格;巴特·陈·罗森伯格;莎莱·申瓦尔德

使用正式验证技术自动修复程序。 （英语） Zbl 1528.68079号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 511-534 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Frenkel}等人，Lect。注释计算。科学。13660、511--534（2022年；Zbl 1528.68079）
全文： 内政部
因斯，伊尼戈;阿尔伯特·本文尼斯特;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。

从接口自动机到超契约。 （英语） Zbl 1528.68186号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660477-493（2022）。
MSC公司：65年第68季度 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Incer}等人，Lect。注释计算。科学。13660477--493（2022年；Zbl 1528.68186）
全文： 内政部
安吉洛·费兰多;瓦迪姆·马尔文

通过不可区分关系对不完全信息进行运行时验证。 （英语） Zbl 1525.68076号

Schlingloff，Bernd-Holger（编辑）等人，《软件工程和形式化方法》。第20届国际会议，SEFM 2022，德国柏林，2022年9月26-30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13550, 335-351 (2022).
MSC公司：60年第68季度 68号30 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferrando}和\textit{V.Malvone}，莱克特。注释计算。科学。13550335--351（2022年；Zbl 1525.68076）
全文： 内政部
托拜厄斯·隆格;亚历山大·基特曼;马可·塞韦托;亚历克斯·波坦;伊娜·谢弗

面向对象语言的信息流控制结构。 （英语） Zbl 1525.68031号

Schlingloff，Bernd-Holger（编辑）等人，《软件工程和形式化方法》。第20届国际会议，SEFM 2022，德国柏林，2022年9月26日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13550, 209-226 (2022).
MSC公司：68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{T.Runge}等人，Lect。注释计算。科学。13550，209--226（2022；Zbl 1525.68031）
全文： 内政部 arXiv公司
简·哈尔特曼;海克·卫尔海姆

过近似和欠近似软件分析之间的信息交换。 （英语） Zbl 1525.68026号

Schlingloff，Bernd-Holger（编辑）等人，《软件工程和形式化方法》。第20届国际会议，SEFM 2022，德国柏林，2022年9月26-30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13550, 37-54 (2022).
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Haltermann}和\textit{H.Wehrheim}，莱克特。注释计算。科学。13550，37-54（2022；Zbl 1525.68026）
全文： 内政部
工资制造者，贾纳;内特·福斯特;托比亚斯·卡佩;德克斯特·科赞;朱里安·罗特;亚历山德拉·席尔瓦

并发NetKAT。建模和分析有状态的并发网络。 （英语） Zbl 1528.68259号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 575-602 (2022).
MSC公司：68问题85 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Wagemaker}等人，Lect。注释计算。科学。13240575--602（2022；Zbl 1528.68259）
全文： 内政部 arXiv公司
宋世宗曼;佩特拉·范登·博斯

编舞的谓词变换器。计算舞蹈编程中的先决条件。 （英语） Zbl 1528.68080号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 520-547 (2022).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.-S.Jongmans}和\textit{P.van den Bos}，莱克特。注释计算。科学。13240520-547（2022年；Zbl 1528.68080）
全文： 内政部
杨志轩;马尔科·帕维奥蒂;尼古拉斯·吴;范登伯格，比尔特;汤姆·施里杰弗斯

范围效应的结构化处理。 （英语） Zbl 1528.68088号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 462-491 (2022).
MSC公司：68号30 18 C50 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。13240、462--491（2022；Zbl 1528.68088）
全文： 内政部 arXiv公司
泽珊·拉哈尼;达斯，安库什;亨利·德扬;安德烈亚·莫迪多;弗兰克·芬宁

极化分型。 （英语） Zbl 1528.68082号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 431-461 (2022).
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Lakhani}等人，Lect。注释计算。科学。13240，431--461（2022；Zbl 1528.68082）
全文： 内政部 arXiv公司
普里塔姆·乔杜里;哈雷III伊德斯;斯蒂芬妮·威里奇

依赖依赖演算。 （英语） Zbl 1528.68078号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 403-430 (2022).
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Choudhury}等人，Lect。注释计算。科学。132403-430（2022年；Zbl 1528.68078）
全文： 内政部 arXiv公司
詹姆斯·伍德;罗伯特·艾奇

子结构类型系统的框架。 （英语） Zbl 1528.68087号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 376-402 (2022).
MSC公司：68号30 03B70号 68甲18 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Wood}和\textit{R.Atkey}，莱克特。注释计算。科学。13240376--402（2022；Zbl 1528.68087）
全文： 内政部
丹尼尔·马歇尔;迈克尔·沃尔默;多米尼克·乌节

线性和独特性：一份友好的协议。 （英语） Zbl 1528.68084号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240，346-375（2022）。
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Marshall}等人，Lect。注释计算。科学。13240346--375（2022年；Zbl 1528.68084）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;Raj Aryan阿加瓦尔;阿德瓦伊·戈博莱;S.、Krishna

概率总店铺订单。 （英语） Zbl 1528.68074号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 317-345 (2022).
MSC公司：68号30 60J20型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛P.A.Abdulla｝等人，Lect。注释计算。科学。13240317--345（2022年；Zbl 1528.68074）
全文： 内政部 arXiv公司
瓦尔沙·苏雷什。;雷卡·派;迪帕克·D’Souza;米纳克什·D’Souza;查克拉巴蒂、苏吉特·库马尔

定期程序的静态竞争检测。 （英语） Zbl 1528.68086号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 290-316 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{V.P.Suresh}等人，Lect。注释计算。科学。13240290-316（2022；Zbl 1528.68086）
全文： 内政部
乌尔里希·伯杰;Hideki Tsuiki

从证明中提取总Amb程序。 （英语） Zbl 1528.68077号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 85-113 (2022).
MSC公司：68号30 03B70号 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{U.Berger}和\textit{H.Tsuiki}，莱克特。注释计算。科学。13240，85-113（2022；Zbl 1528.68077）
全文： 内政部 arXiv公司
朱利安·瓦内格

对抗逻辑。 （英语） Zbl 1524.68105号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 422-448 (2022).
MSC公司：68号30 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Vanegue}，莱克特。注释计算。科学。13790422--448（2022年；Zbl 1524.68105）
全文： 内政部
Ryoya Mukai;直纪小林;佐藤隆介

用于自动程序验证的参数化递归优化类型。 （英语） Zbl 1524.68100号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 397-421 (2022).
MSC公司：68号30 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Mukai}等人，Lect。注释计算。科学。13790397——421（2022年；兹比尔1524.68100）
全文： 内政部
吉尔·巴特;阿德里安·库索斯;索莱内·米利亚兹;大卫·皮哈迪;彼得·施瓦布

管道优化程序成本分析的语义基础。 （英语） Zbl 1524.68073号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第13790、372-396页（2022）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，Lect。注释计算。科学。13790372--396（2022年；Zbl 1524.68073）
全文： 内政部 哈尔
马可·米兰尼斯;弗朗西斯科·兰扎托

带测试的Kleene代数上的局部完备性逻辑。 （英语） Zbl 1524.68098号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 350-371 (2022).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Milanese}和\textit{F.Ranzato}，莱克特。注释计算。科学。13790、350-371（2022年；Zbl 1524.68098）
全文： 内政部 arXiv公司 链接
阿布·纳赛尔·马苏德

快速增量计算弱控制闭合。 （英语） Zbl 1524.68095号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 325-349 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Masud}，莱克特。注释计算。科学。13790325--349（2022年；Zbl 1524.68095）
全文： 内政部
黄康静;邱晓康

基于自举库的合成。 （英语） Zbl 1524.68091号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 272-298 (2022).
MSC公司：68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{K.Huang}和\textit{X.Qiu}，Lect。注释计算。科学。13790272--298（2022年；Zbl 1524.68091）
全文： 内政部
罗伯托·贾科巴齐;伊莎贝拉·马斯特罗尼

属性驱动的代码混淆重新解释了抽象解释中的Jones优化。 （英语） Zbl 1524.68087号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790247-271（2022年）。
MSC公司：68号30 68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Giacobazzi}和\textit{I.Mastroeni}，莱克特。注释计算。科学。13790247--271（2022年；Zbl 1524.68087）
全文： 内政部
伊莎贝尔·加西亚·孔特雷拉斯;阿里·古芬克尔;豪尔赫·纳瓦斯（Jorge A.Navas）。

指针程序的高效模块化基于SMT的模型检查。 （英语） Zbl 1524.68190号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 227-246 (2022).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{I.Garcia-Contreras}等人，Lect。注释计算。科学。13790227--246（2022年；Zbl 1524.68190）
全文： 内政部
罗伯托·布鲁尼;罗伯塔·戈里;尼古拉·马尼尼

通过对有界域的完整抽象来确定程序属性。 （英语） Zbl 1524.68077号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 175-200 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。13790175-200（2022年；Zbl 1524.68077）
全文： 内政部
Beillahi、Sidi Mohamed;艾哈迈德·博阿贾尼;康斯坦丁·埃纳;舒文杜·拉希里

异步的自动合成。 （英语） Zbl 1524.68074号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第13790135-159页（2022）。
MSC公司：68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Beillahi}等人，Lect。注释计算。科学。13790135-159（2022年；Zbl 1524.68074）
全文： 内政部 arXiv公司
圣地亚哥包蒂斯塔;托马斯·延森;贝诺·蒙塔古

将数字关系域提升为代数数据类型。 （英语） Zbl 1524.68198号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 104-134 (2022).
MSC公司：68问题65 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Bautista}等人，Lect。注释计算。科学。13790104-134（2022年；Zbl 1524.68198）
全文： 内政部 哈尔
阿迪蒂亚·阿南德;玛纳斯·塔库尔

分阶段静态+动态部分分析的原则。 （英语） Zbl 1524.68071号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 44-73 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Anand}和\textit{M.Thakur}，莱克特。注释计算。科学。13790，44-73（2022；Zbl 1524.68071）
全文： 内政部
丹麦阿姆罗拉希;埃齐奥·巴托奇;乔治·凯尼森;劳拉·科瓦奇;马塞尔·穆斯布鲁克;米罗斯拉夫斯坦科维奇

求解不可解循环的不变量生成。 （英语） Zbl 1524.68070号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790，19-43（2022）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Amrollahi}等人，Lect。注释计算。科学。13790，19-43（2022；Zbl 1524.68070）
全文： 内政部 arXiv公司
周耀达;布鲁诺·C·d·S·奥利维拉。;范安东

具有递归类型、记录串联和子类型的演算。 （英语） Zbl 1524.68107号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 175-195 (2022).
MSC公司：68号30 68甲18 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zhou}等人，Lect。注释计算。科学。13658、175--195（2022年；Zbl 1524.68107）
全文： 内政部
薛、徐;布鲁诺·C·d·S·奥利维拉。;谢宁宁

适用的交叉点类型。 （英语） Zbl 1524.68106号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 155-174 (2022).
MSC公司：68号30 68甲18 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{X.Xue}等人，Lect。注释计算。科学。13658、155--174（2022年；Zbl 1524.68106）
全文： 内政部
宋亚辉;大流士福;魏恩根·钦

代数效应的自动时间验证。 （英语） Zbl 1524.68103号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 88-109 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Song}等人，Lect。注释计算。科学。13658、88-109（2022年；Zbl 1524.68103）
全文： 内政部 链接
罗伯特·迪克森;叶千川;Michael K·张。;特拉华州，本杰明

RHLE：关系属性的模块演绎验证。 （英语） Zbl 1524.68082号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 67-87 (2022).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Dickerson}等人，Lect。注释计算。科学。13658，67-87（2022；Zbl 1524.68082）
全文： 内政部 arXiv公司
乌尔里希·舍普;徐创杰

通过环境转换的抽象概念推断区域类型。 （英语） Zbl 1524.68101号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 45-64 (2022).
MSC公司：68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{U.Schöpp}和\textit{C.Xu}，Lect。注释计算。科学。13658、45-64（2022年；Zbl 1524.68101）
全文： 内政部 arXiv公司
文森佐·阿塞里;伊莎贝拉·马斯特罗尼;埃纳州扎法内拉

在抽象解释中解耦上升和下降阶段。 （英语） Zbl 1524.68072号

Sergey，Ilya（编辑），《编程语言与系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 25-44 (2022).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Arceri}等人，Lect。注释计算。科学。13658，25-44（2022；Zbl 1524.68072）
全文： 内政部 arXiv公司
约坦·德维尔;奥哈德·卡玛;奥里·拉哈夫

共享状态并发的代数理论。 （英语） Zbl 1524.68055号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 3-24 (2022).
MSC公司：68甲15 68N20型 68号30 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.Dvir}等人，Lect。注释计算。科学。13658，3--24（2022；Zbl 1524.68055）
全文： 内政部 链接
杨志轩;吴，尼古拉斯

神奇的变形以及在哪里可以找到它们。递归方案指南。 （英语） Zbl 07705364号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 222-267 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}和\textit{N.Wu}，Lect。注释计算。科学。13544、222--267（2022；Zbl 07705364）
全文： 内政部 arXiv公司
尼科洛·维尔特里;尼尔斯·沃诺内维尔

近似流，递归有效程序的等价。 （英语） Zbl 07705363号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 198-221 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Veltri}和\textit{N.Voorneveld}，莱克特。注释计算。科学。13544，198--221（2022；Zbl 07705363）
全文： 内政部
马丁·苏尔兹曼;斯特凡·韦尔

Featherweight Go的类型导向翻译方案的语义保留。 （英语） Zbl 07705362号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 178-197 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Sulzmann}和\textit{S.Wehr}，莱克特。注释计算。科学。13544178-197（2022；Zbl 07705362）
全文： 内政部 arXiv公司
阿尤木斋藤;雷纳尔德·阿弗尔德

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

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

折叠神经网络。 （英语） 兹伯利07705360

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 129-150 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Nguyen}和\textit{N.Wu}，Lect。注释计算。科学。13544、129-150（2022；Zbl 07705360）
全文： 内政部 arXiv公司
迪伦·麦克德莫特;塔尔莫乌斯塔卢

柔性分次单体和分次代数。 （英语） Zbl 07705359号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 102-128 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.McDermott}和\textit{T.Uustalu}，莱克托。注释计算。科学。13544、102-128（2022；Zbl 07705359）
全文： 内政部
拉尔夫·欣泽;沃特·斯威斯特拉

计算数据结构。 （英语） Zbl 07705358号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 62-101 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Hinze}和\textit{W.Swierstra}，Lect。注释计算。科学。13544，62-101（2022；Zbl 07705358）
全文： 内政部
布兰登·休尔;格雷厄姆·赫顿

不减少的子类型。 （英语） Zbl 07705357号

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 34-61 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛B.Hewer｝和\textit｛G.Hutton｝，Lect。注释计算。科学。13544，34-61（2022；Zbl 07705357）
全文： 内政部
杰里米·吉本斯;肾脏，Donnacha Oisín;汤姆·施里杰弗斯;尼古拉斯·吴

通过分段进行宽度第一次遍历。 （英语） 兹伯利07705356

Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 1-33 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Gibbons}等人，Lect。注释计算。科学。13544，1--33（2022；Zbl 07705356）
全文： 内政部 链接
泰斯·波顿;卡斯滕·福斯;劳雷·贡诺德

分析术语重写的并行复杂性。 （英语） Zbl 1522.68253号

Alicia Villanueva（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13474, 3-23 (2022).
MSC公司：2012年第68季度 68号30 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Baudon}等人，Lect。注释计算。科学。13474，3-23（2022年；兹比尔1522.68253）
全文： 内政部 arXiv公司 哈尔
马尔科·曼托瓦尼;阿尔贝托·莫米利亚诺

面向基于子结构特性的测试。 （英语） Zbl 1521.68035号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290，92-112（2022）。
MSC公司：68号30 03B47型 68甲15 68问题55 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{M.Mantovani}和\textit{A.Momigliano}，莱克特。注释计算。科学。13290，92-112（2022；Zbl 1521.68035）
全文： 内政部 arXiv公司 链接
马西耶·巴斯卡;Dariusz Biernacki

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

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 38-59 (2022).
MSC公司：68号30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Buszka}和\textit{D.Biernacki}，莱克特。注释计算。科学。13290，38-59（2022；Zbl 1521.68033）
全文： 内政部 arXiv公司
哈拉尔德·森德加德

字符串抽象域及其组合。 （英语） Zbl 1521.68036号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 1-15 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Söndergaard}，莱克特。注释计算。科学。13290，1-15（2022；Zbl 1521.68036）
全文： 内政部
塞巴斯蒂安·肯特

动态创建线程和锁的并行递归程序的锁敏感可达性分析。基于图形的方法。 （英语） Zbl 1509.68004号

穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）。viii，第231页。，开放存取（2022年）。
MSC公司：68-02 68号30 2012年第68季度 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Kenter}，动态创建线程和锁的并行递归程序的锁敏感可达性分析。基于图形的方法。穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）（2022；Zbl 1509.68004）
全文： 内政部
阿努吉·达瓦尔（编辑）;文凯特桑·古鲁斯瓦米（编辑）

第42届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2022），印度钦奈IIT马德拉斯，2022年12月18-20日。 （英语） Zbl 1502.68026号

LIPIcs–莱布尼茨国际信息学会议录250.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-261-7）。xv，44篇文章，非连续页面，仅电子版，开放获取（2022）。
MSC公司：68-06 68号30 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Dawar}（编辑）和\textit{V.Guruswami}（编），第42届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2022），印度钦奈IIT Madras，2022年12月18-20日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2022；Zbl 1502.68026）
全文： 内政部 链接
叶卡捷琳娜·科门丹茨卡亚（编辑）

程序构造的数学。2022年9月26日至28日，第14届国际会议，2022年货币政策委员会，格鲁吉亚第比利斯。诉讼程序。 （英语） Zbl 1514.68005号

计算机科学课堂讲稿13544.查姆：施普林格（ISBN 978-3-031-16911-3/pbk；978-3-331-16912-0/电子书）。xv，第269页。(2022).
MSC公司：68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{E.Komendantskaya}（编辑），程序构造数学。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格（2022；Zbl 1514.68005）
全文： 内政部
艾丽西亚·维拉纽埃娃（编辑）

基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。 （英语） Zbl 1511.68020号

计算机科学课堂讲稿13474.查姆：施普林格（ISBN 978-3-031-16766-9/pbk；978-3-0031-16767-6/电子书）。xiii，155页。(2022).
MSC公司：68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Villanueva}（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：施普林格（2022；Zbl 1511.68020）
全文： 内政部
蒂鲍特·达迪尼尔;高拉夫，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公司
艾哈迈德·博阿贾尼;韦尔·阿明（Wael-Amine）Boutglay;彼得·哈贝梅尔

具有自动生成属性的数据驱动的数值不变量合成。 （英语） Zbl 1514.68124号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 282-303 (2022).
MSC公司：60年第68季度 68号30 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，Lect。注释计算。科学。13371，282--303（2022；Zbl 1514.68124）
全文： 内政部 arXiv公司
季玉成;傅洪飞;方、斌;陈海波

通过矩阵代数生成仿射循环不变量。 （英语） Zbl 1514.68036号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 257-281 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ji}等人，Lect。注释计算。科学。13371，257--281（2022；Zbl 1514.68036）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件