Publications
On the Equivalence of Automata for KAT-expressions
Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings | 2014 | inproceedings
Publication
Year of publication: 2014
Volume : 8493
Pages : 73-83
Month :
CMUP publication : Yes