The Nature of Computation: Logic, Algorithms, Applications

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, ...