An Integration of CafeOBJ into Full Maude.

Published in: WRLA (2014)

Keyphrases

data integration
decision making
information systems
search algorithm
relational databases
multiresolution
software engineering
information integration
formal specification