Sulla computazione di funzioni ricorsive

DOI10.1007/BF02575635zbMath0282.68024MaRDI QIDQ1844080

G. De Michelis

Publication date: 1974

Published in: Calcolo (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Inductive methods for proving properties of programs
• Unnamed Item

This page was built for publication: Sulla computazione di funzioni ricorsive