A critical pair criterion for completion modulo a congruence.

Leo Bachmair Nachum Dershowitz

Published in: EUROCAL (1987)

Keyphrases

optimization criterion
expert systems
pairwise
real world
machine learning
genetic algorithm
website
decision trees
similarity measure
special case
socio technical
error criterion