Combinable Extensions of Abelian Groups (Q5191096): Difference between revisions

@@ Property / cites work @@
+New results on rewrite-based satisfiability procedures
+Normal rank
@@ Property / cites work @@
+A rewriting approach to satisfiability procedures.
+Normal rank
@@ Property / cites work @@
+Unification in the union of disjoint equational theories: Combining decision procedures
+Normal rank
@@ Property / cites work @@
+${\mathcal{T}}$ -Decision by Decomposition
@@ Property / cites work: ${\mathcal{T}}$ -Decision by Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
+Normal rank
@@ Property / cites work @@
+Q3992832
@@ Property / cites work: Q3992832 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering DPLL(T) + Saturation
@@ Property / cites work: Engineering DPLL(T) + Saturation / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Model-completions and modules
@@ Property / cites work: Model-completions and modules / rank @@
+Normal rank
@@ Property / cites work @@
+A comprehensive combination framework
@@ Property / cites work: A comprehensive combination framework / rank @@
+Normal rank
@@ Property / cites work @@
+Superposition with completely built-in abelian groups
+Normal rank
@@ Property / cites work @@
+Integrating Linear Arithmetic into Superposition Calculus
+Normal rank
@@ Property / cites work @@
+Automatic Decidability and Combinability Revisited
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Superposition theorem proving for abelian groups represented as integer modules
+Normal rank
@@ Property / cites work @@
+Q4539608
@@ Property / cites work: Q4539608 / rank @@
+Normal rank
@@ Property / cites work @@
+Cancellative Abelian monoids and related structures in refutational theorem proving. I
+Normal rank