Satisfaction for n-th Order Languages Defined in n-th Order Languages.

Published in: J. Symb. Log. (1965)

Keyphrases

database
databases
data mining
search engine
image sequences
multi agent
natural language
relational databases
expressive power