Confluence by Decreasing Diagrams - Formalized.

Published in: RTA (2013)

Keyphrases

graphical representations
hand drawn
genetic algorithm
rewrite systems
database
data mining
decision making
multimedia
digital libraries
lower bound
expert systems
evolutionary algorithm
graphical representation
class diagrams