@inproceedings{TLCA-2005-AehligMO,
author = "Klaus Aehlig and Jolie G. de Miranda and C.-H. Luke Ong",
booktitle = "{Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications}",
doi = "10.1007/11417170_5",
isbn = "3-540-25593-1",
pages = "39--54",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable}",
volume = 3461,
year = 2005,
}
Tags: