in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 13037, Pages: 100-112 (13)
Conference
23Rd Ifip Wg 1.02 International Conference on Descriptional Complexity of Formal Systems (Dcfs), Date: SEP 05, 2021, Location: ELECTR NETWORK, Sponsors: IFIP WG 1 02