A duality between proof systems for cyclic term graphs.

Clemens Grabmayer

Published in: Math. Struct. Comput. Sci. (2007)

Keyphrases

case study
management system
linear programming
building blocks
complex systems
real time
data sets
neural network
genetic algorithm
database
graph model
learning systems
graph theoretic
complex structures
pairwise
similarity measure
multimedia