Structures for abstract rewriting (Q2642463): Difference between revisions

@@ Property / cites work @@
+Structures for abstract rewriting
@@ Property / cites work: Structures for abstract rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808705
@@ Property / cites work: Q4808705 / rank @@
+Normal rank
@@ Property / cites work @@
+Free objects and equational deduction for partial conditional specifications
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000281
@@ Property / cites work: Q4000281 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational inference, canonical proofs, and proof orderings
+Normal rank
@@ Property / cites work @@
+Q3427354
@@ Property / cites work: Q3427354 / rank @@
+Normal rank
@@ Property / cites work @@
+Label algebras and exception handling
@@ Property / cites work: Label algebras and exception handling / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract canonical inference
@@ Property / cites work: Abstract canonical inference / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a foundation of completion procedures as semidecision procedures
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036569
@@ Property / cites work: Q4036569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012174
@@ Property / cites work: Q4012174 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01).
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract canonical presentations
@@ Property / cites work: Abstract canonical presentations / rank @@
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q3819993
@@ Property / cites work: Q3819993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824395
@@ Property / cites work: Q3824395 / rank @@
+Normal rank
@@ Property / cites work @@
+Term rewrite systems for lattice theory
@@ Property / cites work: Term rewrite systems for lattice theory / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3028369
@@ Property / cites work: Q3028369 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+On word problems in Horn theories
@@ Property / cites work: On word problems in Horn theories / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-rewrite systems
@@ Property / cites work: Bi-rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936122
@@ Property / cites work: Q4936122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q4222989
@@ Property / cites work: Q4222989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250366
@@ Property / cites work: Q4250366 / rank @@
+Normal rank
@@ Property / cites work @@
+On the word problem for free lattices
@@ Property / cites work: On the word problem for free lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Knuth-Bendix Completion for Non-Symmetric Transitive Relations
+Normal rank