Soft Typing of General First-Order Languages.

H. Becht John Staples

Published in: APSEC (1995)

Keyphrases

special case
first order logic
database
data sets
databases
data mining
genetic algorithm
information systems
higher order
context free