共 50 条
- [25] CHARACTERIZING THE POLYNOMIAL HIERARCHY BY ALTERNATING AUXILIARY PUSHDOWN-AUTOMATA RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1989, 23 (01): : 87 - 99
- [30] ON REVERSAL-BOUNDED COUNTER MACHINES AND ON PUSHDOWN-AUTOMATA WITH A BOUND ON THE SIZE OF THE PUSHDOWN STORE INFORMATION AND CONTROL, 1982, 54 (03): : 217 - 227