×

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

最新的 引文 关联
马特奥·阿克拉维奥;戴维·卡塔;费德里科·奥林皮耶里

构造模态逻辑中证明的规范性。 （英语） Zbl 07850753号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 342-363 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Acclavio}等人，Lect。注释计算。科学。14278，342--363（2023；Zbl 07850753）
全文： 内政部 arXiv公司
OA许可证
莫里斯·德克尔;约翰内斯·克洛伊布霍夫;约翰内斯·马蒂;维尼马，伊德

通过确定自动机获得的模态演算的证明系统。 （英语） Zbl 07850748号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 242-259 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Dekker}等人，Lect。注释计算。科学。14278，242--259（2023；Zbl 07850748）
全文： 内政部 arXiv公司
OA许可证
亚历克西斯·索林

具有最小和最大不动点的非良基序贯计算的切割消除的线性透视图。 （英语） Zbl 07850746号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 203-222 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Saurin}，莱克特。注释计算。科学。14278，203-222（2023；Zbl 07850746）
全文： 内政部
OA许可证
奥利弗·格利茨;丹尼尔·豪斯曼;悍马、梅林;德克·帕丁森;西蒙·普鲁克;卢茨·施罗德

COOL 2–模态定点逻辑的通用推理机（系统描述）。 （英语） Zbl 07838490号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 234-247 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{O.Görlitz}等人，Lect。注释计算。科学。14132234--247（2023；Zbl 07838490）
全文： 内政部 arXiv公司
Rooduijn，简;维尼马，伊德

双向无交替演算的焦点式证明。 （英语） 兹伯利07810573

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 318-335 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Rooduijn}和\textit{Y.Venema}，莱克特。注释计算。科学。13923318--335（2023；Zbl 07810573）
全文： 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎;安娜·英格尔夫斯多蒂

通过递归模式逻辑的转换实现复杂性。 （英语） Zbl 1530.68124号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370、34-48（2022）。
MSC公司：19年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370、34-48（2022年；Zbl 1530.68124）
全文： arXiv公司 链接
弗洛里安·布鲁斯;大卫·克伦伯格;马丁·兰格

捕获互模拟不变指数时间复杂度类。 （英语） 兹比尔1530.68126

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370、17-33（2022）。
MSC公司：19年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bruse}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370、17-33（2022年；Zbl 1530.68126）
全文： arXiv公司 链接
丹尼尔·豪斯曼;尼尔·皮特曼

基于树自动机的（mu）演算可满足性检验综述。 （英语） Zbl 1528.68185号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 228-251 (2022).
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}和\textit{N.Piterman}，莱克特。注释计算。科学。13660228--251（2022年；Zbl 1528.68185）
全文： 内政部 arXiv公司
Fernández Duque，大卫;Gougeon，昆廷

不动点逻辑和可定义的拓扑属性。 （英语） Zbl 07691314号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 36-52 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Fernández-Duque}和\textit{Q.Gougeon}，莱克特。注释计算。科学。13468，36-52（2022；Zbl 07691314）
全文： 内政部
阿夫沙里语、巴哈雷语;格雷厄姆·E·利。

模态演算的Lyndon插值。 （英语） Zbl 1530.03072号

奥兹根、艾布克（编辑）等人，《语言、逻辑和计算》。第十三届第比利斯国际研讨会，2019年TbiLLC，格鲁吉亚巴统，2019月16-20日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13206, 197-213 (2022).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{B.Afshari}和\textit{G.E.Leigh}，Lect。注释计算。科学。13206、197--213（2022；Zbl 1530.03072）
全文： 内政部
约翰内斯·马蒂;维尼马，伊德

无交互微积分的聚焦系统。 （英语） Zbl 07532527号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 371-388 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Marti}和\textit{Y.Venema}，莱克特。注释计算。科学。12842、371--388（2021；Zbl 07532527）
全文： 内政部
陈晓红;林正耀;Minh-Thai Trinh;格里戈尔Roşu

