Disambiguation evidence for Dexter Kozen via surface form

"Dexter Kozen"

Triples (8)

Triples where some other subject referred to this entity as "Dexter Kozen".

Edmund M. Clarke → doctoralAdvisor →
"Dexter Kozen"
↳ resolves to Dexter Kozen
ⓘ
Zohar Manna → notableStudent →
"Dexter Kozen"
↳ resolves to Dexter Kozen
ⓘ
EATCS Award → firstRecipient →
"Dexter Kozen"
↳ resolves to Dexter Kozen
ⓘ
EATCS Award → notableRecipient →
"Dexter Kozen"
↳ resolves to Dexter Kozen
ⓘ
Dexter Kozen → name →
"Dexter Kozen"
↳ resolves to Dexter Kozen
ⓘ
Juris Hartmanis → notableStudent →
"Dexter Kozen"
↳ resolves to Dexter Kozen
ⓘ
Automata and Computability → author →
"Dexter Kozen"
↳ resolves to Dexter Kozen
ⓘ
linked to: Automata and Computability (textbook)
Automata and Computability → hasAuthor →
"Dexter Kozen"
↳ resolves to Dexter Kozen
ⓘ
linked to: Automata and Computability (textbook)