Church => Scott = Ptime: an application of resource sensitive realizability

Aloïs Brunel Kazushige Terui

Published in: DICE (2010)

Keyphrases

resource allocation
conjunctive queries
satisfiability problem
resource management
data sets
query answering
data complexity
xpath queries
machine learning
knowledge representation
management system