弗朗索瓦·法赫斯 关联交换统一。 (英语) Zbl 0638.68103号 J.塞姆。计算。 3, 257-275 (1987).MSC公司:68吨15 08B05号 2004年11月 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages},J.Symb。计算。3、257--275(1987年;Zbl 0638.68103) 全文: 内政部
弗朗索瓦·法赫斯;杰拉德·休特 方程理论中的整套统一器和匹配器。 (英语) Zbl 0615.03002号 西奥。计算。科学。 43, 189-200 (1986). 审核人:V.Cţlm෧uianu MSC公司:03B35型 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages}和\textit{G.Huet},Theor。计算。科学。43、189--200(1986年;Zbl 0615.03002) 全文: 内政部