×

通过有限方程规范方法描述可计算数据类型。 (英语) Zbl 0449.68003号

自动化,语言和编程,第七届Colloq.,Noordwijkerhout/荷兰1980,Lect。注释计算。科学。85, 76-90 (1980).

MSC公司:

68第05页 数据结构
68N25号 操作系统理论
03D60年 序数、容许集等的可计算性和递归理论。
03D45号 计算理论,有效呈现结构
03天80 可计算性和递归理论的应用