文章基本信息
- 标题：Rewriting in Practice
- 本地全文：下载
- 作者：Ashish Tiwari
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2011
- 卷号：10
- 页码：3-8
- DOI：10.4230/LIPIcs.RTA.2011.3
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：We discuss applications of rewriting in three different areas: design and analysis of algorithms, theorem proving and term rewriting, and modeling and analysis of biological processes.
- 关键词：Rewriting; Polynomial constraints; Biochemical reaction networks
