Higher type recursion, ramification and polynomial time.

Stephen J. Bellantoni Karl-Heinz Niggl Helmut Schwichtenberg

Published in: Ann. Pure Appl. Log. (2000)

Keyphrases

complex objects
machine learning
special case
query language
data sets
databases
information retrieval
information systems
data structure
worst case
deductive databases
multiple types
transitive closure