Monadic Logical Definability of Nondeterministic Linear Time.

Etienne Grandjean Frédéric Olive

Published in: Comput. Complex. (1998)

Keyphrases

deductive databases
finite state
worst case
propositional logic
datalog queries
fixed point
database
finite automata
logical structure
neural network
relational databases
markov chain
truth values