Graph structure definition using monadic second-order languages (0)

by B Courcelle
Venue:In: Proceedings of the Workshop on Finite Models and Descriptive Complexity