Antoine Mottet, Karin Quaas. The Containment Problem for Unambiguous Register Automata. In Rolf Niedermeier, Christophe Paul, editors, 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019, March 13-16, 2019, Berlin, Germany. Volume 126 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
@inproceedings{MottetQ19, title = {The Containment Problem for Unambiguous Register Automata}, author = {Antoine Mottet and Karin Quaas}, year = {2019}, doi = {10.4230/LIPIcs.STACS.2019.53}, url = {https://doi.org/10.4230/LIPIcs.STACS.2019.53}, researchr = {https://researchr.org/publication/MottetQ19}, cites = {0}, citedby = {0}, booktitle = {36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019, March 13-16, 2019, Berlin, Germany}, editor = {Rolf Niedermeier and Christophe Paul}, volume = {126}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-100-9}, }