Computational complexity, bounded arithmetic and proof theory

Información del proyecto

Identificador del acuerdo de subvención: HPMF-CT-2000-00803

Fecha de inicio 1 Abril 2001

Fecha de finalización 31 Marzo 2003

Financiado con arreglo a

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

Coste total € 134 320,00

Aportación de la UE € 134 320,00

Coordinado por

VIENNA UNIVERSITY OF TECHNOLOGY
Austria

Ámbito científico

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

Programa(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)

Tema(s)

Data not available

Convocatoria de propuestas

Data not available

Régimen de financiación

RGI - Research grants (individual fellowships)

Coordinador

VIENNA UNIVERSITY OF TECHNOLOGY

• Aportación de la UE: Sin datos
• Dirección: Wiedner Hauptstrasse 8/118 ; 1040 WIEN ; Austria
• Coste total: Sin datos