Pruning with improving sequences in lazy functional programs (Q1929352): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-012-9086-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2044761658
@@ Property / OpenAlex ID: W2044761658 / rank @@
+Normal rank
@@ Property / cites work @@
+Encapsulating non-determinacy in an abstract data type with determinate semantics
+Normal rank
@@ Property / cites work @@
+Monads for incremental computing
@@ Property / cites work: Monads for incremental computing / rank @@
+Normal rank
@@ Property / cites work @@
+Optimistic evaluation
@@ Property / cites work: Optimistic evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3885184
@@ Property / cites work: Q3885184 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving structural hylomorphisms from recursive definitions
+Normal rank
@@ Property / cites work @@
+An analysis of alpha-beta pruning
@@ Property / cites work: An analysis of alpha-beta pruning / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-Bound Methods: A Survey
@@ Property / cites work: Branch-and-Bound Methods: A Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705620
@@ Property / cites work: Q4705620 / rank @@
+Normal rank