通过证明生成实现一个可信的基于语义的语言框架。 （英语） Zbl 1493.68056号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 477-499 (2021).
MSC公司：68甲15 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Chen}等人，Lect。注释计算。科学。12760477--499（2021年；Zbl 1493.68056）
全文： 内政部
OA许可证
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna 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年；兹比尔1489.68135）
全文： 内政部 哈尔
鲁本·卢比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔

Maude中的策略、模型检查和分支时间属性。 （英语） 兹比尔1528.68233

J.日志。阿尔盖布。方法计划。 123，文章ID 100700，28 p.（2021）.
MSC公司：60年第68季度 03B44号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，J.Log。阿尔盖布。方法计划。123，文章ID 100700，28 p.（2021；Zbl 1528.68233）
全文： 内政部 arXiv公司
伯恩哈德·斯特芬;阿尔尼斯·穆托维

生成性程序分析及其以外：特定领域语言的力量（特邀论文）。 （英语） Zbl 1472.68042号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 29-51 (2021).
MSC公司：68号30 03B44号 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Steffen｝和\textit｛A.Murtovi｝，Lect。注释计算。科学。12597，29-51（2021；Zbl 1472.68042）
全文： 内政部
吉勒姆·贾伯;科林·里巴

保护递归类型的时间优化。 （英语） Zbl 1473.68047号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 548-578 (2021).
MSC公司：68号30 03B70号 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{G.Jaber}和\textit{C.Riba}，莱克特。注释计算。科学。12648548--578（2021年；Zbl 1473.68047）
全文： 内政部
OA许可证
丹尼尔·豪斯曼;卢茨·施罗德

嵌套不动点的拟多项式计算。 （英语） Zbl 1467.68085号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 38-56 (2021).
MSC公司：60年第68季度 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}和\textit{L.Schröder}，莱克特。注释计算。科学。12651，38-56（2021；Zbl 1467.68085）
全文： 内政部 arXiv公司
OA许可证
约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯

标称过渡系统的模态逻辑。 （英语） Zbl 1509.68188号

日志。方法计算。科学。 17，第1号，第6号论文，49页（2021年）.
MSC公司：68问题85 03B45号 03B70号 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Parrow}等人，Log。方法计算。科学。17，第1号，第6号论文，49页（2021；Zbl 1509.68188）
全文： arXiv公司 链接
弗洛里安·布鲁斯;马丁·兰格

带有递归的时态逻辑。 （英语） 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；兹bl 1530.03069）
全文： 内政部
Elvio Gilberto Amparore公司;苏珊娜·多纳泰利;弗朗西斯科·盖拉

Petri网的CTL*模型检查器。 （英语） Zbl 1503.68179号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 403-413 (2020).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.G.Amparore}等人，Lect。注释计算。科学。12152、403--413（2020年；Zbl 1503.68179）
全文： 内政部
保罗·巴尔丹;巴巴拉·科尼格;托马索帕多瓦

不动点方程组的抽象、升级技术和游戏。 （英语） 兹伯利07559481

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第25条，第20页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，LIPIcs——莱布尼茨国际程序。通知。171，第25条，第20页（2020；Zbl 07559481）
全文： 内政部 arXiv公司
维奥拉、卡特琳娜;斯坦尼斯拉夫·伊文

无限域上承诺VCSP的组合基本LP和仿射IP松弛。 （英语） Zbl 07559456号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第85条，第15页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Viola}和\textit{S.ivn}，LIPIcs——莱布尼茨国际程序。通知。170，第85条，第15页（2020；Zbl 07559456）
全文： 内政部
弗洛里安·布鲁斯;约格·克里克;马丁·兰格;马尔科·萨利泽

局部高阶不动点迭代。 （英语） Zbl 07455743号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32697-113（2020年）。
MSC公司：第68季度55 08A70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bruse}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32697--113（2020；Zbl 07455743）
全文： arXiv公司 链接
劳拉，希拉;安蒂·库西斯托;雷恩·Rönnholm

模态μ演算和一些变体的有界博弈论语义。 （英语） Zbl 07455742号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32682-96（2020年）。
MSC公司：60年第68季度 03B45号 第68季度55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、82--96（2020；Zbl 07455742）
全文： arXiv公司 链接
大卫·安科纳;维维亚娜·马斯卡迪;安吉洛·费兰多

