Wolfgang Burr

	2008
5		Ute Reuter, Sandra Zeugner, Wolfgang Burr: Methodische Unterstützung von Standortentscheidungen - Entwicklung, Implementierung und Evaluation. Multikonferenz Wirtschaftsinformatik 2008
	2000
4		Wolfgang Burr: Functional interpretation of Aczel's constructive set theory. Ann. Pure Appl. Logic 104(1-3): 31-73 (2000)
3		Wolfgang Burr: A Diller-Nahm-style functional interpretation of KP w\hbox{\sf KP} \omega. Arch. Math. Log. 39(8): 599-604 (2000)
2		Wolfgang Burr: Fragments of Heyting Arithmetic. J. Symb. Log. 65(3): 1223-1240 (2000)
	1998
1		Wolfgang Burr, Volker Hartung: A characterization of the S1\Sigma_1-definable functions of KPw+ (uniform AC)KP\omega + (uniform\; AC). Arch. Math. Log. 37(3): 199-214 (1998)

Coauthor Index

1	Volker Hartung	[1]
2	Ute Reuter	[5]
3	Sandra Zeugner	[5]

Colors in the list of coauthors