Recursion induction principle revisitedReportar como inadecuado




Recursion induction principle revisited - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Gérard Boudol - Laurent Kott -

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





Documentos relacionados