|
342
|
Vulnerabilities Analysis
– Matt Bishop
- 1999
|
|
4
|
Quasi-apartness and neighbourhood spaces
– H Ishihara, R Mines, P Schuster, L Vîta
- 2006
|
|
7
|
Proximity Spaces, Cambridge Tracts in
– S A Naimpally, B D Warrack
- 1970
|
|
45
|
Varieties of constructive mathematics
– D Bridges, F Richman
- 1987
|
|
15
|
Aspects of general topology in constructive set theory
– P Aczel
|
|
22
|
Some Points in Formal Topology
– Giovanni Sambin
- 2002
|
|
52
|
Intuitionistic Formal Spaces – a First Communication
– G Sambin, in D Skordev
- 1987
|
|
20
|
Proximity Spaces
– S A Naimpally, B D Warrack
- 1970
|
|
3
|
Strong versus uniform continuity: a constructive round. Quaestiones Mathematicae 26
– P Schuster, L Vîță, D Bridges
- 2001
|
|
2
|
Cauchy nets in the constructive theory of apartness spaces
– Douglas Bridges
- 2002
|
|
2
|
Characterizing near continuity constructively
– D Bridges, L Vît¸ă
- 2001
|
|
7
|
Apartness as a relation between subsets
– Peter Schuster, Luminit¸a Vît¸ă, Douglas Bridges
- 2001
|
|
5
|
Nearness—a better approach to topological continuity and limits
– P Cameron, J G Hocking, S A Naimpally
- 1973
|
|
2
|
uniformity: a constructive view’, Computability and Complexity
– D S Bridges, P M Schuster, L S Vît¸ă, topology ‘Apartness
- 2001
|
|
1
|
Complements of sets in apartness spaces
– L S Vît¸ă
|
|
1
|
On various properties of apartness spaces
– L S Vît¸ă
|
|
13
|
Beyond modalities: Sufficiency and mixed algebras
– Ivo Düntsch, Ewa Orlowska
- 2000
|
|
1
|
Relational semantics through duality
– E. Orlowska, I. Rewitzky, I. Düntsch, Ingrid Rewitzky, Ivo Düntsch
- 2005
|
|
2
|
Duality via Truth: Semantic frameworks for lattice-based logics
– E Or̷lowska, I Rewitzky
- 2005
|
