Disambiguation evidence for Tony Hoare via surface form

"C. A. R. Hoare"

Triples (6)

Triples where some other subject referred to this entity as "C. A. R. Hoare".

CSP (Communicating Sequential Processes) → creator →
"C. A. R. Hoare"
↳ resolves to Tony Hoare
ⓘ
Hoare logic → namedAfter →
"C. A. R. Hoare"
↳ resolves to Tony Hoare
ⓘ
Hoare logic → introducedBy →
"C. A. R. Hoare"
↳ resolves to Tony Hoare
ⓘ
Algol W → designedBy →
"C. A. R. Hoare"
↳ resolves to Tony Hoare
ⓘ
An Axiomatic Basis for Computer Programming → author →
"C. A. R. Hoare"
↳ resolves to Tony Hoare
ⓘ
Hoare partition scheme → introducedBy →
"C. A. R. Hoare"
↳ resolves to Tony Hoare
ⓘ