The Containment Problem for Unambiguous Register Automata

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]

Authors

Antoine Mottet

This author has not been identified. Look up 'Antoine Mottet' in Google

Karin Quaas

This author has not been identified. Look up 'Karin Quaas' in Google