Login / Signup
On Existentially First-Order Definable Languages and their Relation to NP
Bernd Borchert
Dietrich Kuske
Frank Stephan
Published in:
Electron. Colloquium Comput. Complex. (1997)
Keyphrases
</>
first order logic
expressive power
databases
computational complexity
np complete
action theories
inference rules
answer sets
language independent
query translation
multi lingual
standard model