What Is Essential Unification? (Q3305325): Difference between revisions

@@ Property / cites work @@
+Q4515867
@@ Property / cites work: Q4515867 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of idempotent semigroups is of unification type zero
+Normal rank
@@ Property / cites work @@
+A note on unification type zero
@@ Property / cites work: A note on unification type zero / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
+Normal rank
@@ Property / cites work @@
+Unification in modal and description logics
@@ Property / cites work: Unification in modal and description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5277870
@@ Property / cites work: Q5277870 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Unification in the Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+Q4266519
@@ Property / cites work: Q4266519 / rank @@
+Normal rank
@@ Property / cites work @@
+On word equations in one variable
@@ Property / cites work: On word equations in one variable / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3970984
@@ Property / cites work: Q3970984 / rank @@
+Normal rank
@@ Property / cites work @@
+A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)
+Normal rank
@@ Property / cites work @@
+Q4376048
@@ Property / cites work: Q4376048 / rank @@
+Normal rank
@@ Property / cites work @@
+On equations in free semigroups and groups
@@ Property / cites work: On equations in free semigroups and groups / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets of unifiers and matchers in equational theories
+Normal rank
@@ Property / cites work @@
+Q4273676
@@ Property / cites work: Q4273676 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Method for Quantification Theory: Its Justification and Realization
+Normal rank
@@ Property / cites work @@
+Q5607226
@@ Property / cites work: Q5607226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5607227
@@ Property / cites work: Q5607227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5607228
@@ Property / cites work: Q5607228 / rank @@
+Normal rank
@@ Property / cites work @@
+Essential unifiers
@@ Property / cites work: Essential unifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126563
@@ Property / cites work: Q4126563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484328
@@ Property / cites work: Q4484328 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing instance generation methods for automated reasoning
+Normal rank
@@ Property / cites work @@
+Minimal and complete word unification
@@ Property / cites work: Minimal and complete word unification / rank @@
+Normal rank
@@ Property / cites work @@
+One-Variable Word Equations in Linear Time
@@ Property / cites work: One-Variable Word Equations in Linear Time / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620583
@@ Property / cites work: Q5620583 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of unification problems with associative-commutative operators
+Normal rank
@@ Property / cites work @@
+Q4619820
@@ Property / cites work: Q4619820 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification: a multidisciplinary survey
@@ Property / cites work: Unification: a multidisciplinary survey / rank @@
+Normal rank
@@ Property / cites work @@
+WORD EQUATIONS WITH ONE UNKNOWN
@@ Property / cites work: WORD EQUATIONS WITH ONE UNKNOWN / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating dublication with the hyper-linking strategy
+Normal rank
@@ Property / cites work @@
+Q5686240
@@ Property / cites work: Q5686240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625457
@@ Property / cites work: Q5625457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of word equations with constants is in PSPACE
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Unification under associativity and idempotence is of type nullary
+Normal rank
@@ Property / cites work @@
+Word unification and transformation of generalized equations
+Normal rank
@@ Property / cites work @@
+Makanin's algorithm for word equations-two improvements and a generalization
+Normal rank
@@ Property / cites work @@
+Q3883563
@@ Property / cites work: Q3883563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338215
@@ Property / cites work: Q3338215 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Noetherian and confluent rewrite system for idempotent semigroups
+Normal rank
@@ Property / cites work @@
+Q3682461
@@ Property / cites work: Q3682461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3313256
@@ Property / cites work: Q3313256 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisalgorithmen für die Prädikatenlogik
@@ Property / cites work: Beweisalgorithmen für die Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Toward Mechanical Mathematics
@@ Property / cites work: Toward Mechanical Mathematics / rank @@
+Normal rank