Computational complexity, bounded arithmetic and proof theory

Projektinformationen

ID Finanzhilfevereinbarung: HPMF-CT-2000-00803

Startdatum 1 April 2001

Enddatum 31 März 2003

Finanziert unter

• Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Gesamtkosten € 134 320,00

EU-Beitrag € 134 320,00

Koordiniert durch

VIENNA UNIVERSITY OF TECHNOLOGY
Austria

Wissenschaftliches Gebiet

• natural sciences › mathematics › pure mathematics › discrete mathematics › mathematical logic
• natural sciences › mathematics › pure mathematics › arithmetics

Programm/Programme

• FP5-HUMAN POTENTIAL - Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Thema/Themen

Data not available

Aufforderung zur Vorschlagseinreichung

Data not available

Finanzierungsplan

RGI - Research grants (individual fellowships)

Koordinator

VIENNA UNIVERSITY OF TECHNOLOGY

• EU-Beitrag: Keine Daten
• Adresse: Wiedner Hauptstrasse 8/118 ; 1040 WIEN ; Österreich
• Gesamtkosten: Keine Daten