Kazana, Wojciech; Segoufin, Luc Enumeration of monadic second-order queries on trees. (English) Zbl 1353.68068 ACM Trans. Comput. Log. 14, No. 4, Article No. 25, 12 p. (2013). Cited in 17 Documents MSC: 68P15 Database theory 03B15 Higher-order logic; type theory (MSC2010) 03B70 Logic in computer science 68Q25 Analysis of algorithms and problem complexity 68R05 Combinatorics in computer science Keywords:monadic second-order logic; bounded tree-width; enumeration Citations:Zbl 1225.68268; Zbl 1171.03325 PDFBibTeX XMLCite \textit{W. Kazana} and \textit{L. Segoufin}, ACM Trans. Comput. Log. 14, No. 4, Article No. 25, 12 p. (2013; Zbl 1353.68068) Full Text: DOI Link