TY - JOUR AU - Buntrock, G. AU - Drewes, F. AU - Lautemann, C. AU - Mossakowski, T. TI - Some modifications of auxiliary pushdown automata JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1991 SP - 545 EP - 556 VL - 25 IS - 6 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1991__25_6_545_0/ LA - en ID - ITA_1991__25_6_545_0 ER -