On decidability of the completeness problem for special systems of automaton functions

From MaRDI portal
Publication:3125966