Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Labelings for Decreasing Diagrams   This article is concerned with automating the decreasing diagrams technique
of van Oostrom for establishing confluence of term rewrite systems. We study
abstract criteria that allow to lexicographically combine labelings to show
local diagrams decreasing. This approach has two immediate benefits. First, it
allows to use labelings for linear rewrite systems also for left-linear ones,
provided some mild conditions are satisfied. Second, it admits an incremental
method for proving confluence which subsumes recent developments in automating
decreasing diagrams. The techniques proposed in the article have been
implemented and experimental results demonstrate how, e.g., the rule labeling
benefits from our contributions.

4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
14
The categories of this paper are: math-ph