Maude's module algebra.

Francisco Durán José Meseguer

Published in: Sci. Comput. Program. (2007)

Keyphrases

relational algebra
data model
query language
databases
object oriented
data sets
real world
computer vision
image processing
case study
evolutionary algorithm
normal form
real numbers
algebraic geometry
algebraic expressions
verilog hdl