Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logged Rewriting for Monoids   A rewriting system is a set of equations over a given set of terms called
rules that characterize a system of computation and is a powerful general
method for providing decision procedures of equational theories, based upon the
principle of replacing subterms of an expression with other terms.
  In particular, a string rewriting system is usually associated with a monoid
presentation. At the first level the problem is to decide which combinations of
the generators are equivalent under the given rules; Knuth-Bendix completion of
the string rewriting system is one of the most successful mechanisms for
solving this problem. At the second level, the problem involves determining
which combinations of rules are equivalent.
  Logged rewriting is a technique which not only transforms strings but records
the transformation in terms of the original system of rules. The relations
between combinatorial, homotopical and homological finiteness conditions for
monoids prompt us to consider using computer-friendly rewriting systems to
calculate homotopical and homological structure from monoid presentations.

17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
1
The categories of this paper are: cs
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio