×

找到511个文档（结果1-100）

最新的 引文 关联
米盖尔·帕加诺;何塞·索尔索纳。

Agda的标称设置-一种新鲜且不成熟的机械化。 （英语） Zbl 07810646号

Nantes Sobrinho，Daniele（ed.）等人，第17届逻辑和语义框架与应用国际研讨会论文集，LSFA，贝洛奥里藏特，巴西，2022年9月23日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37667-80（2023年）。
MSC公司：03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Pagano}和\textit{J.E.Solsona}，电子。程序。西奥。计算。科学。（EPTCS）376，67--80（2023；Zbl 07810646）
全文： 内政部 arXiv公司
埃里克·格里洛;布鲁诺·洛佩斯

\（ReLo\）：用于推理Reo电路的动态逻辑。 （英语） Zbl 07810643号

Nantes-Sobrinho，Daniele（编辑）等人，第17届逻辑和语义框架应用国际研讨会论文集，LSFA，巴西贝洛奥里藏特，2022年9月23日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）376，16-33（2023年）。
MSC公司：03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Grilo}和\textit{B.Lopes}，电子。程序。西奥。计算。科学。（EPTCS）376，16-33（2023；Zbl 07810643）
全文： 内政部 arXiv公司
傅鹏;彼得·塞林格

针对嵌套数据类型的归纳原则。 （英语） Zbl 07810568号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 244-255 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Fu}和\textit{P.Selinger}，莱克特。注释计算。科学。13923、244--255（2023；Zbl 07810568）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔

安全语言和共安全语言的一阶逻辑特征。 （英语） Zbl 07731941号

日志。方法计算。科学。 19，第3号，第13号论文，29页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《日志》。方法计算。科学。19，第3号，第13号论文，29页（2023；Zbl 07731941）
全文： 内政部 arXiv公司
斯蒂芬诺·尼科莱蒂（Stefano M.Nicoletti）。;米兰洛普哈·茨瓦肯贝格;E.莫里茨·哈恩;马里耶·斯托林加

PFL公司：故障树的概率逻辑。 （英语） Zbl 1529.68162号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 199-221 (2023).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Nicoletti}等人，Lect。注释计算。科学。14000，199-221（2023；Zbl 1529.68162）
全文： 内政部 arXiv公司
克里斯托夫·马提亚;詹斯·佩格尔;弗洛里安·祖勒格

保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 （英语） Zbl 07650597号

ACM事务处理。计算。日志。 24，第1期，第1号论文，76页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit｛C.Matheja｝等人，ACM Trans。计算。日志。24，第1期，第1号论文，76页（2023；Zbl 07650597）
全文： 内政部 arXiv公司 链接
彼得·吉普森;塔德乌兹·利塔克

对聚束暗示和分离逻辑的代数一瞥。 （英语） Zbl 07823891号

加拉托斯（Galatos）、尼古拉斯（Nikolaos）（ed.）等人，小野弘之（Hiroakira Ono），《子结构逻辑》（substructural logics）。查姆：斯普林格。外部。控制日志。23, 185-242 (2022).
MSC公司：03A05号 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{P.Jipsen}和\textit{T.Litak}，Outst。控制日志。23185-242（2022；Zbl 07823891）
全文： 内政部 arXiv公司
斯迪安·利贝奇

反射式高阶微积分的可编码性和分离性。 （英语） Zbl 07800871号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）36895-112（2022）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛S.Lybech｝，电子。程序。西奥。计算。科学。（EPTCS）368，95--112（2022；Zbl 07800871）
全文： arXiv公司 链接
亚历克斯·罗宁·本迪克森;博杰森，比亚克布雷多;汉斯·休特尔;斯迪安·利贝奇

高阶计算的泛型类型系统。 （英语） Zbl 07800868号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，43-59（2022）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Bendixen}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，43-59（2022；Zbl 07800868）
全文： arXiv公司 链接
米罗斯拉夫·乔迪尔;安东·库切拉;简·Křetínsk

定量概率CTL的可满足性：迎接挑战。 （英语） Zbl 1528.68216号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 364-387 (2022).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Chodil}等人，Lect。注释计算。科学。13660364--387（2022年；Zbl 1528.68216）
全文： 内政部
乌尔里希·伯格;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｝，Lect。注释计算。科学。13240，85-113（2022；Zbl 1528.68077）
全文： 内政部 arXiv公司
马丁·范策尔

寻求密集时间度量时序逻辑的充分语义基础。 （英语） Zbl 1524.68188号

Jansen，Nils（ed.）等人，从过程代数到时间自动机到模型学习的历程。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 201-212 (2022).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}，莱克特。注释计算。科学。13560，201--212（2022；Zbl 1524.68188）
全文： 内政部
阿利耶·霍西纳巴迪;马赫迪·哈达迪;卡迪耶·凯什瓦尔杜斯特

在具有支持-排序的标称集上。 （英语） Zbl 1511.03013号

