The Monadic Second-Order Logic of Graphs X: Linear Orderings

Bruno Courcelle. The Monadic Second-Order Logic of Graphs X: Linear Orderings. Theoretical Computer Science, 160(1&2):87-143, 1996. [doi]

Abstract

Abstract is missing.