帕特里克·库索特;拉迪亚·库索特 双诱导结构语义。 (英语) Zbl 1165.68042号 Inf.计算。 207,第2期,258-283(2009).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},信息计算。207,第2号,258--283(2009;Zbl 1165.68042) 全文: 内政部
帕特里克·库索特;拉迪亚·库索特 广义霍尔逻辑的正确性和完整性的独立于语言的证明。 (英语) Zbl 0676.68004号 Inf.计算。 80,No.2,165-191(1989). 审核人:圣戈特瓦尔德 MSC公司:68号01 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},信息计算。80,第2号,165--191(1989;Zbl 0676.68004) 全文: 内政部