Finite automata and the logic of one-place predicates

From MaRDI portal
Publication:5586356