inria-00075738, version 1

Induction of open properties

Jean-Claude Raoult ^a, 1

N° RR-0813 (1988)

• a –  Université de Rennes I
• 1 :  MICAS (INRIA - IRISA)
• 
  INRIA – CNRS – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1 France

Références bibliographiques

• Type de publication : Rapports
• Domaine : Informatique/Autre
• Titre : Induction of open properties
• Résumé : Disponible dans les fichiers attachés à ce document
• Langue du document : Anglais
• Type de rapport : Rapport de recherche
• Date de publication : 1988
• Date de rédaction : 1988
• Référence interne : RR-0813

Liste des fichiers attachés à ce document :

• inria-00075738, version 1
• http://hal.inria.fr/inria-00075738
• oai:hal.inria.fr:inria-00075738
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Mercredi 24 Mai 2006, 18:55:41
• Dernière modification le : Lundi 18 Avril 2011, 11:24:26