Published in: LIPIcs, Volume 117, 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)
Andrzej S. Murawski, Steven J. Ramsay, and Nikos Tzevelekos. Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata. In 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 117, pp. 72:1-72:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{murawski_et_al:LIPIcs.MFCS.2018.72, author = {Murawski, Andrzej S. and Ramsay, Steven J. and Tzevelekos, Nikos}, title = {{Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata}}, booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)}, pages = {72:1--72:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-086-6}, ISSN = {1868-8969}, year = {2018}, volume = {117}, editor = {Potapov, Igor and Spirakis, Paul and Worrell, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2018.72}, URN = {urn:nbn:de:0030-drops-96544}, doi = {10.4230/LIPIcs.MFCS.2018.72}, annote = {Keywords: automata over infinite alphabets, language equivalence, bisimilarity, computational group theory} }
Feedback for Dagstuhl Publishing