Luminita Vîta

Publication Activity (10 Years)

Years Active: 2001-2012
Publications (10 Years): 0

Top Venues

Computation, Physics and Beyond

Publications

Douglas S. Bridges, Luminita Vîta
Constructing the Infimum of Two Projections. Computation, Physics and Beyond (2012)
Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta
Apartness, compactness and nearness. Theor. Comput. Sci. 405 (1-2) (2008)
Robin Havea, Hajime Ishihara, Luminita Vîta
Separation properties in neighbourhood and quasi-apartness spaces. Math. Log. Q. 54 (1) (2008)
Douglas S. Bridges, Luminita Vîta
Proximal Connectedness. Fundam. Informaticae 83 (1-2) (2008)
Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta
Quasi-apartness and neighbourhood spaces. Ann. Pure Appl. Log. 141 (1-2) (2006)
Douglas S. Bridges, Luminita Vîta
A General Constructive Proof Technique. Electron. Notes Theor. Comput. Sci. 120 (2005)
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44 (7) (2005)
Douglas S. Bridges, Luminita Vîta
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). CCA (2005)
Douglas S. Bridges, Luminita Vîta
Proximal Connectedness. CCA (2005)
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
Compactness in apartness spaces? Spatial Representation (2005)
Douglas S. Bridges, Luminita Vîta
Corrigendum to "A proof - technique in uniform space theory". J. Symb. Log. 69 (1) (2004)
Luminita Vîta, Douglas S. Bridges
A constructive theory of point-set nearness. Theor. Comput. Sci. 305 (1-3) (2003)
Luminita Vîta
On proximal convergence in uniform spaces. Math. Log. Q. 49 (6) (2003)
Douglas S. Bridges, Luminita Vîta
Strong and Uniform Continuity - the Uniform Space Case. LMS J. Comput. Math. 6 (2003)
Douglas S. Bridges, Luminita Vîta
Apartness spaces as a framework for constructive topology. Ann. Pure Appl. Log. 119 (1-3) (2003)
Luminita Vîta
Proximal and uniform convergence on apartness spaces. Math. Log. Q. 49 (3) (2003)
Douglas S. Bridges, Luminita Vîta
A proof-technique in uniform space theory. J. Symb. Log. 68 (3) (2003)
Douglas S. Bridges, Peter Schuster, Luminita Vîta
Apartness, Topology, and Uniformity: a Constructive View. Math. Log. Q. 48 (S1) (2002)
Peter Schuster, Luminita Vîta, Douglas S. Bridges
Apartness as a Relation Between Subsets. DMTCS (2001)
Douglas S. Bridges, Luminita Vîta
Characterising Near Continuity Constructively. Math. Log. Q. 47 (4) (2001)