On the orthographic dimension of definable sets.

Stavros S. Cosmadakis Gabriel M. Kuper Leonid Libkin

Published in: Inf. Process. Lett. (2001)

Keyphrases

multi dimensional
first order logic
approximation spaces
d objects
answer sets
transitive closure