Equality-Test and If-Then-Else Algebras: Axiomatization and Specification.

Published in: SIAM J. Comput. (1991)

Keyphrases

formal methods
database
statistical tests
clifford algebra
real time
databases
neural network
decision trees
description logics
logic programs
test cases
spatial reasoning
test case generation