Two-way one-counter automata accepting b
โ
Petersen, H.
๐
Article
๐
1994
๐
Association for Computing Machinery
โ 184 KB