Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings
Conference Paper
Publication
Year of publication: 2022
Volume: 13037LNCS
Pages: 13-25
Identifiers
ISSN: 0302-9743
Other: dblp:conf/dcfs/BrodaMMR21