盖塔诺·盖克;巴斯·凯茨曼;法兰克·奈文;托马斯·施文蒂克 具有并集和求反的联合查询的并行正确性和包含性。 (英语) 兹比尔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公司
亚历克斯·克林哈默;阿里·埃布纳西尔 参数环上活锁自由和自稳定的验证。 (英语) 兹比尔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.03130号 ACM事务处理。计算。日志。 第20条第3款第13条第38页(2019年).MSC公司:03财年03 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Lahav}和\textit{Y.Zohar},ACM Trans。计算。日志。20,第3号,第13条,第38页(2019年;Zbl 1433.03130) 全文: 内政部