The Church problem for expansions of (N, <) by unary predicates.

Alexander Rabinovich

Published in: Inf. Comput. (2012)

Keyphrases

pairwise
expert systems
database
horn clauses
data mining
data structure
datalog programs
monotonicity constraints