马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 诱因逻辑编程中的可验证代理交互:SCIFF框架。 (英语) Zbl 1367.68273号 ACM事务处理。计算。日志。 第9号第4条第29条第43页(2008年).MSC公司:68T27型 68N17号 68问题55 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alberti}等人,ACM翻译。计算。日志。9,第4号,第29条,43页(2008年;Zbl 1367.68273) 全文: 内政部
赫尔穆特·塞德尔;库马尔·内拉吉(Kumar Neeraj Verma) 平面和单变量子句:使用单盲复制验证加密协议的复杂性。 (英语) Zbl 1367.68113号 ACM事务处理。计算。日志。 第9号第4条第28条第45页(2008年).MSC公司:65年第68季度 2017年第68季度 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{K.N.Verma},ACM Trans。计算。日志。9,第4号,第28条,45页(2008年;Zbl 1367.68113) 全文: 内政部
沈义东 PLP框架下递归循环推理。 (英语) Zbl 1367.68041号 ACM事务处理。计算。日志。 第9号第4条第27条第31页(2008年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.-D.Shen},ACM翻译。计算。日志。9,第4号,第27条,第31页(2008年;Zbl 1367.68041) 全文: 内政部
斯迪恩·海曼斯;Davy Van Nieuwenborgh;德克·弗梅尔 用保护程序打开答案集编程。 (英语) Zbl 1367.68034号 ACM事务处理。计算。日志。 第9号第4条第26条第53页(2008年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Heymans}等人,《美国医学杂志》。计算。日志。9,第4号,第26条,53页(2008年;Zbl 1367.68034) 全文: 内政部 arXiv公司
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 模态逻辑和描述逻辑的统一性和可容许性问题的不可解释性。 (英语) Zbl 1367.03026号 ACM事务处理。计算。日志。 第9号第4条第25条第20页(2008年).MSC公司:03B35型 03B25号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},ACM Trans。计算。日志。9,第4号,第25条,第20页(2008年;兹bl 1367.03026) 全文: 内政部 arXiv公司
亚尼克·骑士;拉尔夫·库斯特斯;米夏埃尔·鲁西诺维奇;马修·图鲁阿尼 使用Diffie-Hellman求幂和交换公钥加密的安全协议的复杂性。 (英语) Zbl 1367.94304号 ACM事务处理。计算。日志。 第9号第4条第24条第52页(2008年).MSC公司:94A60型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}等人,ACM Trans。计算。日志。9,第4号,第24条,52页(2008年;Zbl 1367.94304) 全文: 内政部