A Behavioural Theory of First-Order CML.

William Ferreira Matthew Hennessy

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

Keyphrases

theoretical framework
higher order
decision trees
theoretical basis
theory revision
data mining
image processing
website
similarity measure
first order logic
logical theories