Login / Signup
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs.
Laurent Fribourg
Published in:
ICLP/SLP (1988)
Keyphrases
</>
preserving transformations
prolog programs
logic programs
machine learning
medical images
statistical analysis
shape analysis
image sequences
image analysis
incomplete information
parameter space