Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Hierarchical Integration of Logic and Functional Paradigms: Specification, Refinement, and Implementation

De 1989-04-01 à 1991-11-30

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Germany

Objectif

Coordinateur

Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Contact administratif: Roland DIETRICH
Tél.: +49-721-66220
Fax: +49-721-6622968
E-mail

Participants

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Contact administratif: John DARLINGTON
Tél.: +44-715-895111
Fax: +44-715-818024
E-mail
KATHOLIEKE UNIVERSITEIT NIJMEGEN
Netherlands
TOERNOOIVELD, 1
6525 ED NIJMEGEN
Netherlands
See on map
Contact administratif: KOSTER
Tél.: +31-80-613411
Fax: +31-80-553450