Kepser, Stephan; Rogers, Jim The equivalence of tree adjoining grammars and monadic linear context-free tree grammars. (English) Zbl 1274.68151 J. Logic Lang. Inf. 20, No. 3, 361-384 (2011). Reviewer: Heribert Vollmer (Hannover) MSC: 68Q42 03C13 03D05 68Q45 91F20 PDFBibTeX XMLCite \textit{S. Kepser} and \textit{J. Rogers}, J. Logic Lang. Inf. 20, No. 3, 361--384 (2011; Zbl 1274.68151) Full Text: DOI
Tiede, Hans-Jörg; Kepser, Stephan Monadic second-order logic and transitive closure logics over trees. (English) Zbl 1262.03050 Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 189-199 (2006). MSC: 03B65 68Q19 68Q42 PDFBibTeX XMLCite \textit{H.-J. Tiede} and \textit{S. Kepser}, Electron. Notes Theor. Comput. Sci. 165, 189--199 (2006; Zbl 1262.03050) Full Text: DOI