You are about to access our book library "Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings (Lecture Notes in Computer Science Book 15759) full version" .