Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond.
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
- Cham Springer 2017
9783319500621
Algorithms. Computers. Data structures (Computer science). Computer science—Mathematics. Mathematical logic. Computer logic. Algorithm Analysis and Problem Complexity. Computation by Abstract Devices. Data Structures. Discrete Mathematics in Computer Science. Mathematical Logic and Formal Languages. Logics and Meanings of Programs.