Fun with semirings

DOI10.1145/2500365.2500613zbMath1323.68110OpenAlexW1989483469WikidataQ28315657 ScholiaQ28315657MaRDI QIDQ5244793

Stephen Dolan

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2500365.2500613

zbMATH Keywords

linear systemsshortest pathstransitive closureclosed semirings

Mathematics Subject Classification ID

Matrices over special rings (quaternions, finite fields, etc.) (15B33) Functional programming and lambda calculus (68N18) Semirings (16Y60)

Related Items (6)

Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms ⋮ I Got Plenty o’ Nuttin’ ⋮ A congruence on the semiring of normal tropical matrices ⋮ Orthogonality for \((0, -1)\) tropical normal matrices ⋮ Polynomial Functors Constrained by Regular Expressions ⋮ Weighted automata computation of edit distances with consolidations and fragmentations

This page was built for publication: Fun with semirings