Login / Signup
Algebraic Specification through Expression Transformation.
Manuel J. Fernández Iglesias
Martín Llamas Nistal
Published in:
FORTE (1997)
Keyphrases
</>
algebraic expressions
higher order
transformation rules
real time
databases
database
artificial intelligence
image processing
clustering algorithm
multiscale
expert systems
formal specification
formal verification
data transformation
algebraic structure
fukunaga koontz