GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Jan Bergstra
URI:
https://gptkb.org/entity/Jan_Bergstra
GPTKB entity
Statements (19)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:birthDate
1951-04-02
gptkbp:birthPlace
gptkb:Rotterdam
gptkbp:doctoralAdvisor
gptkb:L.E.J._Brouwer
gptkbp:doctoralStudent
gptkb:Jos_Baeten
gptkb:Yuri_Gurevich
gptkbp:employer
gptkb:University_of_Amsterdam
gptkbp:hasPhD
gptkb:Utrecht_University
https://www.w3.org/2000/01/rdf-schema#label
Jan Bergstra
gptkbp:knownFor
meadow (algebra)
process algebra
term rewriting
gptkbp:memberOf
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality
Dutch
gptkbp:occupation
gptkb:computer_scientist
gptkb:mathematician
gptkbp:position
gptkb:professor
gptkbp:bfsParent
gptkb:J._W._de_Bakker
gptkbp:bfsLayer
7