The essence of ideal completion in quantitative form
Theoretical Computer Science
On the Yoneda completion of a quasi-metric space
Theoretical Computer Science
A category of compositional domain-models for separable stone spaces
Theoretical Computer Science
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
A characterization of partial metrizability: domains are quantifiable
Theoretical Computer Science - Topology in computer science
Mathematical Structures in Computer Science
The correspondence between partial metrics and semivaluations
Theoretical Computer Science - Mathematical foundations of programming semantics
Quasi-metric spaces and point-free geometry
Mathematical Structures in Computer Science
Generalized ultrametric spaces in quantitative domain theory
Theoretical Computer Science
Fundamental study: Complete and directed complete Ω-categories
Theoretical Computer Science
Convergence and fixed points by fuzzy orders
Fuzzy Sets and Systems
Contraction Maps on Ifqm-spaces with Application to Recurrence Equations of Quicksort
Electronic Notes in Theoretical Computer Science (ENTCS)
On Domain Theory over Girard Quantales
Fundamenta Informaticae
A quantitative computational model for complete partial metric spaces via formal balls†
Mathematical Structures in Computer Science
Domain Equations Based on Sets with Families of Pre-orders
Electronic Notes in Theoretical Computer Science (ENTCS)
Enriched Categories and Quasi-uniform Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
The Hausdorff fuzzy quasi-metric
Fuzzy Sets and Systems
Grill Determined L-Approach Merotopological Spaces
Fundamenta Informaticae
Domain theoretic characterisations of quasi-metric completeness in terms of formal balls†
Mathematical Structures in Computer Science
Completeness and compactness of quantitative domains
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Multivalued mappings, fixed-point theorems and disjunctive databases
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Sequence spaces and asymmetric norms in the theory of computational complexity
Mathematical and Computer Modelling: An International Journal
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
An axiomatization of the theory of generalized ultrametric semilattices of linear signals
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
Generalized Scott Topology on Sets with Families of Pre-orders
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |