Dana Pardubská

1989

Dana Pardubská and Ivana Štefáneková:
Nondeterministic multicounter machines and complementation,
Theoretical Computer Science, 1989, 111 - 113. [bibtex]