Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Rob Arthan
Researcher
PaperThe decision problem for normed spaces over any class of ordered fieldsAuthorship / preprint / 2011PaperHoops, Coops and the Algebraic Semantics of Continuous LogicAuthorship / preprint / 2012Paper(Dual) Hoops Have Unique HalvingAuthorship / preprint / 2013PaperA General Framework for Sound and Complete Floyd-Hoare LogicsAuthorship / preprint / 2008PaperOn Affine Logic and Łukasiewicz LogicAuthorship / preprint / 2014PaperOn Pocrims and HoopsAuthorship / preprint / 2014PaperUnderstanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoCAuthorship / preprint / 2016