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)