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

Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas. Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems. Inf. Comput., 125(1):32-45, 1996.

Abstract

Abstract is missing.