Boolean unification - the story so far (Q1824411): Difference between revisions

@@ Property / author @@
-Ursula Martin Webb
@@ Property / author: Ursula Martin Webb / rank @@
-Normal rank
@@ Property / author @@
+Ursula Martin Webb
@@ Property / author: Ursula Martin Webb / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REVE
@@ Property / describes a project that uses: REVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663380
@@ Property / cites work: Q5663380 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q3818293
@@ Property / cites work: Q3818293 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Boolean expressions into logic programming
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625113
@@ Property / cites work: Q5625113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786019
@@ Property / cites work: Q3786019 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3674088
@@ Property / cites work: Q3674088 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3319767
@@ Property / cites work: Q3319767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786022
@@ Property / cites work: Q3786022 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in Boolean rings
@@ Property / cites work: Unification in Boolean rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789063
@@ Property / cites work: Q3789063 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4083731
@@ Property / cites work: Q4083731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3811748
@@ Property / cites work: Q3811748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484383
@@ Property / cites work: Q3484383 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785922
@@ Property / cites work: Q3785922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336732
@@ Property / cites work: Q3336732 / rank @@
+Normal rank
@@ Property / cites work @@
+New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
+Normal rank
@@ Property / cites work @@
+Unification in combinations of collapse-free regular theories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1824411