Elliott Dershowitz

URI: https://gptkb.org/entity/Elliott_Dershowitz
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Wisconsin–Madison
gptkbp:awardReceived gptkb:Herbrand_Award
gptkbp:birthYear 1949
gptkbp:doctoralAdvisor gptkb:Donald_W._Loveland
gptkbp:fieldOfWork gptkb:theoretical_computer_science
gptkb:logic
automated reasoning
gptkbp:knownFor gptkb:Knuth–Bendix_completion_algorithm
term rewriting systems
termination of rewriting
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:workInstitution gptkb:Hebrew_University_of_Jerusalem
gptkb:Tel_Aviv_University
gptkbp:bfsParent gptkb:Alan_Dershowitz
gptkbp:bfsLayer 5
https://www.w3.org/2000/01/rdf-schema#label Elliott Dershowitz