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
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054107004668
+Normal rank
@@ Property / OpenAlex ID @@
+W2059328946
@@ Property / OpenAlex ID: W2059328946 / rank @@
+Normal rank