斯特凡·格勒;Jean-Christoph Jung;马库斯·洛伊 分解模态和一阶理论的复杂性。 (英语) Zbl 1354.03053号 ACM事务处理。计算。日志。 16,第1号,第9条,43页(2015年).MSC公司:2015年3月1日 03B20型 03B45 03C07号机组 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人,ACM Trans。计算。日志。16,第1号,第9条,43页(2015;Zbl 1354.03053) 全文: 内政部
毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 G3i的评估驱动决策程序。 (英语) Zbl 1354.03083号 ACM事务处理。计算。日志。 16,第1号,第8条,37页(2015年).MSC公司:03财年03 03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferrari}等人,ACM Trans。计算。日志。16,第1号,第8条,37页(2015;Zbl 1354.03083) 全文: 内政部
盖尔·方丹 为什么很难获得一致的查询应答的二分法? (英语) Zbl 1354.68072号 ACM事务处理。计算。日志。 16,第1号,第7条,24页(2015年).MSC公司:第68页,共15页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine},ACM翻译。计算。日志。16,第1号,第7条,24页(2015;Zbl 1354.68072) 全文: 内政部
舒拉米特·哈拉米什;奥尔纳·库普弗曼 最小化确定性格自动机。 (英语) 兹比尔1354.68156 ACM事务处理。计算。日志。 16,第1号,第1条,第21页(2015年).MSC公司:65年第68季度 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Halamish}和\textit{O.Kupferman},ACM翻译。计算。日志。16,第1号,第1条,第21页(2015;Zbl 1354.68156) 全文: 内政部
阿夫尼,盖伊;奥尔纳·库普弗曼 参数化加权包容。 (英语) Zbl 1354.68145号 ACM事务处理。计算。日志。 16,第1号,第6条,第25页(2015年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},ACM Trans。计算。日志。16,第1号,第6条,25页(2015;Zbl 1354.68145) 全文: 内政部
蝉蜕、阿加塔;奥里·拉哈夫;斯彭迪,劳拉;安娜·扎曼斯基 驯服次协调(和其他)逻辑:一种算法方法。 (英语) 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) 全文: 内政部
比斯卡亚,M。;亨利克斯,D。;马特乌斯,P。 近似Skolem问题的可判定性及其在马尔可夫链动态特性逻辑验证中的应用。 (英语) Zbl 1354.68168号 ACM事务处理。计算。日志。 16,第1号,第4条,第17页(2015年).MSC公司:60年第68季度 03B25号 03B44号 05年11月 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Biscaia}等人,《美国医学杂志》。计算。日志。16,第1号,第4条,第17页(2015;Zbl 1354.68168) 全文: 内政部
陶,贾;斯拉茨基,乔拉;瓦桑特·霍纳瓦尔 知识库中保密推理的概念框架。 (英语) Zbl 1354.68259号 ACM事务处理。计算。日志。 16,第1号,第3条,32页(2015年).MSC公司:68T27型 68立方英尺 68层35 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Tao}等人,ACM Trans。计算。日志。16,第1号,第3条,32页(2015年;Zbl 1354.68259) 全文: 内政部
西尔维亚·克拉法;弗朗西斯科·兰扎托 概率分布转移系统上行为关系的逻辑特征。 (英语) Zbl 1354.68192号 ACM事务处理。计算。日志。 16,第1号,第2条,24页(2015年).MSC公司:68问题85 03B70号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}和\textit{F.Ranzato},ACM Trans。计算。日志。16,第1号,第2条,24页(2015年;Zbl 1354.68192) 全文: 内政部 链接