Commutation, Transformation, and Termination.

Leo Bachmair Nachum Dershowitz

Published in: CADE (1986)

Keyphrases

fuzzy control
wide range
artificial neural networks
data sets
neural network
machine learning
information retrieval
genetic algorithm
computer vision
information systems
decision trees
data structure
video sequences
linear transformation
rewrite systems