Concepedia

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

Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas

Information and Computation · 1996 · 97 citations · 0 references

DOI

Concepts