1 search results - page 1 / 1 » litp 1990 |
264
click to vote
LITP
1990
15 years 10 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...