From chemical rules to term rewriting

Electronic Notes in Theoretical Computer Science

Volumn 147, Issue 1, 2006, Pages 113-134

  Bournez, Olivier ^a   Ibǎnescu, Liliana ^a   Kirchner, Hélène ^a  

^a LORIA   (France)

Author keywords

Automated generation of chemical reaction mechanisms; Cyclic labeled graph; Rule based programming; Strategy language; Term and graph rewriting

Indexed keywords

COMPUTER SCIENCE; COMPUTER SIMULATION; LOGIC PROGRAMMING; REACTION KINETICS; TREES (MATHEMATICS);

AUTOMATED GENERATION OF CHEMICAL REACTION MECHANISMS; CYCLIC LABELED GRAPH; STRATEGY LANGUAGE; TERM AND GRAPH REWRITING;

PROGRAMMING THEORY;

EID: 30844450082     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.06.040     Document Type: Conference Paper

References (23)

1. Marvin: A tool for Molecule Drawing and Visualization http://www.chemaxon.com/marvin/
2. Franz Baader, and Tobias Nipkow Term Rewriting and all That 1998 Cambridge University Press
3. Michel Bauderon, and Bruno Courcelle Graph expressions and graph rewriting Math. Systems Theory 20 1987 83 127
4. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. An Overview of ELAN. In Claude Kirchner and Hélène Kirchner, editors, Proceedings of the Second International Workshop on Rewriting Logic and Applications, volume 15, http://www.elsevier.nl/locate/entcs/volume15.html, Pont-à-Mousson (France), September 1998. Electronic Notes in Theoretical Computer Science. Rapport LORIA 98-R-316
5. Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, and Liliana Ibǎnescu A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms Robert Nieuwenhuis, editor, Proceedings of the 14th International Conference on Rewriting Techniques and Applications RTA 2003, Valencia, Spain, June 9-11, 2003 Lecture Notes in Computer Science volume 2706 2003 Springer 30 45
6. Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, and Liliana Ibǎnescu Automated Generation of Kinetic Chemical Mechanisms Using Rewriting P.M.A. Sloot D. Abramson A.V. Bogdanov J.J. Dongarra A.Y. Zomaya Y.E. Gorbachev Proceedings of the International Conference on Computational Science ICCS 2003, Melbourne, Australia, June 2-4, 2003, Part III Lecture Notes in Computer Science volume 2659 2003 Springer 367 376
7. Guy-Marie Côme Gas-Phase Thermal Reactions. Chemical Engineering Kinetics 2001 Kluwer Academic Publishers
8. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein Introduction to Algorithms second edition 2001 MIT Press and McGraw-Hill Book Company
9. Andrea Corradini, and Ugo Montanari An algebra of graphs and graph rewriting David H. Pitt Pierre-Louis Curien Samson Abramsky Andrew M. Pitts Axel Poigné David E. Rydeheard Category Theory and Computer Science Lecture Notes in Computer Science volume 530 1991 Springer 236 260
10. Andrea Corradini, and Francesca Rossi Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming Theor. Comput. Sci. 109 1-2 1993 7 48
11. Frank Drewes, Hans-Jörg Kreowski, and Annegret Habel Hyperedge replacement, graph grammars Grzegorz Rozenberg Handbook of Graph Grammars 1997 World Scientific 95 162
12. James Dugundji, and Ivar Ugi An Algebraic Model of Constitutional Chemistry as a Basis for Chemical Computer Programs Topics in Current Chemistry 39 1973 19 64
13. P. Fradet, and D. Le Métayer Structured gamma Science of Computer Programming 31 2-3 1998 263 289
14. Annegret Habel Hyperedge Replacement: Grammars and Languages Lecture Notes in Computer Science volume 643 1992 Springer
15. Liliana Ibanescu. Programmation par règles et stratégies pour la génération automatique de mécanismes de combustion d'hydrocarbures polycycliques. Thèse de Doctorat d'Université, Institut National Polytechnique de Lorraine, Nancy, France, June 2004. http://www.loria.fr/~ibanescu/these_en.html
16. Hélène Kirchner, and Pierre-Etienne Moreau Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories Journal of Functional Programming 11 2 2001 207 251
17. J.W. Klop Term Rewriting Systems S. Abramsky D. Gabbay T. Maibaum Handbook of Logic in Computer Science, volume 1 1990 Oxford University Press chapter 6
18. Patrick Lincoln, Narciso Martí-Oliet, and José Meseguer Specification, transformation, and programming of concurrent systems in rewriting logic G. Blelloch K. Chandy S. Jagannathan Specification of Parallel Algorithms DIMACS Series volume 18 1994 American Mathematical Society 309 339
19. José Meseguer Research directions in rewriting logic Computational Logic Lecture Notes in Computer Science volume 165 1997 Springer-Verlag Marktoberdorf, Germany, NATO Advanced Study Institute
20. Pierre-Etienne Moreau, and Hélène Kirchner A Compiler for Rewrite Programs in Associative-Commutative Theories Catuscia Palamidessi Hugh Glaser Karl Meinke Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, Proceedings ALP'98, Pisa, Italy, September 16-18, 1998 Lecture Notes in Computer Science volume 1490 1998 Springer 230 249
21. Jean-Claude Raoult, and Frédéric Voisin Set-Theoretic Graph Rewriting Proceedings of the International Workshop on Graph Transformations in Computer Science Lecture Notes in Computer Science 1993 312 325
22. Alison S. Tomlin, Tamás Turányi, and Michael J. Pilling Mathematical Tools for the Construction, Investigation and Reduction of Combustion Mechanisms Comprehensive Chemical Kinetics volume 35 1997 Elsevier Amsterdam 293 437 chapter 4
23. David Weininger SMILES - A Language for Molecules and Reactions Johann Gasteiger Handbook of Chemoinformatics. From Data to Knowledge 2003 Wiley-VCH 80 102