Machines, Computations, and Universality
- Springer 2015
- Lecture Notes in Computer Science .
9783319231112
Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Discrete Mathematics in Computer Science