Pages that link to "Item:Q2374306"
From MaRDI portal
The following pages link to Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306):
Displaying 5 items.
- A greedy randomized adaptive search procedure (GRASP) for inferring logical clauses from examples in polynomial time and some extensions (Q969776) (← links)
- Programming from Galois connections (Q1931902) (← links)
- Incremental Parametric Development of Greedy Algorithms (Q5178994) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712433) (← links)
- Recursion schemes in Coq (Q6536316) (← links)