科德·艾克迈耶;迈克尔·埃尔伯菲尔德;弗雷德里克·哈瓦特 深边界结构上序变逻辑的简洁性。 (英语) Zbl 1407.03002号 ACM事务处理。计算。日志。 第18条第4款第33条第25页(2017年).MSC公司:03B10号机组 03B15号机组 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{K.Eickmeyer}等人,《美国医学杂志》。计算。日志。18,第4号,第33条,第25页(2017;Zbl 1407.03002) 全文: 内政部 arXiv公司
帕维尔·瑙莫夫;陶,贾 预算约束下的信息流。 (英语) Zbl 1407.03048号 ACM事务处理。计算。日志。 第18号第4条第32条第26页(2017年).MSC公司:03B70号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao},ACM翻译。计算。日志。18,第4号,第32条,第26页(2017;Zbl 1407.03048) 全文: 内政部
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 嵌套加权自动机。 (英语) Zbl 1407.68248号 ACM事务处理。计算。日志。 第18条第4款第31条第44页(2017年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《美国医学杂志》。计算。日志。18,第4号,第31条,第44页(2017;Zbl 1407.68248) 全文: 内政部 链接
安德烈亚斯·克雷布斯;霍华德·斯特劳宾 二元逻辑中交替层次的有效表征。 (英语) Zbl 1407.03054号 ACM事务处理。计算。日志。 18,第4号,第30条,第22页(2017).MSC公司:05年3月 03B20型 03年2月25日 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}和\textit{H.Straubing},ACM翻译。计算。日志。18,第4号,第30条,第22页(2017;Zbl 1407.03054) 全文: 内政部 链接
陈,胡比;莫里茨·米勒 一个层次衍生出另一个层次,即图解构和联合查询的复杂性分类。 (英语) Zbl 1407.68211号 ACM事务处理。计算。日志。 第18条第4款第29条第37页(2017年).MSC公司:65年第68季度 05C60型 05C75号 第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}和\textit{M.Muller},ACM Trans。计算。日志。18,第4号,第29条,第37页(2017;Zbl 1407.68211) 全文: 内政部
马可·卡洛蒂;塞尔吉奥·格雷科;伊琳娜·特鲁比西纳 用函数符号检测有限地逻辑程序的可判定类。 (英语) Zbl 1407.68078号 ACM事务处理。计算。日志。 18,第4号,第28条,第42页(2017).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Calautti}等人,《美国医学杂志》。计算。日志。18,第4号,第28条,第42页(2017;Zbl 1407.68078) 全文: 内政部 链接
什奇蓬贾·艾哈迈塔吉;迭戈·卡尔瓦内斯;马格达莱娜·奥尔蒂斯;西蒙库斯,曼塔斯 使用描述逻辑管理图形结构数据中的更改。 (英语) Zbl 1407.68122号 ACM事务处理。计算。日志。 第18条第4款第27条第35页(2017年).MSC公司:第68页,共15页 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Ahmetaj}等人,ACM翻译。计算。日志。18,第4号,第27条,第35页(2017;Zbl 1407.68122) 全文: 内政部 arXiv公司
塞巴斯蒂安·埃伯哈德;加布里埃尔·埃布纳;斯特凡·赫兹尔 用刚性非循环文法对有限树语言进行算法压缩。 (英语) Zbl 1407.68251号 ACM事务处理。计算。日志。 18号第4条第26条第20页(2017年).MSC公司:65年第68季度 68页30 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Eberhard}等人,ACM Trans。计算。日志。18,第4号,第26条,20页(2017;Zbl 1407.68251) 全文: 内政部