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 -



Related documents