Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2004/04/01 Vol. E87-DNo. 4pp. 959-966 Type of Manuscript: PAPER Category: Automata and Formal Language Theory Keyword: shrinking, alternating, two-pushdown automaton, PSPACE-complete,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2001/01/01 Vol. E84-DNo. 1pp. 1-3 Type of Manuscript: FOREWORD Category: Keyword: