Recursion induction principle revisitedReport as inadecuate




Recursion induction principle revisited - Download this document for free, or read online. Document in PDF available to download.

1 UER de Mathématiques L.I.T.P. 2 Semantique du parallelisme IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes

Résumé : Disponible dans les fichiers attachés au document





Author: Gérard Boudol - Laurent Kott -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents