Semi-unification of two terms in Abelian groups (Q1336738): Difference between revisions

@@ Property / cites work @@
+Algorithm and bound for the greatest common divisor of             <i>n</i>             integers
+Normal rank
@@ Property / cites work @@
+Complete sets of unifiers and matchers in equational theories
+Normal rank
@@ Property / cites work @@
+A Proposal for an Extended Form of Type Checking of Expressions
+Normal rank
@@ Property / cites work @@
+Programming languages and systems - ESOP '94. 5th European symposium on Programming, Edinburgh, GB, April 11--13, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+The undecidability of the semi-unification problem
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219154
@@ Property / cites work: Q3219154 / rank @@
+Normal rank
@@ Property / cites work @@
+A Minimum Solution of a Diophantine Equation
@@ Property / cites work: A Minimum Solution of a Diophantine Equation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340118
@@ Property / cites work: Q3340118 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank