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

@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q17
@@ Property / Mathematics Subject Classification ID: 68Q17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6590751
@@ Property / zbMATH DE Number: 6590751 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic theorem proving
@@ Property / zbMATH Keywords: automatic theorem proving / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57383729
@@ Property / Wikidata QID: Q57383729 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:293360