决定论和合成论在RML中能共存吗？ （英语） Zbl 07453961号

Dardha，Ornela（ed.）等人，第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录，EXPRESS/SOS 2020，在线，2020年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32213-32（2020年）。
MSC公司：第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32213--32（2020；Zbl 07453961）
全文： arXiv公司 链接
托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克

奇偶对策的偏序约简及其在参数化布尔方程组上的应用。 （英语） Zbl 1483.68201号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 307-324 (2020).
MSC公司：60年第68季度 03B70号 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Neele}等人，Lect。注释计算。科学。12079、307--324（2020；Zbl 1483.68201）
全文： 内政部
OA许可证
弗雷德里克·朗;拉杜·马特埃斯库;弗朗科·马扎蒂

尖锐的同余足以与弱模态和强模态相结合的时序逻辑。 （英语） 兹比尔1483.68233

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 57-76 (2020).
MSC公司：68问题85 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Lang}等人，Lect。注释计算。科学。12079，57-76（2020；Zbl 1483.68233）
全文： 内政部
OA许可证
大卫·M·卡恩。;简·霍夫曼

指数自动摊销资源分析。 （英语） Zbl 07250947号

Goubault Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 359-380 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Kahn}和\textit{J.Hoffmann}，莱克特。注释计算。科学。12077、359--380（2020；Zbl 07250947）
全文： 内政部 arXiv公司
OA许可证
马里奥·阿尔瓦雷斯·皮卡略;Jean-Simon Pacaud Lemay女士

笛卡尔差分类别。 （英语） Zbl 07250932号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 57-76 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Alvarez-Picallo}和\textit{J.-S.P.Lemay}，莱克特。注释计算。科学。12077，57-76（2020；Zbl 07250932）
全文： 内政部
OA许可证
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松，Svarrn

使用递归确定HML的监控器。 （英语） Zbl 1494.68155号

J.日志。阿尔盖布。方法计划。 111，文章ID 100515，38 p.（2020）.
MSC公司：60年第68季度 03B70号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛L.Aceto｝等人，J.Log。阿尔盖布。方法计划。111，文章ID 100515，38 p.（2020；Zbl 1494.68155）
全文： 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;卡罗琳娜·莱赫蒂宁

可监控性操作指南。 （英语） Zbl 07817496号

Oh lveczky，Peter Csaba（编辑）等人，《软件工程和形式化方法》。2019年9月18-20日在挪威奥斯陆举行的第17届SEFM国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11724, 433-453 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。11724、433--453（2019；Zbl 07817496）
全文： 内政部 arXiv公司 链接
弗雷德里克·朗;拉杜·马特埃斯库;弗朗科·马扎蒂

通过组合互模拟对并发系统进行组合验证。 （英语） 兹伯利07817373

ter Beek，Maurice H.（编辑）等人，《形式方法——未来30年》。第三届世界大会/第二十三届研讨会，2019年10月7日至11日，葡萄牙波尔图，FM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11800, 196-213 (2019).
MSC公司：68问题85 03B45号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Lang}等人，Lect。注释计算。科学。11800，196-213（2019；Zbl 07817373）
全文： 内政部 哈尔
丹尼尔·豪斯曼;卢茨·施罗德

余代数演算的基于博弈的局部模型检验。 （英语） Zbl 07649943号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第35条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}和\textit{L.Schröder}，LIPIcs——莱布尼茨国际程序。通知。140，第35条，第16页（2019年；Zbl 07649943）
全文： 内政部
海宁·巴索尔德

流动中的共聚：腓骨的后期形态。 （英语） Zbl 07649891号

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第8条，第22页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Basold}，LIPIcs——莱布尼茨国际程序。通知。139，第8条，第22页（2019年；Zbl 07649891）
全文： 内政部
汤姆·范·迪克;鲍勃·鲁本斯

求解平价游戏的简单定点迭代。 （英语） Zbl 07453081号

Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305123-139（2019）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.van Dijk}和\textit{B.Rubbens}，电子。程序。西奥。计算。科学。（EPTCS）305、123--139（2019；Zbl 07453081）
全文： arXiv公司 链接
汤姆·范·迪克

