Travelled to:2 × USA
Collaborated with:C.R.Murthy ∅
Talks about:construct (1) principl (1) oracliz (1) network (1) higman (1) proof (1) lemma (1) kahn (1)
Person: James R. Russell
DBLP: Russell:James_R=
Contributed to:
1990
1990Wrote 2 papers:
- LICS-1990-MurthyR #proving
- A Constructive Proof of Higman’s Lemma (CRM, JRR), pp. 257–267.
- POPL-1990-Russell #network #on the #principle
- On Oraclizable Networks and Kahn’s Principle (JRR), pp. 320–328.