The Monadic Theory of Tree-like Structures

Dietmar Berwanger, Achim Blumensath. The Monadic Theory of Tree-like Structures. In Erich Grädel, Wolfgang Thomas, Thomas Wilke, editors, Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Volume 2500 of Lecture Notes in Computer Science, pages 285-302, Springer, 2001. [doi]

@inproceedings{BerwangerB01,
  title = {The Monadic Theory of Tree-like Structures},
  author = {Dietmar Berwanger and Achim Blumensath},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2500/25000285.htm},
  researchr = {https://researchr.org/publication/BerwangerB01},
  cites = {0},
  citedby = {0},
  pages = {285-302},
  booktitle = {Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]},
  editor = {Erich Grädel and Wolfgang Thomas and Thomas Wilke},
  volume = {2500},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00388-6},
}