Login / Signup

Translating recursion schemes into program schemes.

Stephen J. GarlandDavid C. Luckham
Published in: Proving Assertions About Programs (1972)
Keyphrases
  • database
  • neural network
  • machine learning
  • multimedia
  • video sequences
  • search algorithm