Login / Signup
Linear delay enumeration and monadic second-order logic.
Bruno Courcelle
Published in:
Discret. Appl. Math. (2009)
Keyphrases
</>
building blocks
monadic second order logic
high level
data mining
search space
expressive power