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]

Possibly Related Publications

The following publications are possibly variants of this publication: