Equational completion in order-sorted algebras (Q912606): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809306
@@ Property / cites work: Q3809306 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite systems on a lattice of types
@@ Property / cites work: Rewrite systems on a lattice of types / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3210187
@@ Property / cites work: Q3210187 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted completion: The many-sorted way
@@ Property / cites work: Order-sorted completion: The many-sorted way / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792234
@@ Property / cites work: Q3792234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3334056
@@ Property / cites work: Q3334056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817573
@@ Property / cites work: Q3817573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719824
@@ Property / cites work: Q3719824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030249
@@ Property / cites work: Q3030249 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Equations
@@ Property / cites work: Programming with Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674088
@@ Property / cites work: Q3674088 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete proof of correctness of the Knuth-Bendix completion algorithm
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Proofs by induction in equational theories with constructors
+Normal rank
@@ Property / cites work @@
+Q3673071
@@ Property / cites work: Q3673071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992573
@@ Property / cites work: Q3992573 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+On multiset orderings
@@ Property / cites work: On multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336736
@@ Property / cites work: Q3336736 / rank @@
+Normal rank
@@ Property / cites work @@
+REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
+Normal rank
@@ Property / cites work @@
+Q3795207
@@ Property / cites work: Q3795207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3675552
@@ Property / cites work: Q3675552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+New decision algorithms for finitely presented commutative semigroups
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Investigations in many-sorted quantor logic
@@ Property / cites work: Investigations in many-sorted quantor logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q3786020
@@ Property / cites work: Q3786020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819991
@@ Property / cites work: Q3819991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3721784
@@ Property / cites work: Q3721784 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of order-sorted specifications
@@ Property / cites work: Semantics of order-sorted specifications / rank @@
+Normal rank