Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Henning Bordihn, Nicholas Tran, György Vaszil, editors, Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings. Volume 13918 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Conference: dcfs2023

Abstract

Abstract is missing.

Table of Contents