1
0
0
(1 - 22 von 22
)
Prof. Dr. Wilfried Buchholz - LMU
www.mathematik.uni-muenchen.de
Prof. Dr. Wilfried Buchholz. Geb in Berlin, Promotion in München, Habilitation in München, seit Professor am Mathematischen Institut. Arbeitsfeld. Auswahl aktueller Veröffentlichungen. Wissenschaftliche Herausgebertätigkeit. Gastdozenten.
Elementary arithmetic - ScienceDirect
www.sciencedirect.com
The authors are much indebted to Wilfried Buchholz for his many helpful criticisms of earlier drafts. View full text. Copyright © Elsevier B.V. All rights ...
dblp: Wilfried Buchholz
dblp1.uni-trier.de
List of computer science publications by Wilfried Buchholz
Wilfried Buchholz
www.mathematik.uni-muenchen.de
Another reduction of classical IDnu to constructive IDnu^i , (to appear in the Pohlers-Festschrift) Preliminary version A term calculus for (co-)recursive ...
+2 - Fachbereich Mathematik und Informatik - Universität Münster
www.uni-muenster.de
17:20h M3: Kolloquium FB10 und Sondervorträge Wilfried Buchholz (München): " (Co)recursion and notations for infinitary derivations" 18:00h SFB: Sonstige ...
dblp: Archive for Mathematical Logic, Volume 37
dblp.uni-trier.de
Bibliographic content of Archive for Mathematical Logic, Volume 37
Mathematische Logik - Department Mathematik - LMU München
www.mathematik.uni-muenchen.de
Prof. Dr. Wilfried Buchholz Prof. Dr. Hans-Dieter Donder Prof. Dr. Horst Osswald Prof. Dr. Helmut Schwichtenberg
PohlersFest 2008
ivv5hpp.uni-muenster.de
Pictures taken at the PohlersFest Solomon Feferman (Stanford) ... Wilfried Buchholz (Munich) (Co)recursion and notations for infinitary derivations.
dblp: Annals of Pure and Applied Logic, Volume 136
dblp.uni-trier.de
Bibliographic content of Annals of Pure and Applied Logic, Volume 136
WWU Logic Institute: PohlersFest 2008
ivv5hpp.uni-muenster.de
PohlersFest at the : :00 Wilfried Buchholz (München), "(Co)recursion and notations for infinitary derivations." Friday, July 18, 08.
dblp: Mathematical Logic Quarterly, Volume 47
dblp.uni-trier.de
Bibliographic content of Mathematical Logic Quarterly, Volume 47
Kolloquium des Mathematischen Instituts
www.mathematik.uni-muenchen.de
Geburtstages von Prof. Wilfried Buchholz ... (Ruhr-Universität Bochum), Endliche Symmetriegruppen in der komplexen Geometrie, Prof. Siedentop
Archiv
www.uni-muenster.de
, Markus Szymik, Bochum: "Stufen zwischen I'R und C"; "Topolgogie , Wilfried Buchholz (München): "(Co)recursion and notations for ...
dblp: 5. KGC 1997: Vienna, Austria
dblp.uni-trier.de
Bibliographic content of 5. KGC 1997: Vienna, Austria
Verwandte Suchanfragen zu Wilfried Buchholz
Ulrich Berger Dietmar Langes Günter Tenbreul | Michael Ratajczak Sophie Blersch Thomas Gadow | Thomas Niggemeier |
Person "Buchholz" (30) Vorname "Wilfried" (14119) Name "Buchholz" (3020) |
sortiert nach Relevanz / Datum