Equational description of pseudovarieties of homomorphisms.

Published in: RAIRO Theor. Informatics Appl. (2003)

Keyphrases

theorem proving
high level
multiresolution
databases
database
real time
genetic algorithm
computer vision
decision making
data structure
learning environment