Login / Signup
Proving Total Correctness of Recursive Procedures
Pierre America
Frank S. de Boer
Published in:
Inf. Comput. (1990)
Keyphrases
</>
high level
machine learning
website
database systems
recursive algorithm