马丁·阿文齐尼;乔治·莫瑟 Tyrolean Complexity Tool：功能和用法。 （英语） Zbl 1356.68093号 van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21，71-80（2013）。 摘要：Tyrolean Complexity Tool（简称TCT）是一个用于术语重写系统的开源复杂性分析器。我们的工具TCT具有用于自动描述重写系统多项式复杂性的大多数已知技术，并且可以研究推导和运行时复杂性，以实现完整和最内部的重写。本系统描述概述了TCT的功能，并简要介绍了TCT用法。关于整个系列，请参见[Zbl 1280.68049号]. 引用于4文件 MSC公司： 65年第68季度 算法和问题复杂性分析 68号30 软件工程的数学方面（规范、验证、度量、需求等） 2012年第68季度 语法和重写系统 关键词：程序分析;项重写;复杂性分析;自动化 软件：TCT公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Avanzini}和\textit{G.Moser}，LIPIcs——莱布尼茨国际程序。通知。21、71——80（2011年；Zbl 1356.68093） 全文： 内政部