1 search results - page 1 / 1 » litp 1990 |
LITP
1990
13 years 11 months ago
1990
In this paper we provide several new results concerning word and matrix semigroup problems using counter automaton models. As a main result, we prove a new version of Post's c...