Confluence by Decreasing Diagrams.

Vincent van Oostrom

Published in: Theor. Comput. Sci. (1994)

Keyphrases

multiscale
rewrite systems
real world
multiresolution
databases
artificial intelligence
decision making
e learning
optimal solution
relational databases
graphical representation