类别。阿尔盖布将军。结构。申请。 第141-172号第17页（2022）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：03E70型 18个B05 18A20型 54D10号 第54天
PDF格式BibTeX公司 XML格式引用
\textit{A.Hossinabadi}等人，Categ。阿尔盖布将军。结构。申请。17，编号1，141--172（2022；Zbl 1511.03013）
全文： 内政部
张淑君;直纪西田

关于将无割和无量词的循环证明转化为重写归纳证明。 （英语） Zbl 07570125号

Hanus，Michael（编辑）等人，《函数与逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 262-281 (2022).
MSC公司：03B35型
PDF格式BibTeX公司 XML格式引用
\textit{S.Zhang}和\textit{N.Nishida}，Lect。注释计算。科学。13215、262--281（2022；Zbl 07570125）
全文： 内政部
乔治·斯特凡·施密德;维克托·库恰克

不锈钢框架的通用阵列。 （英语） Zbl 1498.68172号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 332-354 (2022).
MSC公司：60年第68季度 03B70号 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.S.Schmid}和\textit{V.Kunčak}，莱克特。注释计算。科学。13182、332--354（2022；Zbl 1498.68172）
全文： 内政部 链接
克拉夫茨克，尼古拉斯;简·佩莱斯卡

使用符号有限状态机进行穷尽的面向属性的基于模型的测试。 （英语） Zbl 1522.68331号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 84-102 (2021).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Krafczyk}和\textit{J.Peleska}，莱克特。注释计算。科学。13085，84-102（2021；Zbl 1522.68331）
全文： 内政部
哈罗德·潘乔·艾略特;马丁·伯杰

用于生成新名称的程序逻辑。 （英语） Zbl 1496.68103号

Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12818, 76-91 (2021).
MSC公司：68号30 03B40型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.P.Eliott}和\textit{M.Berger}，莱克特。注释计算。科学。12818、76-91（2021年；Zbl 1496.68103）
全文： 内政部 arXiv公司
纪尧姆·吉罗尔;本杰明·法里尼尔;塞巴斯蒂安·巴丁

并非所有的bug都是同等的，但健壮的可达性可以区分这一差异。 （英语） Zbl 1493.68109号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 669-693 (2021).
MSC公司：68号30 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Girol}等人，Lect。注释计算。科学。12759669--693（2021年；Zbl 1493.68109）
全文： 内政部
克劳斯·迪特·施韦

结构计算。行为理论、逻辑、复杂性。 （英语） Zbl 07495064号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 266-282 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\给Lect发短信。注释计算。科学。12750266--282（2021；Zbl 07495064）
全文： 内政部
Stefan Bodenmüller;格哈德·谢尔霍恩;马丁·比特利希;沃尔夫冈·雷夫

Flashix：并发和防碰撞闪存文件系统的模块化验证。 （英语） Zbl 07495063号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 239-265 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{S.Bodenmüller}等人，Lect。注释计算。科学。12750239--265（2021；Zbl 07495063）
全文： 内政部 链接
保罗·阿卡尼;安德烈·邦巴达;西尔维娅·邦凡蒂;安吉洛·加甘蒂尼;利可宾，埃尔维尼亚;帕特里齐亚·斯坎杜拉

软件系统安全保证的ASMETA方法。 （英语） Zbl 07495062号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 215-238 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{P.Arcaini}等人，Lect。注释计算。科学。12750，215--238（2021；Zbl 07495062）
全文： 内政部
安德烈亚斯·普林茨

算法的自然抽象级别是什么？ （英语） Zbl 07495061号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 199-214 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{A.Prinz}，莱克特。注释计算。科学。12750，199--214（2021；Zbl 07495061）
全文： 内政部
弗拉维奥·费拉罗蒂;塞纳·冈萨雷斯

ASM规范和量子算法的改进。 （英语） Zbl 07495057号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 135-146 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{F.Ferrarotti}和\textit{S.González}，Lect。注释计算。科学。12750、135——146（2021；Zbl 07495057）
全文： 内政部
乔纳森·鲍文（Jonathan P.Bowen）。

与Egon Börger和ASM相关的社区和祖先。 （英语） Zbl 07495055号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 96-120 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Bowen}，莱克特。注释计算。科学。12750，96-120（2021；兹bl 07495055）
全文： 内政部
克里斯托夫·贝尔;乔纳斯·哈尔迪曼;加布里埃尔·克恩·伊斯伯纳

条件信念基的语义分裂。 （英语） Zbl 07495054号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 82-95 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}等人，Lect。注释计算。科学。12750，82-95（2021；Zbl 07495054）
全文： 内政部
理查德·巴纳赫;朱慧彪

现代和连续的抽象状态机。 （英语） Zbl 07495052号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 29-62 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{R.Banach}和\textit{H.Zhu}，Lect。注释计算。科学。12750，29-62（2021年；兹bl 07495052）
全文： 内政部
雅敏阿伊特阿默尔;雷吉尼·拉劳;多米尼克·梅里;尼拉杰·库马尔·辛格

在基于状态的形式化方法中利用领域知识。 （英语） Zbl 07495050号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 1-13 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{Y.Aít-Ameur}等人，Lect。注释计算。科学。12750，1-13（2021；Zbl 07495050）
全文： 内政部
乌玛·扎拉坎;奥尔内拉·达达

