8483 articles  [english version]

inria-00075738, version 1

Induction of open properties

Jean-Claude Raoult a, 1

N° RR-0813 (1988)

Résumé : Disponible dans les fichiers attachés à ce document

  • a –  Université de Rennes I
  • 1 :  MICAS (INRIA - IRISA)
  • INRIA – CNRS – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
  • Domaine : Informatique/Autre
  • Référence interne : RR-0813
 
  • 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