文章基本信息

标题：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