两个计数器的平价游戏故事。 （英语） Zbl 07453080号

Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305107-122（2019）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.van Dijk}，电子。程序。西奥。计算。科学。（EPTCS）305107-122（2019；Zbl 07453080）
全文： arXiv公司 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇

纳什均衡和互刺激不变性。 （英语） Zbl 1442.68142号

日志。方法计算。科学。 15，第3号，第32号论文，49页（2019年）.
MSC公司：68问题85 03B70号 68T42型 91年10月
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，《日志》。方法计算。科学。15，第3号，第32号论文，49页（2019年；Zbl 1442.68142）
全文： 内政部 arXiv公司
斯文·舍韦;亚历山大·韦内特;马丁·齐默尔曼

重量均等游戏。 （英语） Zbl 1509.68105号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第36条，第17页（2018年）。
MSC公司：65年第68季度 2017年第68季度 60年第68季度 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}等人，LIPIcs——莱布尼茨国际程序。通知。119，第36条，第17页（2018；兹bl 1509.68105）
全文： 内政部
雷米·诺列特;亚历克西斯·索林;克里斯汀·塔森

具有不动点的线性逻辑中循环证明的局部有效性。 （英语） Zbl 1528.03246号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第35条，第23页（2018年）。
MSC公司：第03页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Nollet}等人，LIPIcs——莱布尼茨国际程序。通知。119，第35条，23 p.（2018；Zbl 1528.03246）
全文： 内政部
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir

通过抑制在运行时强制执行。 （英语） Zbl 1520.68069号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。2018年9月4日至7日，中国北京。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第34条，第17页（2018年）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。118，第34条，第17页（2018；Zbl 1520.68069）
全文： 内政部 arXiv公司
西蒙·巴斯德;查尔斯·佩彻

为丰富的逻辑提供解释。 （英语） Zbl 1460.68053号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951129-146（2018年）。
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Busard}和\textit{C.Pecheur}，莱克特。注释计算。科学。10951129-146（2018年；兹bl 1460.68053）
全文： 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir

监视无声操作。 （英语） Zbl 1491.68104号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第7条，第14页（2018年）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。93，第7条，第14页（2018；Zbl 1491.68104）
全文： 内政部
乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德;托尔斯滕·维曼

代数表达语言中的谓词提升和函子表示。 （英语） Zbl 1519.68146号

科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP工作组1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11202, 56-77 (2018).
MSC公司：68问题65 03G30型 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{U.Dorsch}等人，Lect。注释计算。科学。11202，56-77（2018；Zbl 1519.68146）
全文： 内政部 arXiv公司
斯特凡诺·贝拉尔迪;Makoto Tatsuta

直觉Podelski-Rybalchenko定理以及归纳定义和循环证明之间的等价性。 （英语） Zbl 1520.03008号

科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP工作组1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11202, 13-33 (2018).
MSC公司：03B70号 03B20型 03日70 30楼03号 03楼55
PDF格式BibTeX公司 XML格式引用
\textit{S.Berardi}和\textit{M.Tatsuta}，莱克特。注释计算。科学。11202、13-33（2018年；Zbl 1520.03008）
全文： 内政部 哈尔
兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。

过程代数和模型检查。 （英语） Zbl 1392.68243号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1149-1195 (2018).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}等人，in：模型检查手册。查姆：斯普林格。1149--1195（2018；Zbl 1392.68243）
全文： 内政部
鲁帕克·马朱姆达尔;Jean-François拉斯金

非布尔域中的符号模型检查。 （英语） Zbl 1392.68259号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1111-1147 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}和\textit{J.-F.Raskin}，in：模型检查手册。查姆：斯普林格。1111--1147（2018；Zbl 1392.68259）
全文： 内政部
朱利安·布拉德菲尔德;伊戈尔·瓦卢基维奇

微积分和模型检查。 （英语） Zbl 1392.68236号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。871-919 (2018).
MSC公司：60年第68季度 03B45号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Bradfield}和\textit{I.Walukiewicz}，见：模型检查手册。查姆：斯普林格。871--919（2018；Zbl 1392.68236）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件