J.A.伯格斯特拉。;梅耶,J.-J.Ch。 代数规范的简单转移引理。 (英语) Zbl 0522.68025号 信息处理。莱特。 14, 80-85 (1982).MSC公司:68第05页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.J.Ch.Meyer},Inf.Process。莱特。14,80-85(1982年;兹bl 0522.68025) 全文: DOI程序 链接
J.A.伯格斯特拉。;梅耶,J.-J.Ch。 代数规范的简单转移引理。 (英语) Zbl 0495.68021号 信息处理。莱特。 14, 80-85 (1982).MSC公司:68第05页 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.J.Ch.Meyer},Inf.Process。莱特。14、80-85(1982年;Zbl 0495.68021) 全文: DOI程序 链接