Login / Signup
An Note on the Number of Monadic Quantifiers in Monadic Sigma^1_1.
Martin Otto
Published in:
Inf. Process. Lett. (1995)
Keyphrases
</>
small number
real time
data sets
datalog queries
maximum number
machine learning
information systems
image sequences
multi agent
memory requirements
deductive databases
computational effort
fixed number
datalog programs