J.A.伯格斯特拉。;J.V.塔克。 通过有限方程规范方法描述可计算数据类型。 (英语) Zbl 0449.68003号 自动化,语言和编程,第七届Colloq.,Noordwijkerhout/荷兰1980,Lect。注释计算。科学。85, 76-90 (1980). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于27文件 MSC公司: 68第05页 数据结构 68N25号 操作系统理论 03D60年 序数、容许集等的可计算性和递归理论。 03D45号 计算理论,有效呈现结构 03天80 可计算性和递归理论的应用 关键词:可计算数据类型;等式规范;初始代数语义 引文:Zbl 0426.00014号;Zbl 0417.68012号 PDF格式BibTeX公司 XML格式