2008 |
18 | EE | Douglas S. Bridges,
Luminita Vîta:
Proximal Connectedness.
Fundam. Inform. 83(1-2): 25-34 (2008) |
17 | EE | Robin Havea,
Hajime Ishihara,
Luminita Vîta:
Separation properties in neighbourhood and quasi-apartness spaces.
Math. Log. Q. 54(1): 58-64 (2008) |
16 | EE | Douglas S. Bridges,
Hajime Ishihara,
Peter M. Schuster,
Luminita Vîta:
Apartness, compactness and nearness.
Theor. Comput. Sci. 405(1-2): 3-10 (2008) |
2006 |
15 | EE | Hajime Ishihara,
Ray Mines,
Peter Schuster,
Luminita Vîta:
Quasi-apartness and neighbourhood spaces.
Ann. Pure Appl. Logic 141(1-2): 296-306 (2006) |
14 | EE | Luminita Simona Vîta:
Extending strongly continuous functions between apartness spaces.
Arch. Math. Log. 45(3): 351-356 (2006) |
13 | EE | Douglas S. Bridges,
Luminita Simona Vîta:
Pre-apartness structures on spaces of functions.
J. Complexity 22(6): 881-893 (2006) |
2005 |
12 | | Douglas S. Bridges,
Luminita Vîta:
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).
CCA 2005: 77-89 |
11 | | Douglas S. Bridges,
Luminita Vîta:
Proximal Connectedness.
CCA 2005: 91-101 |
10 | EE | Douglas S. Bridges,
Hajime Ishihara,
Peter Schuster,
Luminita Vîta:
Compactness in apartness spaces?
Spatial Representation 2005 |
9 | EE | Douglas S. Bridges,
Hajime Ishihara,
Peter Schuster,
Luminita Vîta:
Strong continuity implies uniform sequential continuity.
Arch. Math. Log. 44(7): 887-895 (2005) |
8 | EE | Douglas S. Bridges,
Luminita Vîta:
A General Constructive Proof Technique.
Electr. Notes Theor. Comput. Sci. 120: 31-43 (2005) |
7 | EE | Luminita Simona Vîta:
On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces.
J. UCS 11(12): 2159-2164 (2005) |
2003 |
6 | | Douglas S. Bridges,
Luminita Vîta:
A proof-technique in uniform space theory.
J. Symb. Log. 68(3): 795-802 (2003) |
5 | EE | Luminita Vîta:
Proximal and uniform convergence on apartness spaces.
Math. Log. Q. 49(3): 255-259 (2003) |
4 | EE | Luminita Vîta:
On proximal convergence in uniform spaces.
Math. Log. Q. 49(6): 550-552 (2003) |
3 | EE | Luminita Vîta,
Douglas S. Bridges:
A constructive theory of point-set nearness.
Theor. Comput. Sci. 305(1-3): 473-489 (2003) |
2002 |
2 | EE | Douglas S. Bridges,
Peter Schuster,
Luminita Vîta:
Apartness, Topology, and Uniformity: a Constructive View.
Math. Log. Q. 48(S1): 16-28 (2002) |
2001 |
1 | EE | Douglas S. Bridges,
Luminita Vîta:
Characterising Near Continuity Constructively.
Math. Log. Q. 47(4): 535-538 (2001) |