Robin Havea

According to our database1, Robin Havea authored at least 6 papers between 2001 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Square Roots and Powers in Constructive Banach Algebra Theory.
Proceedings of the How the World Computes, 2012

2008
Separation properties in neighbourhood and quasi-apartness spaces.
Math. Log. Q., 2008

Constructive Notions of Maximality for Ideals.
J. UCS, 2008

2005
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

2001
A Constructive Version of the Spectral Mapping Theorem.
Math. Log. Q., 2001


  Loading...