Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:affiliation |
gptkb:Eindhoven_University_of_Technology
gptkb:Vrije_Universiteit_Amsterdam |
| gptkbp:field |
formal methods
theoretical computer science process algebra |
| gptkbp:fullName |
Cornelis Adrianus Middelburg
|
| https://www.w3.org/2000/01/rdf-schema#label |
C.A. Middelburg
|
| gptkbp:nationality |
Dutch
|
| gptkbp:notableWork |
work on formal specification languages
work on process algebra |
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:bfsParent |
gptkb:J.A._Bergstra
|
| gptkbp:bfsLayer |
8
|