Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Combination Framework for Complexity   In this paper we present a combination framework for polynomial complexity
analysis of term rewrite systems. The framework covers both derivational and
runtime complexity analysis. We present generalisations of powerful complexity
techniques, notably a generalisation of complexity pairs and (weak) dependency
pairs. Finally, we also present a novel technique, called dependency graph
decomposition, that in the dependency pair setting greatly increases
modularity. We employ the framework in the automated complexity tool TCT. TCT
implements a majority of the techniques found in the literature, witnessing
that our framework is general enough to capture a very brought setting.

4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
2
The categories of this paper are: math
23
The categories of this paper are: solv-int