安娜斯塔西娅·安娜斯塔西;格里戈里斯·安东尼奥;卡洛斯·维加斯·达马西奥 MWeb:模块化web规则库及其语义的原则框架。 (英语) Zbl 1351.68272号 ACM事务处理。计算。日志。 第12号第2条第17条第46页(2011年).MSC公司:68立方英尺 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Analyti}等人,ACM Trans。计算。日志。12,第2号,第17条,46页(2011年;Zbl 1351.68272) 全文: 内政部
安德烈亚斯·布拉斯;尤里·古里维奇 算法行为理论中的持久查询。 (英语) Zbl 1351.68095号 ACM事务处理。计算。日志。 第12号第2条第16条第43页(2011年).MSC公司:2005年第68季度 68周01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},ACM翻译。计算。日志。12,第2号,第16条,43页(2011年;Zbl 1351.68095) 全文: 内政部
城市,基督教;詹姆斯·切尼;斯特凡·贝尔霍费尔 LF元理论的机械化。 (英语) Zbl 1351.68250号 ACM事务处理。计算。日志。 12,第2号,第15条,第42页(2011年).MSC公司:第68页第15页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban}等人,ACM Trans。计算。日志。12,第2号,第15条,第42页(2011年;Zbl 1351.68250) 全文: 内政部 arXiv公司
保罗·沙卡里安;奥斯汀帕克;杰拉尔多·西马里;Subrahmanian,Venkatramana V.S.公司。 带注释的概率时序逻辑。 (英语) Zbl 1352.03043号 ACM事务处理。计算。日志。 第12号第2条第14条第44页(2011年).MSC公司:03B70号 03B44号 03B48号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Shakarian}等人,ACM Trans。计算。日志。12,第2号,第14条,第44页(2011年;Zbl 1352.03043) 全文: 内政部
迈克尔·鲍兰德;马丁·蒙德亨克;托马斯·施耐德;Henning施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 LTL模型检查的可处理性:好的、坏的和丑陋的片段。 (英语) 兹比尔1351.68151 ACM事务处理。计算。日志。 第12号第2条第13条第28页(2011年).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bauland}等人,ACM Trans。计算。日志。12,第2号,第13条,第28页(2011年;Zbl 1351.68151) 全文: 内政部
斯泽德,斯特凡 局部基数约束图上的一元二阶逻辑。 (英语) Zbl 1351.68121号 ACM事务处理。计算。日志。 第12号,第2条,第12条,第21页(2011年).MSC公司:65年第68季度 03B70号 05年3月 2017年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Szeider},ACM事务。计算。日志。12,第2号,第12条,第21页(2011;Zbl 1351.68121) 全文: 内政部
托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;罗马辛德劳 语义网中描述逻辑程序的良好语义。 (英语) Zbl 1351.68275号 ACM事务处理。计算。日志。 第12号第2条第11条第41页(2011年).MSC公司:68立方英尺 68英里11 68N17号 68问题55 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《美国医学杂志》。计算。日志。12,第2号,第11条,41页(2011年;Zbl 1351.68275) 全文: 内政部 链接
兰科·拉齐奇 数据字上的安全交替自动机。 (英语) Zbl 1352.03014号 ACM事务处理。计算。日志。 第12号第2条第10条第24页(2011年).MSC公司:03B25号 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lazić},ACM翻译。计算。日志。12,第2号,第10条,第24页(2011;Zbl 1352.03014) 全文: 内政部 arXiv公司
尤里·古里维奇;伊泰州奈曼 信息逻辑,命题案例。 (英语) Zbl 1328.03032号 ACM事务处理。计算。日志。 第12号第2条第9条第28页(2011年).MSC公司:03B70号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{I.Neeman},ACM Trans。计算。日志。12,第2号,第9条,第28页(2011年;Zbl 1328.03032) 全文: 内政部