Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Structural Analysis of Boolean Equation Systems   We analyse the problem of solving Boolean equation systems through the use of
structure graphs. The latter are obtained through an elegant set of
Plotkin-style deduction rules. Our main contribution is that we show that
equation systems with bisimilar structure graphs have the same solution. We
show that our work conservatively extends earlier work, conducted by Keiren and
Willemse, in which dependency graphs were used to analyse a subclass of Boolean
equation systems, viz., equation systems in standard recursive form. We
illustrate our approach by a small example, demonstrating the effect of
simplifying an equation system through minimisation of its structure graph.

2
The categories of this paper are: math
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th