Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings - Mousavi, Mohammad Reza.; Sgall, Jiří.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Computers; Algorithms; Mathematical logic; Computer logic; Computer programming; Programming languages (Electronic computers).; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters