gptkbp:instanceOf
|
gptkb:person
|
gptkbp:almaMater
|
gptkb:University_of_Amsterdam
|
gptkbp:birthDate
|
1951-02-02
|
gptkbp:birthPlace
|
gptkb:Rotterdam,_Netherlands
|
gptkbp:doctoralAdvisor
|
gptkb:L._E._J._Brouwer
|
gptkbp:doctoralStudent
|
gptkb:Yde_Venema
gptkb:Jan_Rutten
gptkb:Jan_Willem_Klop
gptkb:Mark_van_den_Brand
gptkb:Wan_Fokkink
gptkb:Jos_Baeten
|
gptkbp:employer
|
gptkb:University_of_Amsterdam
gptkb:Utrecht_University
|
gptkbp:field
|
gptkb:mathematics
computer science
|
gptkbp:fullName
|
gptkb:Jan_Aldert_Bergstra
|
https://www.w3.org/2000/01/rdf-schema#label
|
J. A. Bergstra
|
gptkbp:knownFor
|
process algebra
term rewriting
algebraic specification
|
gptkbp:memberOf
|
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
gptkbp:nationality
|
Dutch
|
gptkbp:occupation
|
gptkb:computer_scientist
|
gptkbp:publishedIn
|
gptkb:Process_Algebra:_Equational_Theories_of_Communicating_Processes
gptkb:Handbook_of_Process_Algebra
Algebraic Specification
|
gptkbp:bfsParent
|
gptkb:ALGOL_68
|
gptkbp:bfsLayer
|
6
|