Boral, Anudhyan; Schmitz, Sylvain Model-checking parse trees. (English) Zbl 1366.68165 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 153-162 (2013). Cited in 1 Document MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 03B70 Logic in computer science 68Q25 Analysis of algorithms and problem complexity 68Q42 Grammars and rewriting systems PDF BibTeX XML Cite \textit{A. Boral} and \textit{S. Schmitz}, in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 153--162 (2013; Zbl 1366.68165) Full Text: DOI