@inproceedings{BarloyClemente:STACS:2021,
Address = {Dagstuhl, Germany},
Annote = {Keywords: unambiguous register automata, universality and inclusion problems, multi-dimensional linear recurrence sequences},
Author = {Barloy, Corentin and Clemente, Lorenzo},
BookTitle = {Proc. of STACS'21},
Editor = {Bl\"{a}ser, Markus and Monmege, Benjamin},
File = {Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata - LIPIcs-STACS-2021-8 - u.pdf},
ISBN = {978-3-95977-180-1},
ISSN = {1868-8969},
Pages = {8:1--8:15},
Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
Title = {{Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata}},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/13653},
Volume = {187},
Year = {2021},
bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2021/13653},
bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.STACS.2021.8},
date-added = {2021-03-10 14:08:01 +0100},
date-modified = {2022-09-25 10:13:05 +0200},
urn = {urn:nbn:de:0030-drops-136533},
doi = {10.4230/LIPIcs.STACS.2021.8}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A