dblp.uni-trier.dewww.uni-trier.de

Wolfgang Burr

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEUte 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)
3EEWolfgang 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
1EEWolfgang 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)