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