Locally Finite Theories.

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

Keyphrases

equational theories
cognitive psychology
database
data mining
information retrieval
relational databases
formal models
legal knowledge