Languages for Defining Sets in Arbitrary Algebras

Published in: SWAT (1971)

Keyphrases

topological spaces
expressive power
language independent
databases
data mining
expert systems
definite clause
decision trees
temporal reasoning
target language
grammatical inference