On the Semigroup of Equational Classes of Finite Functions.

Jorge Almeida Miguel Couceiro Tamás Waldhauser

Published in: ISMVL (2013)

Keyphrases

equational theories
real valued functions
theorem proving
database
databases
computer vision
expert systems
upper bound
class labels
theorem prover
unit length