What you always wanted to know about rigid E-unification (Q5235253): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61630-6_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1530817558
@@ Property / OpenAlex ID: W1530817558 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen-type systems, resolution and tableaux
@@ Property / cites work: Gentzen-type systems, resolution and tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264723
@@ Property / cites work: Q4264723 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic paramodulation
@@ Property / cites work: Basic paramodulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255506
@@ Property / cites work: Q4255506 / rank @@
+Normal rank
@@ Property / cites work @@
+Consolution as a framework for comparing calculi
@@ Property / cites work: Consolution as a framework for comparing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A completion-based method for mixed universal and rigid E-unification
+Normal rank
@@ Property / cites work @@
+On Matrices with Connections
@@ Property / cites work: On Matrices with Connections / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Theorems with the Modification Method
@@ Property / cites work: Proving Theorems with the Modification Method / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with variable-constrained resolution
+Normal rank
@@ Property / cites work @@
+Q3309805
@@ Property / cites work: Q3309805 / 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 @@
+Q3357560
@@ Property / cites work: Q3357560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012177
@@ Property / cites work: Q4012177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigid E-unification: NP-completeness and applications to equational matings
+Normal rank
@@ Property / cites work @@
+Theorem proving using equational matings and rigid             <i>E</i>             -unification
+Normal rank
@@ Property / cites work @@
+Q4282607
@@ Property / cites work: Q4282607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620583
@@ Property / cites work: Q5620583 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem-Proving by Model Elimination
@@ Property / cites work: Mechanical Theorem-Proving by Model Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5523671
@@ Property / cites work: Q5523671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581594
@@ Property / cites work: Q5581594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551111
@@ Property / cites work: Q5551111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3972527
@@ Property / cites work: Q3972527 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple LPO constraint solving methods
@@ Property / cites work: Simple LPO constraint solving methods / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with ordering and equality constrained clauses
+Normal rank
@@ Property / cites work @@
+Q4537435
@@ Property / cites work: Q4537435 / rank @@
+Normal rank
@@ Property / cites work @@
+Special cases and substitutes for rigid \(E\)-unification
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification
+Normal rank