Login / Signup

Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.

Alan M. Frisch
Published in: ILP (1999)
Keyphrases