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

Standard

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

Harvard

van Heerdt, G, Kappé, T, Rot, J, Sammartino, M & Silva, A 2019, Tree Automata as Algebras: Minimisation and Determinisation. in M Roggenbach & A Sokolova (eds), 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019., 6, Leibniz International Proceedings in Informatics, LIPIcs, vol. 139, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 1-22, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, United Kingdom, 3/06/19. https://doi.org/10.4230/LIPIcs.CALCO.2019.6

APA

van Heerdt, G., Kappé, T., Rot, J., Sammartino, M., & Silva, A. (2019). Tree Automata as Algebras: Minimisation and Determinisation. In M. Roggenbach, & A. Sokolova (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 (pp. 1-22). [6] (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 139). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CALCO.2019.6

Vancouver

van Heerdt G, Kappé T, Rot J, Sammartino M, Silva A. Tree Automata as Algebras: Minimisation and Determinisation. In Roggenbach M, Sokolova A, editors, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2019. p. 1-22. 6. (Leibniz International Proceedings in Informatics, LIPIcs). https://doi.org/10.4230/LIPIcs.CALCO.2019.6

Author

van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan ; Sammartino, Matteo ; Silva, Alexandra. / Tree Automata as Algebras : Minimisation and Determinisation. 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. editor / Markus Roggenbach ; Ana Sokolova. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. pp. 1-22 (Leibniz International Proceedings in Informatics, LIPIcs).

BibTeX

@inproceedings{07bd8f677b5449908351de426c8c2f64,
title = "Tree Automata as Algebras: Minimisation and Determinisation",
keywords = "Algebras, Determinisation, Minimisation, Nerode equivalence, Tree automata",
author = "{van Heerdt}, Gerco and Tobias Kapp{\'e} and Jurriaan Rot and Matteo Sammartino and Alexandra Silva",
year = "2019",
month = jun,
doi = "10.4230/LIPIcs.CALCO.2019.6",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "1--22",
editor = "Markus Roggenbach and Ana Sokolova",
booktitle = "8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019",
note = "8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 ; Conference date: 03-06-2019 Through 06-06-2019",

}

RIS

TY - GEN

T1 - Tree Automata as Algebras

T2 - 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019

AU - van Heerdt, Gerco

AU - Kappé, Tobias

AU - Rot, Jurriaan

AU - Sammartino, Matteo

AU - Silva, Alexandra

PY - 2019/6

Y1 - 2019/6

KW - Algebras

KW - Determinisation

KW - Minimisation

KW - Nerode equivalence

KW - Tree automata

U2 - 10.4230/LIPIcs.CALCO.2019.6

DO - 10.4230/LIPIcs.CALCO.2019.6

M3 - Conference contribution

AN - SCOPUS:85076032534

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 1

EP - 22

BT - 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019

A2 - Roggenbach, Markus

A2 - Sokolova, Ana

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Y2 - 3 June 2019 through 6 June 2019

ER -