Complexity, logic and recursion theory

Informacje na temat projektu

Identyfikator umowy o grant: CIPD940615

Projekt został zamknięty

Data rozpoczęcia 1 Kwietnia 1995

Data zakończenia 31 Lipca 1997

Finansowanie w ramach

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

Koszt całkowity Brak danych

Wkład UE Brak danych

Koordynowany przez

Università degli Studi di Siena
Italy

Cel

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.

Program(-y)

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

Temat(-y)

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

Zaproszenie do składania wniosków

Data not available

System finansowania

CSC - Cost-sharing contracts

Koordynator

Università degli Studi di Siena

• Wkład UE: Brak danych
• Adres: Via del Capitano 15 ; 53100 Siena ; Włochy
• Koszt całkowity: Brak danych

Uczestnicy (3)

Charles University

Czechy

• Wkład UE: Brak danych
• Adres: 25,Malostranske Namesti ; 118 00 Praha 1
• Koszt całkowity: Brak danych

Institute of Mathematics - Russian Academy of Sciences

Rosja

• Wkład UE: Brak danych
• Adres: 4,Universitetskii Prospekt ; 630090 Novosibirsk
• Koszt całkowity: Brak danych

Research Institute of Mathematics andMechanics

Rosja

• Wkład UE: Brak danych
• Adres: 17,Universitetskaja ; 420008 Kazan
• Koszt całkowity: Brak danych