Layer Systems for Proving Confluence.

Bertram Felgenhauer Aart Middeldorp Harald Zankl Vincent van Oostrom

Published in: CoRR (2014)

Keyphrases

management system
real time
data sets
genetic algorithm
single layer
case study
multiscale
relational databases
mobile devices
software engineering
computer systems
knowledge based systems