Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Ninth International Workshop on Reduction Strategies in
  Rewriting and Programming   This volume contains selected papers presented at the 9th International
Workshop on Reduction Strategies in Rewriting and Programming, WRS2009, which
was held in Brasilia on the 28th June 2009, associated to RTA 2009 (the 20th
International Conference on Rewriting Techniques and Applications) at RDP, the
Federated Conference on Rewriting, Deduction and Programming. Reduction
strategies define which (sub)expression(s) should be selected for evaluation
and which rule(s) should be applied. These choices affect fundamental
properties of reductions, such as completeness, laziness and efficiency in
general. The WRS workshops promote research and collaboration in the area of
reduction strategies and their applications in specification and programming,
theorem proving, software engineering, etc.

13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph