Concepedia
Statistics
Publications
1
Citations
101
H-Index
Active since
1972
David Michael Ritchie Park is an author specializing in induction principles, inductive proofs, and mathematical induction.
Publications per year
1972–1972
Induction Rules and Termination Proofs.
Peter B. Hitchcock, David Michael Ritchie Park · International Colloquium on Automata, Languages and Programming · 1972 · 101 citations
Computing, Computer Science, Algorithms +9
1–1 of 1