BibTeX record conf/calco/HeerdtKRS019

download as .bib file

@inproceedings{DBLP:conf/calco/HeerdtKRS019,
  author    = {Gerco van Heerdt and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {Tree Automata as Algebras: Minimisation and Determinisation},
  booktitle = {{CALCO}},
  series    = {LIPIcs},
  volume    = {139},
  pages     = {6:1--6:22},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics