Frank Nordemann

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index