Finite procedures for sofic systems

From MaRDI portal
Publication:1243015