This work contains theory relating to both mathematics and computer sciences, touching on areas such as automata; semigroups; topology; games; logic. Many devel... » 

This work contains theory relating to both mathematics and computer sciences, touching on areas such as automata; semigroups; topology; games; logic. Many developments have been made in the field, encouraged by its application to problems in computer science. «