The following pages link to Algebras for combinatorial search (Q3638924):
Displaying 4 items.
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Composable Discovery Engines for Interactive Theorem Proving (Q3088022) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- The formal theory of relative monads (Q6496517) (← links)
