{\vec Z}C(2)^2-lattices is decidable.

Stefano Baratella Carlo Toffalori

Published in: Arch. Math. Log. (1998)

Keyphrases

first order logic
transitive closure
datalog programs
polynomial hierarchy
concept lattice
data sets
database
website
database systems
linear time temporal logic