Correct Answers to Allowed Programs and Queries are Ground.

John C. Shepherdson

Published in: J. Log. Program. (1991)

Keyphrases

correct answers
knave ii
query language
database
query processing
response time
web pages
data structure
natural language
data sources
multi dimensional
search queries
candidate answers
recursive programs