Keijo Ruohonen is a retired professor of mathematics at Tiampereen Teknillinen Ylopisto. His main field of research is in computability theory, algorithmics and formal languages, lately especially in continuous-time computation and group-theoretic algorithms.
Books Authored by Keijo Ruohonen