
...abstract. the dependency pair technique [1, 11, 12] is...by wellfounded orders. we improve the dependency pair technique by considerably reducing the...

...monotonic wellfounded orders. we improve the dependency pair approach by considerably reducing the...techniques to manipulate depen dency pairs which simplify (innermost) termination proofs significantly. in order to fully automate the dependency pair approach, we show how transformation...

...the dependency pair technique (1, 11, 12) is...by wellfounded orders. we improve the dependency pair technique by considerably reducing the...

...giesl introduced the notion of dependency pairs, which gives eective methods for...essential for the extension of dependency pairs to actrss. based on this analogy, we define acdependency pairs. to simplify the task of...
Published in 2000.

...contextsensitive dependency pairs (csdps) are currently the...

...as recursive path orders or dependency pairs). it turns out that the...analysis for the depen dency pair approach. while the sizechange principle is pspacecomplete, we prove that the dependency pair approach (in combination with classical...

...the dependency pair approach is one of the...we show that surprisingly, the dependency pair approach for termination can be improved by only generating the same...

...the notion of contextsensitive dependency pair (csdp) is dierent from the standard one in that collapsing de pendency pairs (i.e., rules whose right...a recent proposal removes collapsing pairs by transforming them into sets of new (standard) pairs. in this way, though, the complexity of the obtained dependency graph is heavily increased and...

...corresponding notion of contextsensitive dependency pair (csdp) is different from the standard one in that collapsing pairs (i.e., rules whose right...a recent proposal removes collapsing pairs by transforming them into sets of new (standard) pairs.
in this way, though, the role of collapsing pairs for modeling contextsensitive computations...
Published in 2010.

...adaptation to csr of the dependency pair approach, one of the most...some new notions like collapsing dependency pairs, which are specific for csr. in this paper, we develop the notion of contextsensitive dependency pair (csdp) and show how to...