Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:author |
gptkb:Handbook_of_Process_Algebra
Algebraic Specification |
| gptkbp:birthDate |
1951-04-02
|
| gptkbp:birthPlace |
gptkb:Rotterdam
|
| gptkbp:doctoralAdvisor |
gptkb:L.E.J._Brouwer
|
| gptkbp:employer |
gptkb:University_of_Amsterdam
gptkb:Utrecht_University |
| gptkbp:field |
gptkb:mathematics
theoretical computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
Jan A. Bergstra
|
| gptkbp:memberOf |
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
| gptkbp:nationality |
Dutch
|
| gptkbp:notableWork |
meadow (algebra)
process algebra term rewriting |
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:bfsParent |
gptkb:Adriaan_van_Wijngaarden
|
| gptkbp:bfsLayer |
5
|