Computational complexity, bounded arithmetic and proof theory

Informations projet

N° de convention de subvention: HPMF-CT-2000-00803

Date de début 1 Avril 2001

Date de fin 31 Mars 2003

Financé au titre de

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

Coût total € 134 320,00

Contribution de l’UE € 134 320,00

Coordonné par

VIENNA UNIVERSITY OF TECHNOLOGY
Austria

Champ scientifique

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

Programme(s)

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

Thème(s)

Data not available

Appel à propositions

Data not available

Régime de financement

RGI - Research grants (individual fellowships)

Coordinateur

VIENNA UNIVERSITY OF TECHNOLOGY

• Contribution de l’UE: Aucune donnée
• Adresse: Wiedner Hauptstrasse 8/118 ; 1040 WIEN ; Autriche
• Coût total: Aucune donnée