28620 articles – 22133 references  [version française]

inria-00075738, version 1

Induction of open properties

Jean-Claude Raoult a, 1

N° RR-0813 (1988)

Abstract: 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
  • Domain : Computer Science/Other
  • Internal note : RR-0813
 
  • inria-00075738, version 1
  • http://hal.inria.fr/inria-00075738
  • oai:hal.inria.fr:inria-00075738
  • From: Rapport De Recherche Inria <>
  • Submitted on: Wednesday, 24 May 2006 18:55:41
  • Updated on: Monday, 18 April 2011 11:24:26