On Solvable Congruences in Finitely Decidable Varieties.

Matthew Valeriote

Published in: Math. Log. Q. (1994)

Keyphrases

np complete
special case
finite number
first order logic
np hard
inductive inference
case study
computational complexity
function symbols
databases
machine learning
information retrieval
artificial intelligence
transitive closure
datalog programs
computation tree logic