\（pi）与剩菜：阿格达的机械化。 （英语） Zbl 1490.68143号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，DisCoTec 2021，2021年6月14日至18日，马耳他瓦莱塔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719, 157-174 (2021).
MSC公司：68问题85 03B70号 68号30 60年第68季度 68版本20
PDF格式BibTeX公司 XML格式引用
\textit{U.Zalakain}和\textit{O.Dardha}，莱克特。注释计算。科学。12719、157--174（2021年；Zbl 1490.68143）
全文： 内政部 arXiv公司
Aceto，卢卡;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Ingólfsdóttir，安娜

在双向运行时强制上。 （英语） Zbl 1489.68135号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719, 3-21 (2021).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。12719年3月21日（2021年；Zbl 1489.68135）
全文： 内政部 哈尔
阿德里安·德隆;彼得·科普克;安东·洛伦岑;阿德里安·马蒂;马塞尔·舒茨;马卡里乌斯·温泽尔

Isabelle/Naproche自然语言证明助理。 （英语） Zbl 07437104号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 614-624 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.De Lon}等人，Lect。注释计算。科学。12699、614--624（2021；Zbl 07437104）
全文： 内政部
徐润清;李黎明;詹伯华

验证了定积分的交互式计算。 （英语） Zbl 07437096号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 485-503 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Xu}等人，Lect。注释计算。科学。12699、485--503（2021；Zbl 07437096）
全文： 内政部
穆纳乔·埃切宁;拉杜·奥西夫;尼古拉斯·佩尔蒂埃

用归纳定义统一分离逻辑中的可判定蕴涵。 （英语） Zbl 07437079号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 183-199 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Echenim}等人，Lect。注释计算。科学。12699183-199（2021年；兹bl 07437079）
全文： 内政部 arXiv公司
Tan，Yong Kiam先生;安德烈·普拉泽

常微分方程的演绎稳定性证明。 （英语） Zbl 1474.68195号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 181-199 (2021).
MSC公司：60年第68季度 03B70号 34D99型 68版本20 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.K.Tan}和\textit{A.Platzer}，莱克特。注释计算。科学。12652、181--199（2021年；Zbl 1474.68195）
全文： 内政部 arXiv公司
格里戈里·费迪尤科维奇;吉登·恩斯特

递归证明中的桥接数组和ADT。 （英语） Zbl 1474.68048号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 24-42 (2021).
MSC公司：68号30 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Fedyukovich}和\textit{G.Ernst}，莱克特。注释计算。科学。12652，24-42（2021；Zbl 1474.68048）
全文： 内政部
Lennart贝林格

已验证的软件单元。 （英语） Zbl 1473.68035号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 118-147 (2021).
MSC公司：68甲15 03B70号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Beringer}，莱克特。注释计算。科学。12648118-147（2021年；Zbl 1473.68035）
全文： 内政部
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃

通过凸代数幂的分布双相似性。 （英语） Zbl 1480.18005号

日志。方法计算。科学。 17，第3号，第10号论文，28页（2021年）.
审核人：Ernst-Erich Doberkat（多特蒙德）
MSC公司：18立方厘米 03B42号 87年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，日志。方法计算。科学。17，第3号，第10号论文，第28页（2021；Zbl 1480.18005）
全文： arXiv公司 链接
本杰明·比斯平;乌韦州内斯特曼

线性时间分支时间光谱的游戏。 （英语） Zbl 1467.68129号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651，3-19（2021）。
MSC公司：68问题85 03B70号 91A80
PDF格式BibTeX公司 XML格式引用
\textit{B.Bisping}和\textit{U.Nestmann}，莱克特。注释计算。科学。12651，3-19（2021；Zbl 1467.68129）
全文： 内政部 arXiv公司
雷巴科夫。

具有多智能体时间可访问性关系的分支时间逻辑。 （英语。俄文原件） Zbl 1474.68341号

同胞。数学。J。 62，第3期，503-510（2021）; 来自Sib的翻译。材料Zh。62，第3期，623-632（2021年）。
MSC公司：68T27型 03B44号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.62，No.3，503--510（2021；Zbl 1474.68341）；来自Sib的翻译。材料Zh。62，第3623-632号（2021）
全文： 内政部
弗洛里安·布鲁斯;马丁·兰格

带有递归的时态逻辑。 （英语） Zbl 1530.03069号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第6条，第14页（2020年）。
MSC公司：03B44号 60年第68季度 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.布鲁斯}和\textit{M.兰格}，LIPIcs——莱布尼茨国际程序。通知。178，第6条，第14页（2020年；Zbl 1530.03069）
全文： 内政部
阿迪蒂亚·穆拉利;卢卡斯·佩尼亚;克里斯托夫·Löding;Madhusudan，P。

带有框架的一阶逻辑。 （英语） 兹比尔1508.68072

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 515-543 (2020).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Murali}等人，Lect。注释计算。科学。12075、515--543（2020年；Zbl 1508.68072）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件