Login / Signup
The Hierarchy of terminating Recursive Programs over N.
Stanley S. Wainer
Published in:
LCC (1994)
Keyphrases
</>
recursive programs
program synthesis
logic programs
transformation rules
logic programming
domain knowledge
data structure
management system
database management systems