On two versions of the Loomis-Sikorski Theorem for algebraic structures.

Anatolij Dvurecenskij Flavia Ventriglia

Published in: Soft Comput. (2008)

Keyphrases

algebraic structures
inductive inference
partially ordered sets
digital topology
learning algorithm
cooperative
knowledge base
case study
digital libraries
multiresolution
sufficient conditions
von neumann
interactive theorem proving