Descriptional complexity of formal systems. 22nd international conference, DCFS 2020, Vienna, Austria, August 24--26, 2020. Proceedings

From MaRDI portal
Publication:2025279