Simple Second-order Languages for which Unification is Undecidable.

William M. Farmer

Published in: Theor. Comput. Sci. (1991)

Keyphrases

higher order
data sets
databases
real time
neural network
expressive power
language independent
information systems
decision trees
np hard