Title: Descriptional Complexity of Formal Systems
Subjects: Logic design, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science