×

Enumeration of monadic second-order queries on trees. (English) Zbl 1353.68068


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
PDFBibTeX XMLCite
Full Text: DOI Link