id: 06027823
dt: a
an: 06027823
au: Tiwari, Ashish
ti: Rewriting in practice.
so: Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting
    techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 ‒
    June 1, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für
    Informatik (ISBN 978-3-939897-30-9). LIPICS ‒ Leibniz International
    Proceedings in Informatics 10, 3-8, electronic only (2011).
py: 2011
pu: Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik
la: EN
cc: 
ut: rewriting; polynomial constraints; biochemical reaction networks
ci: 
li: doi:10.4230/LIPIcs.RTA.2011.3
    http://subs.emis.de/LIPIcs/frontdoor_0627.html
ab: Summary: 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.
rv: