A Perspective on Lindström Quantifiers and Oracles.

Iain A. Stewart

Published in: ESSLLI (1997)

Keyphrases

active learning
viewpoint
first order logic
case study
relational databases
test cases
database
real time
genetic algorithm
natural language
computational complexity