Algebra and Logic
Proceedings Paper
Brough,T
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018
20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS)
Lecture Notes in Computer Science
2018
10952
24-36
10.1007/978-3-319-94631-3_3