Wolfgang Burr

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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 S₁\Sigma_1-definable functions of KPw+ (uniform AC)KP\omega + (uniform\; AC). Arch. Math. Log. 37(3): 199-214 (1998)

	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 S₁\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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page