Login / Signup
Polynomial Constants Are Decidable.
Markus Müller-Olm
Helmut Seidl
Published in:
SAS (2002)
Keyphrases
</>
polynomial hierarchy
first order logic
data sets
transitive closure
neural network
higher order
databases
multiscale
data structure
low order
dnf formulas