On the Axiomatization of "If-Then-Else".

Irène Guessarian José Meseguer

Published in: SIAM J. Comput. (1987)

Keyphrases

situation calculus
general theory
complete axiomatization
database systems
pattern recognition
expert systems
knn
principal component analysis