CORRECTNESS PROOFS FOR ABSTRACT IMPLEMENTATIONS

被引：1
|
作者：
BERNOT, G
机构：
来源：
INFORMATION AND COMPUTATION | 1989年 / 80卷 / 02期
关键词：
D O I：
10.1016/0890-5401(89)90016-3
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：121 / 151
页数：31
相关论文
共 50 条
12345