Login / Signup

Recursive definitions of partial functions and their computations.

J. M. CadiouZohar Manna
Published in: Proving Assertions About Programs (1972)
Keyphrases
  • recursive functions
  • real time
  • real world
  • social networks
  • multiscale
  • datalog programs