According to our database1, Robin Havea authored at least 6 papers between 2001 and 2012.
Legend:Book In proceedings Article PhD thesis Other
Square Roots and Powers in Constructive Banach Algebra Theory.
Proceedings of the How the World Computes, 2012
Separation properties in neighbourhood and quasi-apartness spaces.
Math. Log. Q., 2008
Constructive Notions of Maximality for Ideals.
J. UCS, 2008
On Firmness of the State Space and Positive Elements of a Banach Algebra.
J. UCS, 2005
Ideals in Constructive Banach Algebra Theory.
Proceedings of the CCA 2005, 2005
A Constructive Version of the Spectral Mapping Theorem.
Math. Log. Q., 2001