GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Jamin Dershowitz
URI:
https://gptkb.org/entity/Jamin_Dershowitz
GPTKB entity
Statements (15)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:University_of_Wisconsin–Madison
gptkbp:awardReceived
gptkb:Herbrand_Award
gptkbp:birthYear
1951
gptkbp:doctoralAdvisor
gptkb:Donald_W._Loveland
gptkbp:employer
gptkb:Tel_Aviv_University
gptkbp:field
gptkb:logic
computer science
https://www.w3.org/2000/01/rdf-schema#label
Jamin Dershowitz
gptkbp:knownFor
gptkb:Dershowitz–Manna_ordering
termination of rewriting
gptkbp:nationality
gptkb:American
gptkbp:occupation
gptkb:computer_scientist
gptkbp:bfsParent
gptkb:Alan_Dershowitz
gptkbp:bfsLayer
5