Pages that link to "Item:Q5372012"
From MaRDI portal
The following pages link to Backtracking with cut via a distributive law and left-zero monoids (Q5372012):
Displaying 5 items.
- A weakly monotonic backward induction algorithm on finite bounded subsets of vector lattices. (Q1426778) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- (Q5028467) (← links)
- (Q5089251) (← links)
- Correspondence between composite theories and distributive laws (Q6666781) (← links)