Tree Automata as Algebras : Minimisation and Determinisation. / van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra.

8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. ed. / Markus Roggenbach; Ana Sokolova. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. p. 1-22 6 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 139).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publication8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
EditorsMarkus Roggenbach, Ana Sokolova
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages1-22
Number of pages22
ISBN (Electronic)9783959771207
DOIs
Publication statusPublished - Jun 2019
Event8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 - London, United Kingdom
Duration: 3 Jun 20196 Jun 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume139
ISSN (Print)1868-8969

Conference

Conference8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
CountryUnited Kingdom
CityLondon
Period3/06/196/06/19
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 36024228