Skip to Main content Skip to Navigation
Reports

Chemical Rules and Term Rewriting

Oana Andrei 1
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.
Document type :
Reports
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000988
Contributor : Oana Andrei <>
Submitted on : Tuesday, January 10, 2006 - 5:36:46 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
Long-term archiving on: : Saturday, April 3, 2010 - 7:27:36 PM

Identifiers

  • HAL Id : inria-00000988, version 1

Collections

Citation

Oana Andrei. Chemical Rules and Term Rewriting. [Internship report] 2005, pp.55. ⟨inria-00000988⟩

Share

Metrics

Record views

200

Files downloads

180