彼得·库利基;罗伯特·特吕普兹 道义上下文中完全和部分可执行的动作序列。 (英语) 兹比尔1357.03054 合成 192,第4期,1117-1138(2015).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Kulicki}和\textit{R.Trypuz},综合192,第4期,1117--1138(2015;Zbl 1357.03054) 全文: 内政部
弗朗西安·戴奇森;王燕京 知道或不知道:安全协议验证的认知方法。 (英语) 兹伯利1225.03017 合成 177,补遗1,51-76(2010). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B42型 03B44号 第68季度第60季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dechesne}和\textit{Y.Wang},综合177,51--76(2010;Zbl 1225.03017) 全文: 内政部
卢西亚诺·弗洛里迪 反对数字本体论。 (英语) Zbl 1182.03014号 合成 168,第1期,151-178(2009).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Floridi},综合168,第1期,151--178(2009;Zbl 1182.03014) 全文: 内政部 链接