Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sparse Tiling through Overlap Closures for Termination of String
  Rewriting   We over-approximate reachability sets in string rewriting by languages
defined by admissible factors, called tiles. A sparse set of tiles contains
only those that are reachable in derivations, and is constructed by completing
an automaton. Using the partial algebra defined by a sparse tiling for semantic
labelling, we obtain a transformational method for proving local termination.
With a known result on forward closures, and a new characterisation of overlap
closures, we obtain methods for proving termination and relative termination,
respectively. We report on experiments showing the strength of these methods.

24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph