Conditions for the completeness of functional and algebraic equational reasoning.

Jon G. Riecke Ramesh Subrahmanyam

Published in: Math. Struct. Comput. Sci. (1999)

Keyphrases

sufficient conditions
wide range
artificial intelligence
face recognition
higher order
environmental conditions
database
real time
decision trees
database systems