A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111): Difference between revisions

@@ Property / cites work @@
+New results on rewrite-based satisfiability procedures
+Normal rank
@@ Property / cites work @@
+Connecting many-sorted theories
@@ Property / cites work: Connecting many-sorted theories / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchic Superposition with Weak Abstraction
@@ Property / cites work: Hierarchic Superposition with Weak Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+A Gentle Non-disjoint Combination of Satisfiability Procedures
+Normal rank
@@ Property / cites work @@
+A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+Normal rank
@@ Property / cites work @@
+Polite Theories Revisited
@@ Property / cites work: Polite Theories Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Combinable Extensions of Abelian Groups
@@ Property / cites work: Combinable Extensions of Abelian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Locality Results for Certain Extensions of Theories with Bridging Functions
+Normal rank
@@ Property / cites work @@
+Decision procedures for algebraic data types with abstractions
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Unions of non-disjoint theories and combinations of satisfiability procedures
+Normal rank
@@ Property / cites work @@
+Combining Theories with Shared Set Operations
@@ Property / cites work: Combining Theories with Shared Set Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809072
@@ Property / cites work: Q4809072 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining sets with cardinals
@@ Property / cites work: Combining sets with cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for term algebras with integer constraints
+Normal rank