BibTeX record books/el/treeauto1992/Simon92

download as .bib file

@incollection{DBLP:books/el/treeauto1992/Simon92,
  author       = {I. Simon},
  editor       = {Maurice Nivat and
                  Andreas Podelski},
  title        = {A short proof of the factorization forest theorem},
  booktitle    = {Tree Automata and Languages},
  pages        = {433--438},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 05 Aug 2019 12:47:51 +0200},
  biburl       = {https://dblp.org/rec/books/el/treeauto1992/Simon92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics