Confluence by Decreasing Diagrams.

Vincent van Oostrom

Published in: RTA (2008)

Keyphrases

uml diagrams
neural network
genetic algorithm
graphical representation
graphical representations
real time
decision making
relational databases
belief revision
software design
update operators