Descriptional Complexity of Formal Systems
- Springer 2015
- Lecture Notes in Computer Science .
9783319192253
Computation by Abstract Devices; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science