Travelled to:1 × The Netherlands
Collaborated with:P.Hitchcock
Talks about:termin (1) induct (1) proof (1) rule (1)
Person: David Michael Ritchie Park
DBLP: Park:David_Michael_Ritchie
Contributed to:
1972Wrote 1 papers:
- ICALP-1972-HitchcockP #induction #proving #termination
- Induction Rules and Termination Proofs (PH, DMRP), pp. 225–251.