A Homomorphism Theorem for Finite Semigroups.

Published in: Math. Syst. Theory (1967)

Keyphrases

finite number
database
information retrieval
multi dimensional
information systems
feature selection
database systems
finite automata
unit length
interactive theorem proving