Proving Nonreachability by Modulo-Invariants.

Jörg Desel Klaus-Peter Neuendorf M.-D. Radola

Published in: Theor. Comput. Sci. (1996)

Keyphrases

affine invariant
geometric invariants
quasi invariant
similarity measure
data mining
genetic algorithm
artificial intelligence
metadata
pattern recognition
expert systems
term rewrite systems