UN-KLEENE BOOLEAN EQUATION SOLVING (Q3434274): Difference between revisions

@@ Property / cites work @@
+Two classes of Boolean functions for dependency analysis
+Normal rank
@@ Property / cites work @@
+Worst-case groundness analysis using positive Boolean functions
+Normal rank
@@ Property / cites work @@
+A faster solver for general systems of equations
@@ Property / cites work: A faster solver for general systems of equations / rank @@
+Normal rank
@@ Property / cites work @@
+Worst-case groundness analysis using definite Boolean functions
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank