Chemical Rules and Term RewritingReport as inadecuate




Chemical Rules and Term Rewriting - Download this document for free, or read online. Document in PDF available to download.

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.





Author: Oana Andrei -

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



DOWNLOAD PDF




Related documents