Equational Bases for If-Then-Else.

Alan H. Mekler Evelyn Nelson

Published in: SIAM J. Comput. (1987)

Keyphrases

theorem proving
equational theories
theorem prover
computer vision
multiscale
data sets
neural network
real world
information systems
computational complexity
knowledge representation
linear combination
first order logic
basis functions