%0 Conference Paper %1 conf/tlca/AehligMO05 %A Aehlig, Klaus %A de Miranda, Jolie G. %A Ong, C.-H. Luke %B TLCA %D 2005 %E Urzyczyn, Pawel %I Springer %K dblp %P 39-54 %T The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2005.html#AehligMO05 %V 3461 %@ 3-540-25593-1

@inproceedings{conf/tlca/AehligMO05, added-at = {2017-06-05T00:00:00.000+0200}, author = {Aehlig, Klaus and de Miranda, Jolie G. and Ong, C.-H. Luke}, biburl = {https://www.bibsonomy.org/bibtex/230d9d739fb84d497a9c9998e89875950/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2005}, editor = {Urzyczyn, Pawel}, ee = {https://doi.org/10.1007/11417170_5}, interhash = {eb6a94f0157bb50b34be32ebe1160748}, intrahash = {30d9d739fb84d497a9c9998e89875950}, isbn = {3-540-25593-1}, keywords = {dblp}, pages = {39-54}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:22:07.000+0200}, title = {The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2005.html#AehligMO05}, volume = 3461, year = 2005 }