Login / Signup

Proving Total Correctness of Recursive Procedures

Pierre AmericaFrank S. de Boer
Published in: Inf. Comput. (1990)
Keyphrases
  • high level
  • machine learning
  • website
  • database systems
  • recursive algorithm