ALTERNATION BOUNDED AUXILIARY PUSHDOWN-AUTOMATA

被引：8
|
作者：
LADNER, RE
STOCKMEYER, LJ
LIPTON, RJ
机构：
[1] IBM CORP,RES LAB,SAN JOSE,CA 95193
[2] PRINCETON UNIV,DEPT COMP SCI,PRINCETON,NJ 08544
来源：
INFORMATION AND CONTROL | 1984年 / 62卷 / 2-3期
关键词：
D O I：
10.1016/S0019-9958(84)80029-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：93 / 108
页数：16
相关论文
共 50 条
12345