马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 具有有限整数区间的有限集理论的决策过程。 (英语) Zbl 07807741号 ACM事务处理。计算。日志。 25,第1号,第3号论文,34页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},ACM翻译。计算。日志。25,第1号,第3号论文,34页(2023;Zbl 07807741) 全文: 内政部 arXiv公司
牧场克利夫兰;Jeroen J.A.Keiren。 无限状态系统的可扩展证明系统。 (英语) Zbl 07807740号 ACM事务处理。计算。日志。 25,第1号,第2号论文,60页(2023年).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许可证
罗布·范格拉贝克 比较\(\pi\)-演算和CCS的表达能力。 (英语) 兹伯利07807739 ACM事务处理。计算。日志。 25,第1期,第1号论文,58页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},ACM翻译。计算。日志。25,第1期,第1号论文,58页(2023;Zbl 07807739) 全文: 内政部
亚历山德罗·阿塔尔;让·克里斯托夫·荣格;安德烈亚·马祖洛;安娜·奥扎基;弗兰克·沃尔特 《没有贝丝和克雷格的生活:描述和模态逻辑中的定义和解释》,包含名词和角色。 (英语) Zbl 07760995号 ACM事务处理。计算。日志。 24,第4号,第34号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM翻译。计算。日志。24,第4号,第34号论文,51页(2023;Zbl 07760995) 全文: 内政部 arXiv公司 OA许可证
希巴·阿玛;巴特·博加特;迪米特里·苏林克斯;尤金妮亚·特诺夫斯卡;Van den Bussche,简 信息流逻辑中的输入、输出和组合。 (英语) Zbl 07760994号 ACM事务处理。计算。日志。 24,第4号,第33号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.Aamer}等人,《美国医学杂志》。计算。日志。24,第4号,第33号论文,第44页(2023;Zbl 07760994) 全文: 内政部 arXiv公司
蔡少伟;李伯翰;张新迪 可满足模整数算术理论的局部搜索。 (英语) 兹伯利077600993 ACM事务处理。计算。日志。 24,第4号,第32号论文,第26页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,ACM Trans。计算。日志。24,第4号,第32号论文,第26页(2023;Zbl 07760993) 全文: 内政部 arXiv公司
Randal E.布莱恩特。;Heule,Marijn J.H。 使用基于BDD的SAT解算器生成扩展的分辨率证明。 (英语) Zbl 07760992号 ACM事务处理。计算。日志。 24,第4号,第31号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}和\textit{M.J.H.Heule},ACM Trans。计算。日志。24,第4号,第31号论文,28页(2023;Zbl 07760992) 全文: 内政部
尼科尔·席尔马赫;塞巴斯蒂安·西伯茨;亚历山大·维格尼 带有连接运算符的一阶逻辑。 (英语) Zbl 07760991号 ACM事务处理。计算。日志。 24,第4号,第30号论文,23页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Schirrmacher}等人,《美国医学杂志》。计算。日志。24,第4号,第30号论文,23页(2023;Zbl 07760991) 全文: 内政部 arXiv公司
阿南塔·帕德马纳巴;拉马努贾姆,R。 一阶模态逻辑的一个可判定片段:双变量项模态逻辑。 (英语) Zbl 07760990号 ACM事务处理。计算。日志。 24,第4号,第29号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Padmanabha}和\textit{R.Ramanujam},ACM Trans。计算。日志。24,第4号,第29号文件,第38页(2023;Zbl 07760990) 全文: 内政部
西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔;希亚拉·纳索 具有长度和maxdiff的数组的插值结果。 (英语) Zbl 07760989号 ACM事务处理。计算。日志。 24,第4号,第28号论文,33页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,ACM Trans。计算。日志。24,第4号,第28号文件,第33页(2023;Zbl 07760989) 全文: 内政部
保罗·利伯拉托雷 混合迭代修订:基本原理、算法和复杂性。 (英语) Zbl 07713588号 ACM事务处理。计算。日志。 24,第3号,第27号论文,49页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Liberatore},ACM事务。计算。日志。24,第3号,第27号论文,49页(2023;Zbl 07713588) 全文: 内政部
亚西尔·马哈茂德;阿恩·迈尔;约翰·施密特 Schaefer框架中基于逻辑的论证的参数化复杂性。 (英语) Zbl 07713587号 ACM事务处理。计算。日志。 24,第3号,第26号论文,第25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}等人,ACM Trans。计算。日志。24,第3号,第26号论文,第25页(2023;Zbl 07713587) 全文: 内政部 arXiv公司
艾索尔德·阿德勒;波莉·法伊 在有界度模型的变化中更快的属性测试程序。 (英语) Zbl 07713586号 ACM事务处理。计算。日志。 24,第3号,第25号文件,第24页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Adler}和\textit{P.Fahey},ACM Trans。计算。日志。24,第3号,第25号论文,24页(2023;Zbl 07713586) 全文: 内政部 arXiv公司
劳拉·博泽利;Angelo蒙塔纳里;阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 (英语) Zbl 07713585号 ACM事务处理。计算。日志。 24,第3号,第24号论文,32页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,ACM Trans。计算。日志。24,第3号,第24号文件,第32页(2023;Zbl 07713585) 全文: 内政部
雅各布·托兰;弗洛里安·沃兹 图微分的变量数和图同构公式的解析。 (英语) Zbl 07713584号 ACM事务处理。计算。日志。 24,第3号,第23号论文,第25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Torán}和\textit{F.Wörz},ACM Trans。计算。日志。24,第3号,第23号论文,第25页(2023;Zbl 07713584) 全文: 内政部
Jan A.Bergstra。;约翰·V·塔克。 求有理数算术的等式。 (英语) Zbl 07713583号 ACM事务处理。计算。日志。 24,第3号,第22号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},ACM Trans。计算。日志。24,第3号,第22号论文,28页(2023;Zbl 07713583) 全文: 内政部
帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利 关于战略行为的质量和模糊性的推理。 (英语) Zbl 07713582号 ACM事务处理。计算。日志。 24,第3号,第21号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,ACM Trans。计算。日志。24,第3号,第21号论文,38页(2023;Zbl 07713582) 全文: 内政部 arXiv公司
阿尔伯特·阿特塞里亚斯;马西莫·劳里亚 命题逻辑中的循环(但可靠)证明。 (英语) Zbl 07713581号 ACM事务处理。计算。日志。 24,第3号,第20号论文,第26页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{M.Lauria},ACM翻译。计算。日志。24,第3号,第20号文件,第26页(2023;Zbl 07713581) 全文: 内政部
Tsubasa Takagi 量子逻辑线性时间扩展及其动态方面的语义分析。 (英语) Zbl 07713580号 ACM事务处理。计算。日志。 24,第3号,第19号论文,21页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Takagi},ACM翻译。计算。日志。24,第3号,第19号文件,第21页(2023;Zbl 07713580) 全文: 内政部
阿拉瓦尼斯·提奥凡尼斯 概括Parikh的相关敏感信念修正标准。 (英语) Zbl 07672677号 ACM事务处理。计算。日志。 24,第2号,第18号论文,29页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Aravanis},ACM事务。计算。日志。24,第2号,第18号论文,29页(2023;Zbl 07672677) 全文: 内政部
詹姆斯·巴克斯特;安娜·卡瓦尔坎蒂;马西耶·加兹达;Robert M.Hierons。 使用CSP模型进行测试:时间、输入和输出。 (英语) Zbl 07672676号 ACM事务处理。计算。日志。 24,第2号,第17号论文,40页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Baxter}等人,ACM Trans。计算。日志。24,第2号,第17号论文,40页(2023;Zbl 07672676) 全文: 内政部 链接
迈克尔·本尼迪克特;斯坦尼斯拉夫·基科特;彼得罗·奥斯特罗尔斯基·纳莱瓦贾;米盖尔·罗梅罗 递归查询和视图的单调确定性和可重写性。 (英语) Zbl 07672675号 ACM事务处理。计算。日志。 24,第2号,第16号论文,62页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,《美国医学杂志》。计算。日志。24,第2号,第16号论文,62页(2023;Zbl 07672675) 全文: 内政部 arXiv公司
王一松;托马斯·艾特;张元林;林方珍 逻辑程序答案集的见证人。 (英语) Zbl 07672674号 ACM事务处理。计算。日志。 24,第2期,第15号论文,46页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,ACM Trans。计算。日志。24,第2号,第15号论文,46页(2023;Zbl 07672674) 全文: 内政部
西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;斯卡拉斯,阿尔凯斯特;吉田、Nobuko 异步多方会话的精确子类型。 (英语) 兹伯利07672673 ACM事务处理。计算。日志。 24,第2号,第14号论文,73页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,ACM Trans。计算。日志。24,第2号,第14号论文,73页(2023;Zbl 07672673) 全文: 内政部 arXiv公司
朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺 线性逻辑正确显示。 (英语) Zbl 07672672号 ACM事务处理。计算。日志。 24,第2期,第13号论文,56页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}和\textit{A.Palmigiano},ACM Trans。计算。日志。24,第2号,第13号论文,56页(2023;Zbl 07672672) 全文: 内政部 arXiv公司
巴托斯·贝德纳西克;斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 用模态逻辑构造有限森林。 (英语) Zbl 07672671号 ACM事务处理。计算。日志。 24,第2号,第12号文件,第46页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人,《美国医学杂志》。计算。日志。24,第2号,第12号论文,46页(2023年;Zbl 07672671) 全文: 内政部
亚历克桑德·科诺瓦洛夫 广义可实现性和直觉逻辑。 (英语) Zbl 07672670号 ACM事务处理。计算。日志。 24,第2号,第11号文件,第15页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Konovalov},ACM翻译。计算。日志。24,第2号,第11号论文,第15页(2023年;Zbl 07672670) 全文: 内政部 arXiv公司
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;米纳·马哈扬;汤姆·佩特尔 QBF分辨率的硬度特征和尺寸宽度下限。 (英语) Zbl 07672669号 ACM事务处理。计算。日志。 24,第2号,第10号论文,30页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,ACM Trans。计算。日志。24,第2号,第10号论文,30页(2023;Zbl 07672669) 全文: 内政部
巴哈州阿默里;迈克尔·格里宁格 可简化理论和模型合并。 (英语) Zbl 07650605号 ACM事务处理。计算。日志。 24,第1号,第9号论文,24页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Aameri}和\textit{M.Grüninger},ACM Trans。计算。日志。24,第1号,第9号论文,24页(2023;Zbl 07650605) 全文: 内政部
尤瓦尔·菲莫斯;米纳·马哈扬;高拉夫·苏德;马克·维尼亚尔斯 MaxSAT分辨率和子多维数据集总和。 (英语) Zbl 07650604号 ACM事务处理。计算。日志。 24,第1号,第8号论文,27页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Filmus}等人,ACM Trans。计算。日志。24,第1号,第8号论文,第27页(2023;Zbl 07650604) 全文: 内政部 arXiv公司
佩塔·武克米罗维奇;贾斯敏·布兰切特;Heule,Marijn J.H。 叠加的SAT激励抵消。 (英语) Zbl 07650603号 ACM事务处理。计算。日志。 24,第1号,第7号论文,第25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人,ACM Trans。计算。日志。24,第1号,第7号论文,25页(2023;Zbl 07650603) 全文: 内政部
格罗赫,马丁;丹尼尔·诺恩 有界秩宽图的规范化和可定义性。 (英语) Zbl 07650602号 ACM事务处理。计算。日志。 24,第1号,第6号论文,第31页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{D.Neuen},ACM翻译。计算。日志。24,第1号,第6号论文,第31页(2023;Zbl 07650602) 全文: 内政部 arXiv公司
卡塔里娜·卡瓦略;佛罗伦萨马德琳;巴纳比·马丁;德米特里·朱克 量化约束的复杂性:可折叠性、可切换性和代数公式。 (英语) Zbl 07650601号 ACM事务处理。计算。日志。 24,第1号,第5号论文,第26页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Carvalho}等人,ACM Trans。计算。日志。24,第1号,第5号论文,第26页(2023年;Zbl 07650601) 全文: 内政部 arXiv公司 链接
迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 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公司
迈克尔·布隆丁;蒂姆·莱伊斯;菲利普·马佐维耶基;菲利普·奥特马特;吉列尔莫·佩雷斯 连续单计数器自动机。 (英语) Zbl 07650599号 ACM事务处理。计算。日志。 24,第1号,第3号论文,第31页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,ACM Trans。计算。日志。24,第1号,第3号论文,31页(2023;Zbl 07650599) 全文: 内政部 arXiv公司
马里兰州可汗,阿奎尔;莫华·班纳吉;熊猫,锡班卡 粗糙集理论中时态信息系统的逻辑。 (英语) Zbl 07650598号 ACM事务处理。计算。日志。 24,第1号,第2号论文,29页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Khan}等人,ACM Trans。计算。日志。24,第1号,第2号论文,29页(2023;Zbl 07650598) 全文: 内政部
克里斯托夫·马提亚;詹斯·佩格尔;弗洛里安·祖勒格 保护分离逻辑的一种决策过程,用归纳定义完成分离逻辑的蕴涵检查。 (英语) Zbl 07650597号 ACM事务处理。计算。日志。 24,第1期,第1号论文,76页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Matheja}等人,《美国医学杂志》。计算。日志。24,第1期,第1号论文,76页(2023;Zbl 07650597) 全文: 内政部 arXiv公司 链接
西蒙·多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 统一操作弱内存验证:公理方法。 (英语) Zbl 1508.68216号 ACM事务处理。计算。日志。 23,第4条,第27条,第39页(2022年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人,《美国医学杂志》。计算。日志。23,第4号,第27条,第39页(2022年;Zbl 1508.68216) 全文: 内政部
案例,亚当;克里斯托弗·波特。 算法随机闭集与有效维数的交集。 (英语) Zbl 1505.03088号 ACM事务处理。计算。日志。 23,第4条,第24条,第19页(2022年).MSC公司:03天32分 68问题30 60J80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Case}和\textit{C.P.Porter},ACM Trans。计算。日志。23,第4号,第24条,第19页(2022年;Zbl 1505.03088) 全文: 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;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公司 链接
塞巴斯蒂安·恩奎斯特;瓦伦丁·戈兰科 并发多人游戏中联盟目标分配的时间逻辑。 (英语) Zbl 1505.03048号 ACM事务处理。计算。日志。 23,第4条,第21条,58页(2022年).MSC公司:03B44号 03B70号 68问题85 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}和\textit{V.Goranko},ACM Trans。计算。日志。23,第4号,第21条,58页(2022年;Zbl 1505.03048) 全文: 内政部 arXiv公司
冯、袁;李三江;Ying,明生 分布式量子程序的验证。 (英语) Zbl 1508.68218号 ACM事务处理。计算。日志。 23,第3条,第19条,40页(2022年).MSC公司:60年第68季度 03B70号 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,ACM Trans。计算。日志。23,第3号,第19条,40页(2022年;Zbl 1508.68218) 全文: 内政部 arXiv公司
费多尔·福明。;Petr A.Golovach。;迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 一阶逻辑属性消元距离的参数化复杂性。 (英语) Zbl 1505.03075号 ACM事务处理。计算。日志。 23,第3条,第17条,第35页(2022年).MSC公司:03B70号 03B10号机组 19年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{F.V.Fomin}等人,ACM Trans。计算。日志。23,第3号,第17条,第35页(2022年;Zbl 1505.03075) 全文: 内政部 arXiv公司 哈尔
克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 算术模态逻辑中具有全局假设的联合盲文推理。 (英语) Zbl 1502.68285号 ACM事务处理。计算。日志。 23,第2条,第11条,第34页(2022年).MSC公司:68T27型 03B45号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人,《美国医学杂志》。计算。日志。23,第2号,第11条,第34页(2022年;Zbl 1502.68285) 全文: 内政部 arXiv公司 链接
沙乌尔·阿尔马戈;德米特里·奇斯蒂科夫;约尔·瓦克宁;詹姆斯·沃雷尔 离散动力系统的o极小不变量。 (英语) Zbl 1502.68177号 ACM事务处理。计算。日志。 23,第2条,第9条,第20页(2022年).MSC公司:60年第68季度 03C64号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,美国医学会Trans。计算。日志。23,第2号,第9条,20页(2022年;Zbl 1502.68177) 全文: 内政部 arXiv公司
扎尼斯·阿内夫拉维斯;马修·菲利普;丹尼尔·奈德;保罗·塔布阿达 正确是不够的:使用健壮的线性时序逻辑进行有效验证。 (英语) Zbl 1502.68178号 ACM事务处理。计算。日志。 23,第2条,第8条,第39页(2022年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Anevlavis}等人,ACM Trans。计算。日志。23,第2号,第8条,39页(2022年;Zbl 1502.68178) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;马塞洛·马米诺;维奥拉、卡特琳娜 分段线性值CSP可通过线性规划松弛求解。 (英语) Zbl 1508.68129号 ACM事务处理。计算。日志。 23,第1号,第7条,第35页(2021年).MSC公司:65年第68季度 90C05(二氧化碳) 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,《美国医学杂志》。计算。日志。23,第1号,第7条,第35页(2021年;Zbl 1508.68129) 全文: 内政部 arXiv公司
阿努吉·达瓦尔;格雷戈里·威尔塞纳赫 秩逻辑的对称电路。 (英语) Zbl 1508.68101号 ACM事务处理。计算。日志。 23,第1条,第6条,第35页(2021年).MSC公司:2006年第68季度 03B70号 19年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}和\textit{G.Wilsenach},ACM Trans。计算。日志。23,第1号,第6条,第35页(2021年;Zbl 1508.68101) 全文: 内政部
吉尔·巴特;雅各布,查理;史蒂夫·克莱默 有限域上的普遍等价性和大多数概率程序。 (英语) Zbl 1508.68215号 ACM事务处理。计算。日志。 23,第1条,第5条,第42页(2021年).MSC公司:60年第68季度 2016年11月 68号30 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,ACM Trans。计算。日志。23,第1号,第5条,第42页(2021年;Zbl 1508.68215) 全文: 内政部
法比奥·加洛。;杰拉尔多·西马里。;Martinez、Maria Vanina;桑托斯,纳塔利亚·阿巴德;马塞洛·法拉帕。 网络知识库中的局部信念动态。 (英语) Zbl 1508.68369号 ACM事务处理。计算。日志。 23,第1号,第4条,第36页(2021年).MSC公司:68立方英尺 03B42号 68T27型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Gallo}等人,《美国医学杂志》。计算。日志。23,第1号,第4条,第36页(2021年;Zbl 1508.68369) 全文: 内政部
阿诺·杜兰德;朱哈·科廷宁;尼古拉斯·德·鲁吉-阿尔特黑尔;Väänänen,茹科 团队语义中数据复杂性的可追溯性边界。 (英语) Zbl 1508.68217号 ACM事务处理。计算。日志。 23,第1号,第3条,第21页(2021).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人,ACM Trans。计算。日志。23,第1号,第3条,第21页(2021;Zbl 1508.68217) 全文: 内政部 arXiv公司
费卢西奥·圭迪 用于通用量化原理图变量的正式系统。 (英语) Zbl 1508.68040号 ACM事务处理。计算。日志。 23,第1号,第2条,第37页(2021年).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi},ACM翻译。计算。日志。23,第1号,第2条,第37页(2021年;Zbl 1508.68040) 全文: 内政部 arXiv公司
桑德拉·基弗;帕斯卡·施韦策;埃尔卡尔·塞尔曼 通过计数逻辑识别的图形。 (英语) 兹比尔1508.68124 ACM事务处理。计算。日志。 23,第1号,第1条,第31页(2021年).MSC公司:19年第68季度 03B70号 05C15号 05C75号 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,ACM Trans。计算。日志。23,第1号,第1条,第31页(2021年;Zbl 1508.68124) 全文: 内政部 arXiv公司
萨姆·巴斯;德米特里·伊特西克森;亚历山大·诺普;阿图尔·里亚扎诺夫;德米特里·索科洛夫 多阶OBDD证明的下界。 (英语) Zbl 1505.03127号 ACM事务处理。计算。日志。 22,第4号,第26条,第30页(2021).MSC公司:20层03 2011年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}等人,ACM Trans。计算。日志。22,第4号,第26条,第30页(2021;Zbl 1505.03127) 全文: 内政部
彼得·赫特林;吉塞拉·克罗姆斯 EXPSPACE-逻辑(K4\乘以S5\)和(S4\乘以S5 \)的完整性以及子集空间的逻辑。 (英语) Zbl 1505.03053号 ACM事务处理。计算。日志。 22,第4条,第24条,71页(2021年).MSC公司:03B45号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hertling}和\textit{G.Krommes},ACM Trans。计算。日志。22,第4号,第24条,第71页(2021;Zbl 1505.03053) 全文: 内政部
阿达梅克,吉安尼;陈良婷;斯特凡·米利厄斯;海宁·乌尔巴特 关于单体有限代数的Reiterman定理。 (英语) Zbl 1505.18009号 ACM事务处理。计算。日志。 22,第4条,第23条,48页(2021年).MSC公司:18立方厘米 70年第68季度 08B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,ACM Trans。计算。日志。22,第4号,第23条,48页(2021;Zbl 1505.18009) 全文: 内政部 arXiv公司
皮埃尔·甘蒂;弗朗西斯科·兰扎托;佩德罗·瓦莱罗 完成用于检查语言包含的抽象。 (英语) Zbl 1508.68190号 ACM事务处理。计算。日志。 22,第4条,第22条,40页(2021年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}等人,ACM Trans。计算。日志。22,第4号,第22条,40页(2021年;Zbl 1508.68190) 全文: 内政部 arXiv公司 链接
马塞洛·阿里纳斯;巴勃罗·巴塞洛;米卡·莫内 不完整数据库上计数问题的复杂性。 (英语) Zbl 1508.68083号 ACM事务处理。计算。日志。 22,第4条,第21条,52页(2021年).MSC公司:第68页,共15页 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Arenas}等人,ACM翻译。计算。日志。22,第4号,第21条,52页(2021;Zbl 1508.68083) 全文: 内政部 arXiv公司 哈尔
卡亚·德乌瑟;帕维尔·瑙莫夫 战略性知识获取。 (英语) Zbl 1502.68284号 ACM事务处理。计算。日志。 22,第3号,第17条,第18页(2021).MSC公司:68T27型 03B42号 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Deuser}和\textit{P.Naumov},ACM Trans。计算。日志。22,第3号,第17条,第18页(2021;Zbl 1502.68284) 全文: 内政部 链接
Christopher H.Broadbent。;阿诺德·卡拉约尔;马修·黑格;Andrzej S.穆拉夫斯基。;C.·H·卢克·翁;奥利维尔·塞雷 可折叠下推平价游戏。 (英语) Zbl 1502.68180号 ACM事务处理。计算。日志。 22,第3条,第16条,第51页(2021年).MSC公司:60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Broadbent}等人,ACM Trans。计算。日志。22,第3号,第16条,51页(2021;Zbl 1502.68180) 全文: 内政部 arXiv公司 哈尔
保罗·巴尔丹;托马索·帕多安 模型检查逻辑的真实并发性。 (英语) Zbl 1502.68179号 ACM事务处理。计算。日志。 21,第4号,第34条,49页(2020年).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{T.Padoan},ACM Trans。计算。日志。21,第4号,第34条,49页(2020年;Zbl 1502.68179) 全文: 内政部
乔里·博曼森;汤米·詹胡宁;伊尔卡·尼梅尔 在答案集程序转换中应用可见的强等价性。 (英语) 兹比尔1502.68059 ACM事务处理。计算。日志。 21,第4号,第33条,第41页(2020年).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bomanson}等人,ACM Trans。计算。日志。21,第4号,第33条,第41页(2020年;Zbl 1502.68059) 全文: 内政部
罗恩·范德梅登;帕特拉,马纳斯·K。 模型检验概率时间认知逻辑的不确定案例。 (英语) Zbl 1502.68188号 ACM事务处理。计算。日志。 21,第4号,第32条,第26页(2020).MSC公司:60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{M.K.Patra},ACM Trans。计算。日志。21,第4号,第32条,第26页(2020年;Zbl 1502.68188) 全文: 内政部 arXiv公司
Franz巴德;Stefan博格沃特;帕特里克·科普曼;安娜·奥扎基;维罗尼卡托斯特 具有间隔数字名称的度量时间描述逻辑。 (英语) Zbl 1446.68145号 ACM事务处理。计算。日志。 21,第4号,第30条,第46页(2020年).MSC公司:68T27型 03B44号 2017年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,《美国医学杂志》。计算。日志。21,第4号,第30条,第46页(2020;兹bl 1446.68145) 全文: 内政部
加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 有界展开类的一阶解释。 (英语) 兹比尔1446.68094 ACM事务处理。计算。日志。 21,第4号,第29条,第41页(2020年).MSC公司:60年第68季度 03B70号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人,ACM Trans。计算。日志。21,第4号,第29条,第41页(2020年;Zbl 1446.68094) 全文: 内政部 arXiv公司 链接
加亚尔斯克,雅库布;彼得·赫林;Obdr zalek,简;丹尼尔·洛克斯塔诺夫;拉马努扬,M.S。 关于稠密图类的FO模型检查的一个新观点。 (英语) Zbl 1446.68093号 ACM事务处理。计算。日志。 21,第4号,第28条,第23页(2020年).MSC公司:60年第68季度 03B70号 05C75号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人,ACM Trans。计算。日志。21,第4号,第28条,第23页(2020年;Zbl 1446.68093) 全文: 内政部 arXiv公司
安托万·阿马里利;迈克尔·本尼迪克特 具有数字限制的有限开放式查询应答。 (英语) Zbl 1446.68050号 ACM事务处理。计算。日志。 21,第4号,第27条,73页(2020年).MSC公司:第68页,共15页 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Amarilli}和\textit{M.Benedikt},ACM Trans。计算。日志。21,第4号,第27条,73页(2020年;Zbl 1446.68050) 全文: 内政部 arXiv公司
克劳迪奥·蒙吉;马尔塞洛·贝尔萨尼。;罗西,马蒂奥;Pierluigi San彼得罗 基于时间自动机的模型检验MITL公式。基于逻辑的方法。 (英语) Zbl 1446.68095号 ACM事务处理。计算。日志。 21,第3号,第26条,第44页(2020年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,ACM Trans。计算。日志。21,第3号,第26条,第44页(2020年;Zbl 1446.68095) 全文: 内政部
安娜·卡瓦尔坎蒂;Robert M.Hierons。;西德尼·诺盖拉 CSP中的输入和输出。模型和测试理论。 (英语) Zbl 1446.68103号 ACM事务处理。计算。日志。 21,第3号,第24条,53页(2020年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,ACM Trans。计算。日志。21,第3号,第24条,53页(2020年;Zbl 1446.68103) 全文: 内政部
谢尔盖·冈查洛夫;斯特凡·米利厄斯;亚历山德拉·席尔瓦 走向有效状态机的统一理论。 (英语) 兹比尔1446.68085 ACM事务处理。计算。日志。 第21条第3款第23条第63页(2020年).MSC公司:68问题55 18立方厘米 18 C50 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人,ACM Trans。计算。日志。21,第3号,第23条,第63页(2020;Zbl 1446.68085) 全文: 内政部 arXiv公司 链接
阿诺德·卡拉约尔;奥利维尔·塞雷 在与自然的游戏中,策略有多好? (英语) Zbl 1446.68084号 ACM事务处理。计算。日志。 21,第3号,第21条,第39页(2020年).MSC公司:68问题55 65年第68季度 91A44型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}和\textit{O.Serre},ACM翻译。计算。日志。21,第3号,第21条,第39页(2020年;Zbl 1446.68084) 全文: 内政部 哈尔
安德烈·赫尼奇;卡斯滕·卢茨;法比奥·帕帕奇尼;弗兰克·沃尔特 本体中的二分法通过保护片段进行中介查询。 (英语) Zbl 1446.68056号 ACM事务处理。计算。日志。 21,第3号,第20条,第47页(2020年).MSC公司:第68页,共15页 2017年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Hernich}等人,ACM Trans。计算。日志。21,第3号,第20条,第47页(2020年;Zbl 1446.68056) 全文: 内政部 arXiv公司
穆纳乔·埃切宁;拉杜·奥西夫;尼古拉斯·佩尔蒂埃 带有未解释谓词的分离逻辑的Bernays-Schönfinkel-Ramsey类。 (英语) 兹比尔1446.03064 ACM事务处理。计算。日志。 21,第3号,第19条,46页(2020年).MSC公司:03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Echenim}等人,ACM Trans。计算。日志。21,第3号,第19条,46页(2020年;Zbl 1446.03064) 全文: 内政部 哈尔
纪尧姆·伯勒 将聚焦和分辨率与选择联系起来。 (英语) Zbl 1446.03099号 ACM事务处理。计算。日志。 第21条第3款第18条第30页(2020年).MSC公司:03财年03 03B35型 05年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Burel},ACM翻译。计算。日志。21,第3号,第18条,第30页(2020;兹bl 1446.03099) 全文: 内政部 哈尔
弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 为什么时间自动机的活性很难,以及我们能做些什么。 (英语) Zbl 1446.68068号 ACM事务处理。计算。日志。 21,第3号,第17条,28页(2020年).MSC公司:2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人,ACM翻译。计算。日志。21,第3号,第17条,第28页(2020;兹bl 1446.68068) 全文: 内政部 链接
托莫维奇,S。;Ognjanović,Z。;D.多德。 关于知识和概率推理的一阶逻辑。 (英语) Zbl 1446.03038号 ACM事务处理。计算。日志。 21,第2号,第16条,第30页(2020年).MSC公司:03B42号 03B48号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.Tomović}等人,《美国医学杂志》。计算。日志。21,第2号,第16条,30页(2020年;Zbl 1446.03038) 全文: 内政部 arXiv公司
法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 弱者的力量。 (英语) Zbl 1446.68089号 ACM事务处理。计算。日志。 21,第2号,第15条,47页(2020年).MSC公司:60年第68季度 03B16号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Carreiro}等人,《美国医学杂志》。计算。日志。21,第2号,第15条,47页(2020年;Zbl 1446.68089) 全文: 内政部 arXiv公司
黑山,曼努埃尔;苏珊娜·尼娃;里卡多·佩纳;克拉拉塞古拉 将液体类型扩展到阵列。 (英语) Zbl 1446.68096号 ACM事务处理。计算。日志。 21,第2号,第13条,第41页(2020年).MSC公司:60年第68季度 03B38型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人,ACM Trans。计算。日志。21,第2号,第13条,第41页(2020年;Zbl 1446.68096) 全文: 内政部 链接
科德·艾克迈耶;范登·胡维尔(Jan van den Heuvel);川崎敬一;斯蒂芬·克鲁泽;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;丹尼尔·基罗兹(Daniel A.Quiroz)。;罗马拉比诺维奇;塞巴斯蒂安·西伯茨 有序结构的模型检查。 (英语) Zbl 1446.68092号 ACM事务处理。计算。日志。 21,第2号,第11条,28页(2020年).MSC公司:60年第68季度 03B70号 05C75号 05立方厘米83 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Eickmeyer}等人,《美国医学杂志》。计算。日志。21,第2号,第11条,第28页(2020年;Zbl 1446.68092) 全文: 内政部 arXiv公司
冯世光;克劳迪娅·卡拉佩尔;奥利弗·费尔南德斯·吉尔;卡琳·夸斯 单计数器机器的MTL和TPTL。表达性、模型检查和可满足性。 (英语) Zbl 1433.68215号 ACM事务处理。计算。日志。 21,第2号,第12条,第34页(2020年).MSC公司:60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}等人,ACM Trans。计算。日志。21,第2号,第12条,第34页(2020年;Zbl 1433.68215) 全文: 内政部
戴维·塞尔纳;特默尔库西亚 愚蠢的反统一。 (英语) Zbl 1433.68188号 ACM事务处理。计算。日志。 21,第2号,第10条,第32页(2020年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cerna}和\textit{T.Kutsia},ACM Trans。计算。日志。21,第2号,第10条,第32页(2020;Zbl 1433.68188) 全文: 内政部
托马斯·普莱斯;马克·泽顿 添加继任者。分离和覆盖的转移定理。 (英语) 兹比尔1433.03103 ACM事务处理。计算。日志。 21,第2号,第9条,45页(2020年).MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Place}和\textit{M.Zeitoun},ACM Trans。计算。日志。21,第2号,第9条,45页(2020年;Zbl 1433.03103) 全文: 内政部 arXiv公司
奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩 缩减和扩展中的动态QBF依赖性。 (英语) Zbl 1433.03138号 ACM事务处理。计算。日志。 21,第2号,第8条,第27页(2020).MSC公司:20层03 2017年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}和\textit{J.Blinkhorn},ACM Trans。计算。日志。21,第2号,第8条,第27页(2020年;Zbl 1433.03138) 全文: 内政部
你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默 模态包含逻辑的可满足性。松懈和严格的语义。 (英语) Zbl 1433.03053号 ACM事务处理。计算。日志。 21,第1号,第7条,第18页(2020年).MSC公司:03B45号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Hella}等人,ACM翻译。计算。日志。21,第1号,第7条,第18页(2020年;Zbl 1433.03053) 全文: 内政部 arXiv公司
迈克尔·本尼迪克特;皮埃尔·布赫斯;格奥尔格·戈特洛布;皮埃尔·塞内拉特 一元数据日志、树有效性和有限访问控制。 (英语) Zbl 1433.68115号 ACM事务处理。计算。日志。 21,第1号,第6条,45页(2020年).MSC公司:第68页,共15页 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,《美国医学杂志》。计算。日志。21,第1号,第6条,45页(2020年;Zbl 1433.68115) 全文: 内政部 链接
戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 对无序流进行运行时验证。 (英语) Zbl 1433.68208号 ACM事务处理。计算。日志。 21,第1号,第5条,43页(2020年).MSC公司:60年第68季度 03B44号 第68季度10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,ACM Trans。计算。日志。21,第1号,第5条,43页(2020年;Zbl 1433.68208) 全文: 内政部 arXiv公司
格尔盖·巴纳;罗希特·查达;阿杰·库马尔·埃拉拉;冈田三弘 基于不可区分性的计算完全符号攻击者的验证方法。 (英语) 兹比尔1433.68075 ACM事务处理。计算。日志。 21,第1号,第2条,44页(2020年).MSC公司:68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bana}等人,ACM Trans。计算。日志。21,第1号,第2条,44页(2020年;Zbl 1433.68075) 全文: 内政部
雷米·克雷蒂安;维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩 在安全协议中免费键入消息。 (英语) Zbl 1433.68211号 ACM事务处理。计算。日志。 21,第1号,第1条,52页(2020年).MSC公司:60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chrétien}等人,ACM Trans。计算。日志。21,第1号,第1条,52页(2020年;Zbl 1433.68211) 全文: 内政部
克里斯蒂娜·博拉莱拉斯;丹尼尔·拉拉兹;恩里克·罗德里格斯-卡博内尔;阿尔伯特·奥利弗拉斯;阿尔伯特·鲁比奥 求解整数上非线性公式的不完全SMT技术。 (英语) Zbl 1433.68405号 ACM事务处理。计算。日志。 第20条第4款第25条第25页(2019年).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Borraleras}等人,ACM Trans。计算。日志。20,第4号,第25条,第25页(2019年;Zbl 1433.68405) 全文: 内政部 arXiv公司
罗斯·霍恩;Tiu,Alwen先生;阿曼,博格丹;加布里埃尔·乔巴努 De Morgan对偶名词量词在非交换逻辑中建模私有名称。 (英语) Zbl 1459.03090号 ACM事务处理。计算。日志。 第20条第4款第22条第44页(2019年).MSC公司:03楼52 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}等人,ACM Trans。计算。日志。20,第4号,第22条,第44页(2019年;Zbl 1459.03090) 全文: 内政部 arXiv公司 链接
黄晓伟;玛尔塔·奎亚特科夫斯卡;马西耶·奥列尼克 随机多智能体系统中认知信任的推理。 (英语) Zbl 1433.68422号 ACM事务处理。计算。日志。 第20条第4款第21条第64页(2019年).MSC公司:68T27型 03B42号 03B44号 60年第68季度 68T42型 91A60 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}等人,ACM Trans。计算。日志。20,第4号,第21条,64页(2019年;Zbl 1433.68422) 全文: 内政部 arXiv公司 链接
巴哈州阿默里;迈克尔·格里宁格 通过活动组合实现变化的表示定理。 (英语) Zbl 1433.68426号 ACM事务处理。计算。日志。 20,第4条,第20条,第31页(2019年).MSC公司:68立方英尺 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Aameri}和\textit{M.Grüninger},ACM Trans。计算。日志。20,第4号,第20条,第31页(2019年;Zbl 1433.68426) 全文: 内政部
卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 中心极限模型检查。 (英语) 兹比尔1433.68209 ACM事务处理。计算。日志。 第20条第4款第19条第35页(2019年).MSC公司:60年第68季度 60J28型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,ACM Trans。计算。日志。20,第4号,第19条,第35页(2019年;Zbl 1433.68209) 全文: 内政部 arXiv公司 链接
盖塔诺·盖克;巴斯·凯茨曼;法兰克·奈文;托马斯·施温蒂克 具有并集和求反的联合查询的并行正确性和包含性。 (英语) Zbl 1433.68117号 ACM事务处理。计算。日志。 第20条第3款第18条第24页(2019年).MSC公司:第68页,共15页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geck}等人,ACM Trans。计算。日志。20,第3号,第18条,第24页(2019年;Zbl 1433.68117) 全文: 内政部 链接
杰雷米·查洛平;维克托·切波伊 1-安全Petri网和特殊立方体复合体。等效性和应用。 (英语) Zbl 1433.68243号 ACM事务处理。计算。日志。 第20条第3款第17条第49页(2019年).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chalopin}和\textit{V.Chepoi},ACM Trans。计算。日志。20,第3号,第17条,49页(2019年;Zbl 1433.68243) 全文: 内政部 arXiv公司
亚历克斯·克林哈默;阿里·埃布纳西尔 参数环上活锁自由和自稳定的验证。 (英语) Zbl 1433.68254号 ACM事务处理。计算。日志。 第20条第3款第16条第36页(2019年).MSC公司:68问题85 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Klinkhamer}和\textit{A.Ebnenasir},ACM翻译。计算。日志。20,第3号,第16条,第36页(2019年;Zbl 1433.68254) 全文: 内政部
内哈·洛达;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 分支宽度的SAT方法。 (英语) Zbl 1433.68412号 ACM事务处理。计算。日志。 第20条第3款第15条第24页(2019年).MSC公司:68T20型 05C65号 05C78号 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Lodha}等人,ACM Trans。计算。日志。20,第3号,第15条,第24页(2019年;Zbl 1433.68412) 全文: 内政部 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔;兰科·拉齐奇;菲利普·马佐维耶基 时间寄存器下推自动机和分支向量加法系统的二进制可达性。 (英语) Zbl 1433.68194号 ACM事务处理。计算。日志。 第20条第3款第14条第31页(2019年).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,ACM Trans。计算。日志。20,第3号,第14条,第31页(2019年;Zbl 1433.68194) 全文: 内政部 链接
尼古拉·利昂;马可·曼纳;乔治·特拉西纳;皮尔弗朗西斯科·维尔特里 基于存在规则的快速查询应答。 (英语) Zbl 1433.68432号 ACM事务处理。计算。日志。 第20条第2款第12条第48页(2019年).MSC公司:68立方英尺 68N17号 第68页,共15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{塞拉利昂}等人,ACM Trans。计算。日志。20,第2号,第12条,48页(2019年;Zbl 1433.68432) 全文: 内政部
卡琳·夸斯;马赫萨·希尔穆罕默德 同步寄存器自动机的数据字。 (英语) Zbl 1433.68199号 ACM事务处理。计算。日志。 第20条第2款第11条第27页(2019年).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}和\textit{M.Shirmohammadi},ACM翻译。计算。日志。20,第2号,第11条,第27页(2019年;Zbl 1433.68199) 全文: 内政部 arXiv公司