Making Variables Abstract: An Equational Theory for Russell.

Alan J. Demers James E. Donahue

Published in: POPL (1983)

Keyphrases

theoretical basis
theoretical framework
equational theories
variable selection
high level
real world
general theory
fuzzy variable
high dimensional
low level
computational model
random variables
website
theorem prover
theorem proving
belief functions
computer vision
genetic algorithm