Recherche et téléchargement d’archives de revues mathématiques numérisées
Buntrock, G.; Drewes, F.; Lautemann, C.; Mossakowski, T.
Some modifications of auxiliary pushdown automata. Informatique théorique et applications, 25 no. 6 (1991), p. 545-556
Notice complète | Texte intégral djvu | pdf | Analyses MR 1145427 | Zbl 0705.68051