Symbolic Equivalence Checking.

Jean-Claude Fernandez Alain Kerbrat Laurent Mounier

Published in: CAV (1993)

Keyphrases

symbolic representation
consistency checking
database
data sets
neural learning
high level
intermediate level
equivalence relation
connectionist learning
symbolic data
logic programs
expert systems
reinforcement learning
multiscale
computer vision
data mining
neural network