On the complexity of Boolean unification (Q293360): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in the union of disjoint equational theories: Combining decision procedures
+Normal rank
@@ Property / cites work @@
+Unification in Boolean rings and Abelian groups
@@ Property / cites work: Unification in Boolean rings and Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution principle for a logic with restricted quantifiers
+Normal rank
@@ Property / cites work @@
+Embedding Boolean expressions into logic programming
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Processor Scheduling with Start-Times and Deadlines
+Normal rank
@@ Property / cites work @@
+Unification algorithms cannot be combined in polynomial time
+Normal rank
@@ Property / cites work @@
+Q3703293
@@ Property / cites work: Q3703293 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Boolean algebras
@@ Property / cites work: Complexity of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean unification - the story so far
@@ Property / cites work: Boolean unification - the story so far / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in Boolean rings
@@ Property / cites work: Unification in Boolean rings / rank @@
+Normal rank
@@ Property / cites work @@
+AC-superposition with constraints: No AC-unifiers needed
+Normal rank
@@ Property / cites work @@
+Q4083731
@@ Property / cites work: Q4083731 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1981232804
@@ Property / OpenAlex ID: W1981232804 / rank @@
+Normal rank