The following pages link to Fun with semirings (Q5244793):
Displaying 6 items.
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- A congruence on the semiring of normal tropical matrices (Q1654409) (← links)
- Weighted automata computation of edit distances with consolidations and fragmentations (Q2064523) (← links)
- Orthogonality for \((0, -1)\) tropical normal matrices (Q2175183) (← links)
- Polynomial Functors Constrained by Regular Expressions (Q2941172) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
