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, Jiri (Springer Nature, 2017)
Keywords: Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Computer programming, programs, data; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques