Decidability of Monadic Theories.

Alexei L. Semenov

Published in: MFCS (1984)

Keyphrases

deductive databases
datalog queries
query answering
query containment
datalog programs
description logics
real time
type checking
data sets
fuzzy logic
theoretical framework
computational models