Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

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

Desde 1989-04-01 hasta 1991-11-30

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

Germany

Objetivo

Coordinador

Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Contacto administrativo: Roland DIETRICH
Tel.: +49-721-66220
Fax: +49-721-6622968
Correo electrónico

Participantes

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Contacto administrativo: John DARLINGTON
Tel.: +44-715-895111
Fax: +44-715-818024
Correo electrónico
KATHOLIEKE UNIVERSITEIT NIJMEGEN
Netherlands
TOERNOOIVELD, 1
6525 ED NIJMEGEN
Netherlands
See on map
Contacto administrativo: KOSTER
Tel.: +31-80-613411
Fax: +31-80-553450
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba