Canonical Forms in Interactive Exercise Assistants (Q3637289): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418136
@@ Property / cites work: Q4418136 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Strategies for Exercises
@@ Property / cites work: Specifying Strategies for Exercises / rank @@
+Normal rank
@@ Property / cites work @@
+A lightweight approach to datatype-generic rewriting
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518867
@@ Property / cites work: Q4518867 / rank @@
+Normal rank