An Equivalence Preserving First Order Unfold/fold Transformation System.

Published in: ALP (1990)

Keyphrases

higher order
decision diagrams
first order logic
stochastic dominance
databases
image details
image processing
data sets
neural network
knowledge base
decision trees
case study
linear transformation
transformation rules