Descriptional complexity of formal systems

From MaRDI portal
Publication:896672