Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Semantic Approach to the Analysis of Rewriting-Based Systems   Properties expressed as the provability of a first-order sentence can be
disproved by just finding a model of the negation of the sentence. This fact,
however, is meaningful in restricted cases only, depending on the shape of the
sentence and the class of systems at stake. In this paper we show that a number
of interesting properties of rewriting-based systems can be investigated in
this way, including infeasibility and non-joinability of critical pairs in
(conditional) rewriting, non-loopingness of conditional rewrite systems, or the
secure access to protected pages of a web site modeled as an order-sorted
rewrite theory. Interestingly, this uniform, semantic approach succeeds when
specific techniques developed to deal with the aforementioned problems fail.

29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin