Monotone interpretationsReportar como inadecuado




Monotone interpretations - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CARTE - Theoretical adverse computations, and safety Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

Résumé : Nous considérons une nouvelle classe d-interprétation des systèmes de réécriture. Nous montrons qu-elle bénéficie de bonne propriété intentionnelles.





Autor: Guillaume Bonfante -

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



DESCARGAR PDF




Documentos relacionados