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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57665015
@@ Property / Wikidata QID: Q57665015 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3434274