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; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory.
Keywords: Mathematical logic; Computer science-Mathematics.; Algorithms; Computer logic; Data structures (Computer science).; Artificial intelligence; Mathematical Logic and Formal Languages; Mathematics of Computing; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Data Structures and Information Theory; Artificial Intelligence