Testing for the ground (co-)reducibility property in term-rewriting systems (Q685352): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computing ground reducibility and inductively complete positions
+Normal rank
@@ Property / cites work @@
+Q3725540
@@ Property / cites work: Q3725540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780428
@@ Property / cites work: Q3780428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490953
@@ Property / cites work: Q3490953 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+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 @@
+Automatic proofs by induction in theories without constructors
+Normal rank
@@ Property / cites work @@
+On sufficient-completeness and related properties of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976041
@@ Property / cites work: Q3976041 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713575
@@ Property / cites work: Q3713575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490955
@@ Property / cites work: Q3490955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776590
@@ Property / cites work: Q3776590 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic confluence tests and completion methods
@@ Property / cites work: Semantic confluence tests and completion methods / rank @@
+Normal rank