| |
| 2009 | ||
|---|---|---|
| 3 | Frank Nordemann: Aggregationsverfahren für Software-Komponenten. Informatiktage 2009: 91-94 | |
| 1994 | ||
| 2 | Peter M. W. Knijnenburg, Frank Nordemann: Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic. Mathematical Structures in Computer Science 4(2): 117-146 (1994) | |
| 1992 | ||
| 1 | Peter M. W. Knijnenburg, Frank Nordemann: A Categorical Interpretation of Partial Function Logic and Hoare Logic. LFCS 1992: 229-240 | |
| 1 | Peter M. W. Knijnenburg | [1] [2] |