pdf-format: |
|
@InProceedings{mottet_et_al:LIPIcs:2019:10292, author = {Antoine Mottet and Karin Quaas}, title = {{The Containment Problem for Unambiguous Register Automata}}, booktitle = {36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)}, pages = {53:1--53:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-100-9}, ISSN = {1868-8969}, year = {2019}, volume = {126}, editor = {Rolf Niedermeier and Christophe Paul}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10292}, doi = {10.4230/LIPIcs.STACS.2019.53}, annote = {Keywords: Data words, Register automata, Unambiguous Automata, Containment Problem, Language Inclusion Problem} }
Keywords: | Data words, Register automata, Unambiguous Automata, Containment Problem, Language Inclusion Problem | |
Seminar: | 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) | |
Issue date: | 2019 | |
Date of publication: | 12.03.2019 |