Descriptional complexity of formal systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
作者:edited by Stavros Konstantinidis, Giovanni Pighizzini.
出版者:Springer International Publishing : Imprint: Springer