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