Chemical Rules and Term RewritingReportar como inadecuado




Chemical Rules and Term Rewriting - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PROTHEO - Constraints, automatic deduction and software properties proofs INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Abstract : In this internship report we study interesting capabilities of TOM for modelling a particular class of molecular graphs and its associated graph rewriting relation by means of term rewriting. We also present a comparison between the design and the execution of the resulting implementation in TOM and those of GasEl, the ELAN implementation of this model.





Autor: Oana Andrei -

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



DESCARGAR PDF




Documentos relacionados