Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems.

Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas

Browse the full STACS paper archive.