3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.RA2022
Quantalic spectra of semirings
Graham Manuell
Spectrum constructions appear throughout mathematics as a way of constructing topological spaces from algebraic data. Given a commutative localic semiring R (the pointfree analogue…
cs.CC2021★ 3 cited
A simple lower bound for ARRIVAL
Graham Manuell
The ARRIVIAL problem introduced by Dohrau, Gärtner, Kohler, Matoušek and Welzl concerns a train moving on a directed graph proceeding along outward edges according to the position…