Transposing partial components - An exercise on coalgebraic refinement.

Luís Soares Barbosa José Nuno Oliveira

Published in: Theor. Comput. Sci. (2006)

Keyphrases

wide range
learning algorithm
three dimensional
database systems
information technology
building blocks