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

Dora Giammarresi Antonio Restivo Sebastian Seibert Wolfgang Thomas

Published in: STACS (1994)

Keyphrases

building blocks
expert systems
databases
high level
low level
information extraction
data complexity