The finiteness of synchronous, tabled picture languages is decidable.

Published in: Theor. Comput. Sci. (2006)

Keyphrases

picture languages
function symbols
iso picture languages
first order logic
logic programs
answer set programming
asynchronous communication
real world
datalog programs
data sets
information systems
data exchange
normal form
polynomial hierarchy