Summary: Aachen
Department of Computer Science
Technical Report
A Dependency Pair Framework for
Innermost Complexity Analysis of
Term Rewrite Systems
Lars Noschinski, Fabian Emmes, and J¨urgen Giesl
ISSN 0935­3232 · Aachener Informatik Berichte · AIB-2011-03
RWTH Aachen · Department of Computer Science · April 2011
The publications of the Department of Computer Science of RWTH Aachen
University are in general accessible through the World Wide Web.
http://aib.informatik.rwth-aachen.de/
A Dependency Pair Framework for Innermost
Complexity Analysis of Term Rewrite Systems
Lars Noschinski1
, Fabian Emmes2
, and J¨urgen Giesl2
1
Institut f¨ur Informatik, TU Munich, Germany
2

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences