Unification properties of commutative theories: A categorical treatment (Q5096265): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+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 @@
+Characterizations of unification type zero
@@ Property / cites work: Characterizations of unification type zero / 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 @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5564342
@@ Property / cites work: Q5564342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338216
@@ Property / cites work: Q3338216 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets of unifiers and matchers in equational theories
+Normal rank
@@ Property / cites work @@
+Q3703287
@@ Property / cites work: Q3703287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731806
@@ Property / cites work: Q5731806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835440
@@ Property / cites work: Q3835440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3882586
@@ Property / cites work: Q3882586 / 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 @@
+Q3673071
@@ Property / cites work: Q3673071 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270631
@@ Property / cites work: Q3270631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723808
@@ Property / cites work: Q4723808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219154
@@ Property / cites work: Q3219154 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q3808248
@@ Property / cites work: Q3808248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Q5646951
@@ Property / cites work: Q5646951 / 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 @@
+Q3707399
@@ Property / cites work: Q3707399 / rank @@
+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 / full work available at URL @@
+https://doi.org/10.1007/bfb0018357
+Normal rank
@@ Property / OpenAlex ID @@
+W1530951877
@@ Property / OpenAlex ID: W1530951877 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096265