A sequential reduction strategy (Q671504): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(96)00041-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2140840438
@@ Property / OpenAlex ID: W2140840438 / rank @@
+Normal rank
@@ 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