马龙吉(G.Marongiu)。;南图利帕尼。 根据伯格斯特拉和塔克的推测。 (英语) Zbl 0678.68015号 西奥。计算。科学。 67,第1期,87-97(1989).MSC公司:68第05页 60年第68季度 68问题55 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Marongiu}和\textit{S.Tulipani},Theor。计算。科学。67,第1号,87--97(1989;Zbl 0678.68015) 全文: DOI程序
马龙吉(G.Marongiu)。;南图利帕尼。 半可计算数据类型的有限代数规范。 (英语) Zbl 0618.68016号 TAPSOFT’87,程序。国际Conf.软件开发,比萨/意大利1987年,第1卷:代数和编程树,Lect。注释计算。科学。249, 111-122 (1987).MSC公司:68第05页 03D45号 03天80 PDF格式BibTeX公司 XML格式