# Robin Havea

According to our database

Collaborative distances:

^{1}, Robin Havea authored at least 6 papers between 2001 and 2012.Collaborative distances:

## 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