ON THE COMPLEXITY OF SPACE BOUNDED INTERACTIVE PROOFS

被引:26
作者
CONDON, A
LIPTON, RJ
机构
来源
30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE | 1989年
关键词
D O I
10.1109/SFCS.1989.63519
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
引用
收藏
页码:462 / 467
页数:6
相关论文
empty
未找到相关数据