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 proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 |
Editors | Markus Roggenbach, Ana Sokolova |
Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
Pages | 1-22 |
Number of pages | 22 |
ISBN (Electronic) | 9783959771207 |
DOIs | |
Publication status | Published - Jun 2019 |
Event | 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 - London, United Kingdom Duration: 3 Jun 2019 → 6 Jun 2019 |
Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 139 |
ISSN (Print) | 1868-8969 |
Conference | 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 |
---|---|
Country/Territory | United Kingdom |
City | London |
Period | 3/06/19 → 6/06/19 |
ID: 36024228