Computations by fly-automata beyond monadic second-order logic

Bruno Courcelle, Irène Durand. Computations by fly-automata beyond monadic second-order logic. Theoretical Computer Science, 619:32-67, 2016. [doi]

Abstract

Abstract is missing.