On Hoare-McCarthy algebras

Jan A. Bergstra Alban Ponse

Published in: CoRR (2010)

Keyphrases

situation calculus
lower bound
learning algorithm
image processing
multiscale
clifford algebra
data sets
real world
genetic algorithm
multimedia
pattern recognition
relational databases
interval algebra
topological spaces