Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Probabilistic Term Rewriting   We study the termination problem for probabilistic term rewrite systems. We
prove that the interpretation method is sound and complete for a strengthening
of positive almost sure termination, when abstract reduction systems and term
rewrite systems are considered. Two instances of the interpretation method -
polynomial and matrix interpretations - are analyzed and shown to capture
interesting and nontrivial examples when automated. We capture probabilistic
computation in a novel way by way of multidistribution reduction sequences,
this way accounting for both the nondeterminism in the choice of the redex and
the probabilism intrinsic in firing each rule.

26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th