DOI10.1007/978-3-319-62809-7_7zbMath1494.68137MaRDI QIDQ2408796
Joachim Niehren, Vincent Hugot, Adrien Boiret
Publication date: 13 October 2017
Full work available at URL: https://hal.inria.fr/hal-01517919/file/symbeq.pdf
Mathematics Subject Classification ID
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata