亚尼克·骑士;米歇尔·鲁西诺维奇 符号推导等价性的判定。 (英语) 兹比尔1242.68097 J.汽车。推理 48,第2期,263-292(2012).MSC公司:第68页第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},J.Autom。推理48,No.2,263--292(2012;Zbl 1242.68097) 全文: 内政部
亚尼克·骑士;迈克尔·鲁西诺维奇 不相交入侵者理论结合中的符号协议分析:结合决策过程。 (英语) Zbl 1187.68204号 西奥。计算。科学。 411,第10号,1261-1282(2010).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},Theor。计算。科学。411,第10号,1261--1282(2010;Zbl 1187.68204) 全文: 内政部