Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Logic programme synthesis and transformation

Von 1993-12-01 bis 1996-11-30

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

Nicht verfügbar

Koordiniert in:

Belgium

Thema(en):

Finanzierungsprogramm:

CSC - Cost-sharing contracts

Koordinator

Katholieke Universiteit Leuven
Belgium
200 A,Celestijnenlaan
3001 Heverlee
Belgium
See on map

Teilnehmer

Centre National de la Recherche Scientifique (CNRS)
France
Université Lille 1
59655 Villeneuve-d'Ascq
France
See on map
DARMSTADT UNIVERSITY OF TECHNOLOGY
Germany
Karolinenplatz 5
DARMSTADT
Germany
See on map
Facultés Universitaires Notre-Dame dela Paix de Namur
Belgium
21,Rue Grandgagnage
5000 Namur
Belgium
See on map
Linköping University
Sweden
29,Valla,
581 83 Linköping
Sweden
See on map
National Technical University of Athens
Greece
9,Iroon Polytechniou
15773 Athens
Greece
Norges Teknisk-Naturvitenskapelige Universitet
Norway
7034 Trondheim
Norway
See on map
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
Via Belzoni 7
35131 PADOVA
Italy
See on map
University of Bristol
United Kingdom
University Walk
BS8 ITR Bristol
United Kingdom
See on map
University of Edinburgh
United Kingdom
5 Forrest Hill
EH1 2QL Edinburgh
United Kingdom
See on map
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Università degli Studi di Roma 'Tor Vergata'
Italy
Via della Ricerca Scientifica
00133 Roma
Italy
See on map
Universität Zürich
Switzerland
190,Winterthurerstrasse 190
8057 Zürich - Irchel
Switzerland
See on map
Université Catholique de Louvain
Belgium
2,Place Sainte-Barbe
1348 Louvain-la-Neuve
Belgium
See on map
Uppsala University
Sweden
1,Polacksbacken
751 05 Uppsala
Sweden
See on map
École Normale Supérieure
France
45 rue d'Ulm
75230 Paris
France
See on map
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben