KnapikNU01'

BibTeX

@inproceedings{DBLP:conf/tlca/KnapikNU01,
  author    = {Teodor Knapik and
               Damian Niwinski and
               Pawel Urzyczyn},
  title     = {Deciding Monadic Theories of Hyperalgebraic Trees},
  booktitle = {TLCA},
  year      = {2001},
  pages     = {253-267},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2044/20440253.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}