Unification theory (Q6169561): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55124-7_5
+Normal rank
@@ Property / OpenAlex ID @@
+W4254096036
@@ Property / OpenAlex ID: W4254096036 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of idempotent semigroups is of unification type zero
+Normal rank
@@ Property / cites work @@
+Unification in varieties of idempotent semigroups
@@ Property / cites work: Unification in varieties of idempotent semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories
@@ Property / cites work: Unification in commutative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative idempotent monoids
@@ Property / cites work: Unification in commutative idempotent monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3673105
@@ Property / cites work: Q3673105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786017
@@ Property / cites work: Q3786017 / rank @@
+Normal rank
@@ Property / cites work @@
+On equational theories, unification, and (un)decidability
+Normal rank
@@ Property / cites work @@
+Q3786018
@@ Property / cites work: Q3786018 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solution of linear diophantine equations
+Normal rank
@@ Property / cites work @@
+Q3338216
@@ Property / cites work: Q3338216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703287
@@ Property / cites work: Q3703287 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's tenth problem is of unification type zero
+Normal rank
@@ Property / cites work @@
+Q3786019
@@ Property / cites work: Q3786019 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835440
@@ Property / cites work: Q3835440 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in abelian semigroups
@@ Property / cites work: Unification in abelian semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of complete logic programs with equality
@@ Property / cites work: A theory of complete logic programs with equality / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Complexity of unification problems with associative-commutative operators
+Normal rank
@@ Property / cites work @@
+Unification: a multidisciplinary survey
@@ Property / cites work: Unification: a multidisciplinary survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Basic narrowing revisited
@@ Property / cites work: Basic narrowing revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / 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 @@
+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 @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the D<sub>A</sub>-unification problem
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+A Unification Algorithm for Associative-Commutative Functions
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785922
@@ Property / cites work: Q3785922 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency of a Good But Not Linear Set Union Algorithm
+Normal rank
@@ Property / cites work @@
+Unification in combinations of collapse-free regular theories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6169561