Abstract Syntax and Variable Binding.

Marcelo P. Fiore Gordon D. Plotkin Daniele Turi

Published in: LICS (1999)

Keyphrases

high level
neural network
search engine
low level
database
real time
machine learning
constraint satisfaction problems
precisely defined