Tree Automata as Algebras: Minimisation and Determinisation.
Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Browse the full CALCO paper archive.
Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Browse the full CALCO paper archive.