Computational complexity, bounded arithmetic and proof theory

Informazioni relative al progetto

ID dell’accordo di sovvenzione: HPMF-CT-2000-00803

Data di avvio 1 Aprile 2001

Data di completamento 31 Marzo 2003

Finanziato da

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

Costo totale € 134 320,00

Contributo UE € 134 320,00

Coordinato da

VIENNA UNIVERSITY OF TECHNOLOGY
Austria

Campo scientifico

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

Programma(i)

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

Argomento(i)

Data not available

Invito a presentare proposte

Data not available

Meccanismo di finanziamento

RGI - Research grants (individual fellowships)

Coordinatore

VIENNA UNIVERSITY OF TECHNOLOGY

• Contributo UE: Nessun dato
• Indirizzo: Wiedner Hauptstrasse 8/118 ; 1040 WIEN ; Austria
• Costo totale: Nessun dato