Statistics
Publications
1
Citations
117
H-Index
1
Active since
1978
Affiliations
Xerox (France)(Current)
Raiph L. London is an author at Xerox (France) specializing in automated reasoning, programming languages, and theorem proving.
Publications per year
1978–1978
1
1
Proof rules for the programming language Euclid
Raiph L. London, John V. Guttag, J. J. Horning et al. · Acta Informatica · 1978 · 117 citations
1–1 of 1