Abstract | ||
---|---|---|
We analyze 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 analyze 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 minimization of its structure graph. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2071368.2071376 | ACM Transactions on Computational Logic |
Keywords | DocType | Volume |
main contribution,plotkin-style deduction rule,structural analysis,boolean equation system,bisimilar structure graph,equation system,standard recursive form,elegant set,small example,dependency graph,structure graph,boolean equation systems,structure analysis | Journal | 13 |
Issue | ISSN | Citations |
1 | 1529-3785 | 0 |
PageRank | References | Authors |
0.34 | 21 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. J. A. Keiren | 1 | 97 | 8.13 |
M.A. Reniers | 2 | 369 | 32.69 |
Tim A. C. Willemse | 3 | 345 | 32.79 |