兰斯·克莱维兰;Jeroen J.A.Keiren。 无限状态系统的可扩展证明系统。 (英语) Zbl 07807740号 ACM事务处理。计算。日志。 25,第1条,第2条,60页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{J.J.A.Keiren},ACM Trans。计算。日志。25,第1号,第2条,60页(2023;Zbl 07807740) 全文: 内政部 arXiv公司 OA许可证
迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 Good-for-game QPTL:一种交替的hodges语义。 (英语) Zbl 07650600号 ACM事务处理。计算。日志。 24,第1号,第4条,57页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人,ACM Trans。计算。日志。24,第1号,第4条,57页(2023年;Zbl 07650600) 全文: 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 获得并行组合的有限公理化是否需要两个二进制运算符? (英语) Zbl 1508.68239号 ACM事务处理。计算。日志。 23,第4条,第22条,第56页(2022年).MSC公司:68问题85 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,ACM Trans。计算。日志。23,第4号,第22条,56页(2022年;Zbl 1508.68239) 全文: 内政部 arXiv公司 链接
格罗特,扬·弗里索;大卫·詹森(David N.Jansen)。;Jeroen J.A.Keiren。;安东·威伊斯(Anton J.Wijs)。 一种用于计算口吃等价和分支互模拟的\(\mathcal O(m\log n)\)算法。 (英语) 兹比尔1367.68211 ACM事务处理。计算。日志。 18,第2号,第13条,第34页(2017年).MSC公司:68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,ACM Trans。计算。日志。18,第2号,第13条,第34页(2017年;Zbl 1367.68211) 全文: 内政部
阿列克西·舒伯特;巴威·乌尔兹琴;Daria Walukiewicz-Chrząszcz 积极量化有多难? (英语) Zbl 1367.03021号 ACM事务处理。计算。日志。 17号第4条第30条第29页(2016年).MSC公司:03B20型 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Schubert}等人,ACM Trans。计算。日志。17,第4号,第30条,第29页(2016年;Zbl 1367.03021) 全文: 内政部
Hitoshi Furusawa;乔治·斯特鲁斯 缓和多重关系。 (英语) Zbl 1407.03080号 ACM事务处理。计算。日志。 17,第4号,第28条,第34页(2016年).MSC公司:03G25号 03E20型 07年6月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth},ACM Trans。计算。日志。17,第4号,第28条,第34页(2016;Zbl 1407.03080) 全文: 内政部 arXiv公司
Dongol,布里耶什;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年).MSC公司:68问题85 03B70号 07年6月 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016年;兹bl 1367.68210) 全文: 内政部
雷诺,K.鲁斯坦M。;帕基·卢西奥 自然Mergesort稳定性和正确性的断言证明。 (英语) Zbl 1367.68080号 ACM事务处理。计算。日志。 17,第1号,第6条,22页(2015年).MSC公司:68页第10页 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{P.Lucio},ACM Trans。计算。日志。17,第1号,第6条,22页(2015;Zbl 1367.68080) 全文: 内政部
弗洛里安·拉贝 松驰理论形态。 (英语) Zbl 1367.03061号 ACM事务处理。计算。日志。 17,第1号,第5条,36页(2015年).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe},ACM翻译。计算。日志。17,第1号,第5条,36页(2015;Zbl 1367.03061) 全文: 内政部
丹尼尔·施瓦茨(Daniel G.Schwartz)。 动态推理系统。 (英语) Zbl 1367.68293号 ACM事务处理。计算。日志。 第16号第4条第32条第42页(2015年).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Schwartz},ACM翻译。计算。日志。16,第4号,第32条,第42页(2015;Zbl 1367.68293) 全文: 内政部 arXiv公司
Hitoshi Furusawa;乔治·斯特鲁斯 并发动态代数。 (英语) Zbl 1367.03054号 ACM事务处理。计算。日志。 第16号第4条第30条第38页(2015年).MSC公司:03B70号 03B45号 03G25号 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth},ACM Trans。计算。日志。16,第4号,第30条,第38页(2015;Zbl 1367.03054) 全文: 内政部 arXiv公司
克里斯托弗·汉普森;阿吉·库鲁茨 不可解命题双峰逻辑和一变量一阶线性时间逻辑。 (英语) Zbl 1354.03022号 ACM事务处理。计算。日志。 16,第3号,第27条,36页(2015年).MSC公司:03B44号 03B25号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Hampson}和\textit{A.Kurucz},ACM翻译。计算。日志。16,第3号,第27条,36页(2015;Zbl 1354.03022) 全文: 内政部 arXiv公司
皮埃尔·杰奈夫耶斯;纳比尔·拉伊达;阿兰·施密特;尼尔斯·盖斯伯特 有限树上带逆的有效判定\(\mu\)-演算。 (英语) Zbl 1354.68124号 ACM事务处理。计算。日志。 16,第2号,第16条,41页(2015年).MSC公司:65年第68季度 03B45号 68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Genevès}等人,《美国医学杂志》。计算。日志。16,第2号,第16条,41页(2015;Zbl 1354.68124) 全文: 内政部 哈尔
Jean-Pierre Jouannaud;阿尔伯特·鲁比奥 正常高阶终端。 (英语) Zbl 1354.68140号 ACM事务处理。计算。日志。 16,第2号,第13条,38页(2015年).MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio},ACM翻译。计算。日志。16,第2号,第13条,38页(2015;Zbl 1354.68140) 全文: 内政部 链接
兰科·拉齐奇;西尔万·施密茨 分支VASS、MELL和扩展的非基本复杂性。 (英语) 兹比尔1354.68128 ACM事务处理。计算。日志。 16,第3号,第20条,第30页(2015年).MSC公司:65年第68季度 03楼52 2017年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lazić}和\textit{S.Schmitz},ACM Trans。计算。日志。16,第3号,第20条,30页(2015;Zbl 1354.68128) 全文: 内政部 arXiv公司
蝉蜕、阿加塔;奥里·拉哈夫;斯彭迪,劳拉;安娜·扎曼斯基 驯服次协调(和其他)逻辑:一种算法方法。 (英语) Zbl 1354.03082号 ACM事务处理。计算。日志。 16,第1号,第5条,23页(2015年).MSC公司:03财年03 03B53号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人,ACM Trans。计算。日志。16,第1号,第5条,23页(2015;Zbl 1354.03082) 全文: 内政部
法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 关于策略的推理:关于模型检查问题。 (英语) Zbl 1354.68178号 ACM事务处理。计算。日志。 第15号第4条第34条第47页(2014年).MSC公司:60年第68季度 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人,ACM Trans。计算。日志。15,第4号,第34条,47页(2014年;Zbl 1354.68178) 全文: 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;扎卡里亚舍夫,迈克尔 带有描述逻辑的时间概念数据建模食谱。 (英语) Zbl 1354.68245号 ACM事务处理。计算。日志。 第15号第3条第25条第50页(2014年).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM Trans。计算。日志。15,第3号,第25条,50页(2014;Zbl 1354.68245) 全文: 内政部 arXiv公司 链接
菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 Brzozowski最小化算法中的代数-代数对偶。 (英语) Zbl 1288.68174号 ACM事务处理。计算。日志。 第15号第1条第3条第29页(2014年).MSC公司:70年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,ACM Trans。计算。日志。15,第1号,第3条,29页(2014年;Zbl 1288.68174) 全文: 内政部 链接