VMTL-A Modular Termination Laboratory.

Felix Schernhammer Bernhard Gramlich

Published in: RTA (2009)

Keyphrases

modular structure
term rewriting
modular neural networks
data sets
neural network
machine learning
image processing
active rules
rewrite systems
modular neural network