A decidability result about sufficient-completeness of axiomatically specified abstract data types
A decidability result about sufficient-completeness of axiomatically specified abstract data types
复制标题
关于公理指定的抽象数据类型的充分完整性的可判定性结果
DOI：
10.1007/bfb0009650
复制
发表时间：
1983
期刊：
影响因子：
--
通讯作者：
G. Weikum
中科院分区：
文献类型：
--
作者：
T. Nipkow;G. Weikum
