Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos. Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata. In Igor Potapov, Paul G. Spirakis, James Worrell 0001, editors, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK. Volume 117 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{MurawskiRT18, title = {Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata}, author = {Andrzej S. Murawski and Steven J. Ramsay and Nikos Tzevelekos}, year = {2018}, doi = {10.4230/LIPIcs.MFCS.2018.72}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.72}, researchr = {https://researchr.org/publication/MurawskiRT18}, cites = {0}, citedby = {0}, booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK}, editor = {Igor Potapov and Paul G. Spirakis and James Worrell 0001}, volume = {117}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-086-6}, }