Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations.

Bruno Courcelle

Published in: FoSSaCS (2002)

Keyphrases

higher order
data sets
search engine
image processing
real time
learning algorithm
multi agent
hidden markov models
deductive databases
differential operators