Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings Konstantinidis Stavros Heftet / 2013 / Engelsk
Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings Konstantinidis Stavros Heftet / 2018 / Engelsk
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings Hospodár, Michal Heftet / 2019 / Engelsk
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski Konstantinidis Stavros Innbundet / 2017 / Engelsk
