A New Approach to Abstract Syntax with Variable Binding.

Murdoch Gabbay Andrew M. Pitts

Published in: Formal Aspects Comput. (2002)

Keyphrases

hidden markov models
high level
image processing
website
real time
data mining
artificial neural networks
databases
computer vision
information systems
multiscale
natural language
relational databases
higher level