Complexity, logic and recursion theory

Project Information

Grant agreement ID: CIPD940615

Project closed

Start date 1 April 1995

End date 31 July 1997

Funded under

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

Total cost No data

EU contribution No data

Coordinated by

Università degli Studi di Siena
Italy

Objective

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.

Programme(s)

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

Topic(s)

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

Call for proposal

Data not available

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

Università degli Studi di Siena

• EU contribution: No data
• Address: Via del Capitano 15 ; 53100 Siena ; Italy
• Total cost: No data

Participants (3)

Charles University

Czechia

• EU contribution: No data
• Address: 25,Malostranske Namesti ; 118 00 Praha 1
• Total cost: No data

Institute of Mathematics - Russian Academy of Sciences

Russia

• EU contribution: No data
• Address: 4,Universitetskii Prospekt ; 630090 Novosibirsk
• Total cost: No data

Research Institute of Mathematics andMechanics

Russia

• EU contribution: No data
• Address: 17,Universitetskaja ; 420008 Kazan
• Total cost: No data