Document Open Access Logo

Tyrolean Complexity Tool: Features and Usage

Authors Martin Avanzini, Georg Moser

Thumbnail PDF


  • Filesize: 2.5 MB
  • 10 pages

Document Identifiers

Author Details

Martin Avanzini
Georg Moser

Cite AsGet BibTex

Martin Avanzini and Georg Moser. Tyrolean Complexity Tool: Features and Usage. In 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 21, pp. 71-80, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)


The Tyrolean Complexity Tool, TCT for short, is an open source complexity analyser for term rewrite systems. Our tool TCT features a majority of the known techniques for the automated characterisation of polynomial complexity of rewrite systems and can investigate derivational and runtime complexity, for full and innermost rewriting. This system description outlines features and provides a short introduction to the usage of TCT.
  • program analysis
  • term rewriting
  • complexity analysis
  • automation


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

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail