Tree Automata as Algebras: Minimisation and Determinisation

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra

Journal title: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom

Journal number: 139

Journal publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Published year: 2019

Published pages: 6:1--6:22

DOI identifier: 10.4230/LIPIcs.CALCO.2019.6