Luminita Vîta

According to our database, Luminita Vîta authored at least 29 papers between 1997 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

A first constructive look at the comparison of projections.

Douglas S. Bridges, Luminita Simona Vîta

Log. J. IGPL, 2013

2012

Constructing the Infimum of Two Projections.

Douglas S. Bridges, Luminita Vîta

Proceedings of the Computation, Physics and Beyond, 2012

2011

Apartness and Uniformity - A Constructive Development.

Douglas S. Bridges, Luminita Simona Vîta

Theory and Applications of Computability, Springer, ISBN: 978-3-642-22414-0, 2011

2008

Apartness, compactness and nearness.

Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta

Theor. Comput. Sci., 2008

Separation properties in neighbourhood and quasi-apartness spaces.

Robin Havea, Hajime Ishihara, Luminita Vîta

Math. Log. Q., 2008

Proximal Connectedness.

Douglas S. Bridges, Luminita Vîta

Fundam. Informaticae, 2008

2006

Pre-apartness structures on spaces of functions.

Douglas S. Bridges, Luminita Simona Vîta

J. Complex., 2006

Quasi-apartness and neighbourhood spaces.

Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta

Ann. Pure Appl. Log., 2006

Extending strongly continuous functions between apartness spaces.

Luminita Simona Vîta

Arch. Math. Log., 2006

2005

On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces.

Luminita Simona Vîta

J. Univers. Comput. Sci., 2005

Strong continuity implies uniform sequential continuity.

Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta

Arch. Math. Log., 2005

Compactness in apartness spaces?

Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).

Douglas S. Bridges, Luminita Vîta

Proceedings of the CCA 2005, 2005

The constructive uniqueness of the locally convex topology on rn.

Douglas S. Bridges, Luminita Vîta

Proceedings of the From sets and types to topology and analysis, 2005

2004

Corrigendum to "A proof - technique in uniform space theory".

Douglas S. Bridges, Luminita Vîta

J. Symb. Log., 2004

A General Constructive Proof Technique.

Douglas S. Bridges, Luminita Vîta

Proceedings of the 6th Workshop on Computability and Complexity in Analysis, 2004

2003

A constructive theory of point-set nearness.

Luminita Vîta, Douglas S. Bridges

Theor. Comput. Sci., 2003

On proximal convergence in uniform spaces.

Luminita Vîta

Math. Log. Q., 2003

Proximal and uniform convergence on apartness spaces.

Luminita Vîta

Math. Log. Q., 2003

Strong and Uniform Continuity - the Uniform Space Case.

Douglas S. Bridges, Luminita Vîta

LMS J. Comput. Math., 2003

A proof-technique in uniform space theory.

Douglas S. Bridges, Luminita Vîta

J. Symb. Log., 2003

Apartness spaces as a framework for constructive topology.

Douglas S. Bridges, Luminita Vîta

Ann. Pure Appl. Log., 2003

2002

Apartness, Topology, and Uniformity: a Constructive View.

Douglas S. Bridges, Peter Schuster, Luminita Vîta

Math. Log. Q., 2002

2001

Characterising Near Continuity Constructively.

Douglas S. Bridges, Luminita Vîta

Math. Log. Q., 2001

Apartness as a Relation Between Subsets.

Peter Schuster, Luminita Vîta, Douglas S. Bridges

Proceedings of the Combinatorics, 2001

1999

Weak-operator Continuity and the Existence Of Adjoints.

Douglas S. Bridges, Luminita Dediu

Math. Log. Q., 1999

Weak Continuity Properties in Constructive Analysis.

Douglas S. Bridges, Luminita Dediu

Log. J. IGPL, 1999

Constructive Notes on Uniform and Locally Convex Spaces.

Luminita Dediu, Douglas S. Bridges

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1997

Paradise lost, or paradise regained?.

Douglas S. Bridges, Luminita Dediu

Bull. EATCS, 1997