Underspecified Quantification by the Theory of Acyclic Recursion.

Roussanka Loukanova

Published in: PAAMS (Special Sessions) (2016)

Keyphrases

np complete
computational model
theoretical framework
np hard
integrity constraints
general theory
databases
search algorithm
theoretical basis
formal theory