Login / Signup
Some Equivalent Transformations of Recursive Programs Based on Their Schematic Properties.
Mark B. Trakhtenbrot
Published in:
Inf. Process. Lett. (1984)
Keyphrases
</>
recursive programs
program synthesis
transformation rules
logic programs
multi dimensional
machine learning
data structure