Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings - Gopal, T.V; Jäger, Gerhard; Steila, Silvia (Springer International Publishing : Imprint: Springer, 2017)