Two-Variable Logic on 2-Dimensional Structures.

Amaldev Manuel Thomas Zeume

Published in: CSL (2013)

Keyphrases

multi dimensional
proof theory
complex structures
classical logic
automated reasoning
modal logic
logic programming
logic programs
predicate logic
multi valued
real time
knowledge representation
multiscale
image sequences
database systems
social networks
databases