Noschinski, Lars; Emmes, Fabian; Giesl, Jürgen Analyzing innermost runtime complexity of term rewriting by dependency pairs. (English) Zbl 1314.68174 J. Autom. Reasoning 51, No. 1, 27-56 (2013). MSC: 68Q42 68Q25 PDFBibTeX XMLCite \textit{L. Noschinski} et al., J. Autom. Reasoning 51, No. 1, 27--56 (2013; Zbl 1314.68174) Full Text: DOI
Noschinski, Lars; Emmes, Fabian; Giesl, Jürgen A dependency pair framework for innermost complexity analysis of term rewrite systems. (English) Zbl 1314.68173 Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 422-438 (2011). MSC: 68Q42 68Q25 PDFBibTeX XMLCite \textit{L. Noschinski} et al., Lect. Notes Comput. Sci. 6803, 422--438 (2011; Zbl 1314.68173) Full Text: DOI