Complexity, logic and recursion theory

Projektinformationen

ID Finanzhilfevereinbarung: CIPD940615

Projekt abgeschlossen

Startdatum 1 April 1995

Enddatum 31 Juli 1997

Finanziert unter

• Scientific and technological cooperation between the European Community and European non-member countries, 1992-

Gesamtkosten Keine Daten

EU-Beitrag Keine Daten

Koordiniert durch

Università degli Studi di Siena
Italy

Ziel

THE PROPOSAL EXTENDS AND COMPLETES THE SCOPES OF THE ORIGINAL PROJECT. RELEVANT AREAS OF RESEARCH OF THIS ADDITIONAL PROPOSAL ARE: ALGORITHMIC RANDOMNESS; THE STRUCTURE OF THE N-R.E. DEGREES; RECURSIVE MODEL THEORY; THEORY OF COMPUTABLE ENUMERATIONS.

Programm/Programme

• IC-PECO/COPERNICUS - Scientific and technological cooperation between the European Community and European non-member countries, 1992-

Thema/Themen

• 0401 - CEEC participation in HUMAN CAPITAL & MOBILITY programme (NETWORKS)

Aufforderung zur Vorschlagseinreichung

Data not available

Finanzierungsplan

CSC - Cost-sharing contracts

Koordinator

Università degli Studi di Siena

• EU-Beitrag: Keine Daten
• Adresse: Via del Capitano 15 ; 53100 Siena ; Italien
• Gesamtkosten: Keine Daten

Beteiligte (3)

Charles University

Tschechien

• EU-Beitrag: Keine Daten
• Adresse: 25,Malostranske Namesti ; 118 00 Praha 1
• Gesamtkosten: Keine Daten

Institute of Mathematics - Russian Academy of Sciences

Russland

• EU-Beitrag: Keine Daten
• Adresse: 4,Universitetskii Prospekt ; 630090 Novosibirsk
• Gesamtkosten: Keine Daten

Research Institute of Mathematics andMechanics

Russland

• EU-Beitrag: Keine Daten
• Adresse: 17,Universitetskaja ; 420008 Kazan
• Gesamtkosten: Keine Daten