-
1
-
-
33845891800
-
Category theory for linear logicians
-
T. Ehrhard, J. Jirard, P. Ruet, P. Scott, Eds, Cambridge University Press
-
Blute, R., Scott, P.: Category theory for linear logicians, in: Linear Logic in Computer Science (T. Ehrhard, J. Jirard, P. Ruet, P. Scott, Eds.), Cambridge University Press, 2005, 3-65.
-
(2005)
Linear Logic in Computer Science
, pp. 3-65
-
-
Blute, R.1
Scott, P.2
-
2
-
-
0012990712
-
Modal logics for global and local similarity relations
-
Deneva, A., Vakarelov, D.: Modal logics for global and local similarity relations, Fundamenta Informaticae, 31, 1997, 295-304.
-
(1997)
Fundamenta Informaticae
, vol.31
, pp. 295-304
-
-
Deneva, A.1
Vakarelov, D.2
-
3
-
-
0001226619
-
Geometry of proximity
-
Efremovich, V. A.: Geometry of proximity, Math. USRR Sb., 31:73, 1952, 189-200.
-
(1952)
Math. USRR Sb
, vol.31
, Issue.73
, pp. 189-200
-
-
Efremovich, V.A.1
-
5
-
-
0002111910
-
Topological structures
-
Herrlich, H.: Topological structures, Math. Centre Tracts, 52, 1974, 59-122.
-
(1974)
Math. Centre Tracts
, vol.52
, pp. 59-122
-
-
Herrlich, H.1
-
6
-
-
33845337621
-
Information quanta and approximation spaces I: Non-classical approximation operators
-
Pagliani, P., Chakraborty, M.: Information quanta and approximation spaces I: non-classical approximation operators, in: Proc. of the IEEE International Conference on Granular Computing, GrC 2005, 2005, 605-610.
-
(2005)
Proc. of the IEEE International Conference on Granular Computing, GrC 2005
, pp. 605-610
-
-
Pagliani, P.1
Chakraborty, M.2
-
7
-
-
33845289770
-
Information quanta and approximation spaces II: Generalised approximation spaces
-
Pagliani, P., Chakraborty, M.: Information quanta and approximation spaces II: generalised approximation spaces, in: Proc. of the IEEE International Conference on Granular Computing, GrC 2005, 2005, 611-616.
-
(2005)
Proc. of the IEEE International Conference on Granular Computing, GrC 2005
, pp. 611-616
-
-
Pagliani, P.1
Chakraborty, M.2
-
10
-
-
0030217715
-
Tolerance approximation spaces
-
Skowron, A., Stepaniuk, J.: Tolerance approximation spaces, Fundamenta Informaticae, 27, 1996, 245-253.
-
(1996)
Fundamenta Informaticae
, vol.27
, pp. 245-253
-
-
Skowron, A.1
Stepaniuk, J.2
-
13
-
-
0035789784
-
A note on the proximity spaces and connection based mereology
-
C. Welty, B. Smith, Eds
-
Vakarelov, D., Düntsch, I., Bennet, B.: A note on the proximity spaces and connection based mereology, in: Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS'01) (C. Welty, B. Smith, Eds.), 2001, 139-150.
-
(2001)
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS'01)
, pp. 139-150
-
-
Vakarelov, D.1
Düntsch, I.2
Bennet, B.3
-
14
-
-
0001090795
-
On separation in topological space
-
Sanin, N.: On separation in topological space, Dok. Akad. Nauk SSSR, 38, 1943, 110-113.
-
(1943)
Dok. Akad. Nauk SSSR
, vol.38
, pp. 110-113
-
-
Sanin, N.1
-
16
-
-
0001375356
-
Two views of the theory of rough sets in finite universes
-
Yao, Y.: Two views of the theory of rough sets in finite universes, International Journal of Approximation Reasoning, 15(4), 1996, 291-317.
-
(1996)
International Journal of Approximation Reasoning
, vol.15
, Issue.4
, pp. 291-317
-
-
Yao, Y.1
|