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
Published
| 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 |
Publication series
| Name | Leibniz International Proceedings in Informatics, LIPIcs |
|---|---|
| Volume | 139 |
| ISSN (Print) | 1868-8969 |
Conference
| 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 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 36024228