The uniqueness condition for the double pushout transformation of algebras.

Mercè Llabrés Francesc Rosselló

Published in: Inf. Sci. (2005)

Keyphrases

sufficient conditions
multiresolution
information retrieval
multimedia
linear transformation
real time
real world
artificial intelligence
knowledge base
multiscale
spatial reasoning
transformation rules
topological spaces