Robuta

https://arxiv.org/abs/2101.01033
Abstract page for arXiv paper 2101.01033: Bidimensional linear recursive sequences and universality of unambiguous register automata
linear recursive sequencesuniversalityunambiguous