Login / Signup
On the Topological Semigroup of Equational Classes of Finite Functions Under Composition.
Jorge Almeida
Miguel Couceiro
Tamás Waldhauser
Published in:
J. Multiple Valued Log. Soft Comput. (2017)
Keyphrases
</>
equational theories
theorem proving
basis functions
closure properties
theorem prover
decision trees
multiscale
relational databases
inference rules
web service composition
topological spaces