Title: Descriptional Complexity of Formal Systems
Subjects: Formal methods (Computer science), Congresses, Formal languages, Machine theory, System design, Computer science, Computer software, Logic design, Computational complexity, Computation by Abstract Devices, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science