Handbook of logic in computer science (vol. 3): semantic structures
Handbook of logic in computer science (vol. 3): semantic structures
A computational model for metric spaces
Theoretical Computer Science
The formal ball model for -categories
Mathematical Structures in Computer Science
Hi-index | 5.23 |
In this article we give general conditions on a metric space to insure that the poset of closed formal balls is an FS-domain.