Is First Order Contained in an Initial Segment of PTIME?

Alexei P. Stolboushkin Michael A. Taitslin

Published in: CSL (1994)

Keyphrases

first order logic
higher order
multiscale
satisfiability problem
neural network
data mining
information retrieval
image segmentation
data complexity
xpath queries