Free Variables and Theories: Revisiting Rigid E-unification (Q2964448): Difference between revisions

@@ Property / cites work @@
+Efficient Algorithms for Bounded Rigid E-unification
+Normal rank
@@ Property / cites work @@
+Theorem Proving with Bounded Rigid E-Unification
@@ Property / cites work: Theorem Proving with Bounded Rigid E-Unification / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of simultaneous rigid E-unification
+Normal rank
@@ Property / cites work @@
+What you always wanted to know about rigid \(E\)-unification
+Normal rank
@@ Property / cites work @@
+Q2751362
@@ Property / cites work: Q2751362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving using equational matings and rigid             <i>E</i>             -unification
+Normal rank
@@ Property / cites work @@
+Q4412856
@@ Property / cites work: Q4412856 / rank @@
+Normal rank
@@ Property / cites work @@
+Presburger arithmetic with unary predicates is <i>Π</i><sub>1</sub><sup>1</sup> complete
+Normal rank
@@ Property / cites work @@
+A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
+Normal rank
@@ Property / cites work @@
+Q2723421
@@ Property / cites work: Q2723421 / rank @@
+Normal rank