Rewriting in Practice

Author Ashish Tiwari



PDF
Thumbnail PDF

File

LIPIcs.RTA.2011.3.pdf
  • Filesize: 346 kB
  • 6 pages

Document Identifiers

Author Details

Ashish Tiwari

Cite AsGet BibTex

Ashish Tiwari. Rewriting in Practice. In 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 10, pp. 3-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/LIPIcs.RTA.2011.3

Abstract

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.
Keywords
  • Rewriting
  • Polynomial constraints
  • Biochemical reaction networks

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail