Luminita Vîta

21 papers C 3Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2012 — conf
Constructing the Infimum of Two Projections.
Computation, Physics and Beyond
Douglas S. Bridges, Luminita Vîta
2008 J jnl
Apartness, compactness and nearness.
Theor. Comput. Sci.
Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta
2008 J jnl
Proximal Connectedness.
Fundam. Informaticae
Douglas S. Bridges, Luminita Vîta
2008 J jnl
Separation properties in neighbourhood and quasi-apartness spaces.
Math. Log. Q.
Robin Havea, Hajime Ishihara, Luminita Vîta
2006 J jnl
Quasi-apartness and neighbourhood spaces.
Ann. Pure Appl. Log.
Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta
2005 C conf
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).
CCA
Douglas S. Bridges, Luminita Vîta
2005 — conf
Compactness in apartness spaces?
Spatial Representation
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
2005 C conf
Proximal Connectedness.
CCA
Douglas S. Bridges, Luminita Vîta
2005 J jnl
Strong continuity implies uniform sequential continuity.
Arch. Math. Log.
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
2005 — ch.
The constructive uniqueness of the locally convex topology on rn.
From sets and types to topology and analysis
Douglas S. Bridges, Luminita Vîta
2004 C conf
A General Constructive Proof Technique.
CCA
Douglas S. Bridges, Luminita Vîta
2004 J jnl
Corrigendum to "A proof - technique in uniform space theory".
J. Symb. Log.
Douglas S. Bridges, Luminita Vîta
2003 J jnl
A constructive theory of point-set nearness.
Theor. Comput. Sci.
Luminita Vîta, Douglas S. Bridges
2003 J jnl
A proof-technique in uniform space theory.
J. Symb. Log.
Douglas S. Bridges, Luminita Vîta
2003 J jnl
Apartness spaces as a framework for constructive topology.
Ann. Pure Appl. Log.
Douglas S. Bridges, Luminita Vîta
2003 J jnl
On proximal convergence in uniform spaces.
Math. Log. Q.
Luminita Vîta
2003 J jnl
Proximal and uniform convergence on apartness spaces.
Math. Log. Q.
Luminita Vîta
2003 J jnl
Strong and Uniform Continuity - the Uniform Space Case.
LMS J. Comput. Math.
Douglas S. Bridges, Luminita Vîta
2002 J jnl
Apartness, Topology, and Uniformity: a Constructive View.
Math. Log. Q.
Douglas S. Bridges, Peter Schuster, Luminita Vîta
2001 — conf
Apartness as a Relation Between Subsets.
DMTCS
Peter Schuster, Luminita Vîta, Douglas S. Bridges
2001 J jnl
Characterising Near Continuity Constructively.
Math. Log. Q.
Douglas S. Bridges, Luminita Vîta