The Nature of Computation, 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, Proceedings, LNCS 7921 Journal uri icon