Decreasing Diagrams and Relative Termination

Nao Hirokawa Aart Middeldorp

Published in: CoRR (2009)

Keyphrases

neural network
data sets
real time
databases
information retrieval
artificial intelligence
decision making
three dimensional
multiscale
computational complexity
digital libraries
expert systems
graphical representation
term rewriting