A sequential reduction strategy (Q671504): Difference between revisions

@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q4705604
@@ Property / cites work: Q4705604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential evaluation strategies for parallel-or and related reduction systems
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Programming in equational logic: Beyond strong sequentiality
+Normal rank