RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Some modifications of auxiliary pushdown automata

G. Buntrock, F. Drewes, C. Lautemann and T. Mossakowski

RAIRO-Theor. Inf. Appl., 25 6 (1991) 545-556

Published online: 01 February 2017

DOI: 10.1051/ita/1991250605451

G. Buntrock

F. Drewes

C. Lautemann

T. Mossakowski

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)