Polynomial Constants are Decidable

Markus Müller-Olm Helmut Seidl

Published in: Universität Trier, Mathematik/Informatik, Forschungsbericht (2002)

Keyphrases

polynomial hierarchy
low order
database
first order logic
real time
databases
information retrieval
artificial intelligence
special case
high order
transitive closure