Algebraic simulations.

José Meseguer Miguel Palomino Narciso Martí-Oliet

Published in: J. Log. Algebraic Methods Program. (2010)

Keyphrases

data structure
higher order
numerical simulations
information systems
multiscale
object recognition
simulation models
algebraic structure