Monadic second-order model-checking on decomposable matroids

Yann Strozecki. Monadic second-order model-checking on decomposable matroids. Discrete Applied Mathematics, 159(10):1022-1039, 2011. [doi]

Abstract

Abstract is missing.