Merkliste 
 1 Ergebnisse 
 
1

Bidirectional push down automata:

, In: Proceedings of the 7th international conference on Implementation and application of automata,