埃克塞尔·西蒙;安迪·金 每个不等式抽象域的两个变量。 (英语) Zbl 1232.68030号 高-订购符号。计算。 第1期第23页,第87-143页(2010年).MSC公司:68号30 第68页第20页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Simon}和\textit{A.King},高-订购符号。计算。23,第1号,87--143(2010;Zbl 1232.68030) 全文: 内政部 链接
彼得·塞巴·奥维茨基;何塞·梅塞盖尔 实时淡紫色的语义和语用。 (英语) Zbl 1115.68095号 高-订购符号。计算。 20,第1-2号,161-196(2007).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer},高-订购符号。计算。20,编号1--2,161-196(2007;Zbl 1115.68095) 全文: 内政部
何塞·梅塞盖尔;Thati,普拉桑纳 使用窄化的符号可达性分析及其在密码协议验证中的应用。 (英语) Zbl 1115.68079号 高-订购符号。计算。 20,编号1-2,123-160(2007).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{P.Thati},高-订购符号。计算。20,编号1--2,123-160(2007;Zbl 1115.68079) 全文: 内政部