Proof theory and computation

Informacje na temat projektu

Identyfikator umowy o grant: SC1*0724

Projekt został zamknięty

Data rozpoczęcia 1 Listopada 1991

Data zakończenia 31 Października 1994

Finansowanie w ramach

• Programme plan (EEC) to stimulate the international cooperation and interchange needed by European research scientists (SCIENCE), 1988-1992

Koszt całkowity € 0,00

Wkład UE Brak danych

Koordynowany przez

University of Leeds
United Kingdom

Dziedzina nauki

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

Program(-y)

• FP2-SCIENCE - Programme plan (EEC) to stimulate the international cooperation and interchange needed by European research scientists (SCIENCE), 1988-1992

Temat(-y)

Data not available

Zaproszenie do składania wniosków

Data not available

System finansowania

CSC - Cost-sharing contracts

Koordynator

University of Leeds

• Wkład UE: Brak danych
• Adres: Woodhouse Lane ; LS2 9JT Leeds ; Zjednoczone Królestwo
• Koszt całkowity: Brak danych

Uczestnicy (2)

Ludwig-Maximilians-Universität München

Niemcy

• Wkład UE: Brak danych
• Adres: Theresienstraße 39 ; 80333 München
• Koszt całkowity: Brak danych

University of Oslo

Norwegia

• Wkład UE: Brak danych
• Adres: Matematikkbygningen ; 316 Oslo-Blindern
• Koszt całkowity: Brak danych