Henning Bordihn Descriptional Complexity of Formal Systems - 1st ed. 2023 - Springer 2023 - Lecture Notes in Computer Science . ISBN: 9783031343261 Subjects--Topical Terms: Computer ScienceComputer Science Logic and Foundations of Programming