Extending Bachmair's method for proof by consistency to the final algebra (Q1336767): Difference between revisions

@@ Property / cites work @@
+Q3725540
@@ Property / cites work: Q3725540 / rank @@
+Normal rank
@@ Property / cites work @@
+A Larch shared language handbook
@@ Property / cites work: A Larch shared language handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Observational implementations
@@ Property / cites work: Observational implementations / rank @@
+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 @@
+Q3427354
@@ Property / cites work: Q3427354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246727
@@ Property / cites work: Q4246727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3716284
@@ Property / cites work: Q3716284 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912057
@@ Property / cites work: Q3912057 / rank @@
+Normal rank