Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings
Proceedings Paper
M Ferreira
R Reis
Publication
Year of publication: 2018
Volume: 10952
Pages: 88-100