Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-53904-2_88
+Normal rank
@@ Property / OpenAlex ID @@
+W1555227499
@@ Property / OpenAlex ID: W1555227499 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories
@@ Property / cites work: Unification in commutative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Unification properties of commutative theories: A categorical treatment
+Normal rank
@@ Property / cites work @@
+Characterizations of unification type zero
@@ Property / cites work: Characterizations of unification type zero / rank @@
+Normal rank
@@ Property / cites work @@
+Unification, weak unification, upper bound, lower bound, and generalization problems
+Normal rank
@@ Property / cites work @@
+Unification in commutative idempotent monoids
@@ Property / cites work: Unification in commutative idempotent monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of substitutions and unifications
@@ Property / cites work: Properties of substitutions and unifications / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041688
@@ Property / cites work: Q4041688 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4725721
@@ Property / cites work: Q4725721 / rank @@
+Normal rank