Compact Normalisation Trace via Lazy Rewriting (Q2841224): Difference between revisions

@@ Property / cites work @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222983
@@ Property / cites work: Q4222983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703699
@@ Property / cites work: Q2703699 / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement of strong sequentiality for term rewriting with constructors
+Normal rank