托马斯·艾特;西蒙库斯,曼塔斯 FDNC:带函数符号的可判定非单调析取逻辑程序。 (英文) Zbl 1351.68052号 ACM事务处理。计算。日志。 11,第2号,第14条,50页(2010年).MSC公司:68N17号 65年第68季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{M.Šimkus},ACM Trans。计算。日志。11,第2号,第14条,50页(2010年;Zbl 1351.68052) 全文: 内政部
Tiu,Alwen先生;戴尔·米勒 ({\pi})演算的互模拟和模态逻辑的证明搜索规范。 (英文) 兹比尔1351.68186 ACM事务处理。计算。日志。 11,第2号,第13条,第35页(2010年).MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiu}和\textit{D.Miller},ACM Trans。计算。日志。11,第2号,第13条,第35页(2010年;Zbl 1351.68186) 全文: 内政部
斯塔夫罗斯·科斯马达基斯;欧仁妮·福斯托科斯;阿纳斯塔西奥斯·西迪罗普洛斯 关于Datalog程序及其持久性数的不确定和难以处理的结果。 (英文) Zbl 1351.68070号 ACM事务处理。计算。日志。 11,第2号,第12条,第29页(2010年).MSC公司:68号30 68N17号 第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cosmadakis}等人,ACM Trans。计算。日志。11,第2号,第12条,29页(2010年;Zbl 1351.68070) 全文: 内政部
罗宾·亚当斯;罗朝晖 Weyl的谓词经典数学是一种逻辑丰富的类型理论。 (英文) Zbl 1351.03002号 ACM事务处理。计算。日志。 11,第2号,第11条,第29页(2010年).MSC公司:03B15号机组 03B30型 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Adams}和\textit{Z.Luo},ACM翻译。计算。日志。11,第2号,第11条,第29页(2010年;Zbl 1351.03002) 全文: 内政部 链接
屋大维乌德雷亚;Recupero,Diego Reforgiato公司;苏布拉曼尼亚,V.S。 带注释的RDF。 (英文) Zbl 1351.68035号 ACM事务处理。计算。日志。 11,第2号,第10条,41页(2010年).MSC公司:68英里11 03B70号 68第05页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{O.Udrea}等人,《美国医学杂志》。计算。日志。11,第2号,第10条,第41页(2010年;Zbl 1351.68035) 全文: 内政部
休伯特·科蒙·隆德;维罗尼克·科尔蒂尔;尤根·兹利内斯库 决定加密协议的安全属性。应用于关键周期。 (英文) Zbl 1351.94035号 ACM事务处理。计算。日志。 11,第2号,第9条,第42页(2010年).MSC公司:94A60型 68个M12 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon-Lundh}等人,ACM Trans。计算。日志。11,第2号,第9条,第42页(2010年;Zbl 1351.94035) 全文: 内政部 arXiv公司
詹姆斯·贝利;董国柱;收件人:Anthony Widjaja 对视图、可判定性和表达性的逻辑查询。 (英文) Zbl 1351.68087号 ACM事务处理。计算。日志。 11,第2号,第8条,35页(2010年).MSC公司:第68页,共15页 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bailey}等人,《美国医学杂志》。计算。日志。11,第2号,第8条,35页(2010年;Zbl 1351.68087) 全文: 内政部