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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00269-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2092858640
@@ Property / OpenAlex ID: W2092858640 / rank @@
+Normal rank