@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}
}

@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 badge