Matches in SemOpenAlex for { <https://semopenalex.org/work/W2075925569> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2075925569 endingPage "358" @default.
- W2075925569 startingPage "347" @default.
- W2075925569 abstract "In [Sch00] a bijection has been established, for the case of semilattices, between invariant partial metrics and semivaluations. Semivaluations are a natural generalization of valuations on lattices to the context of semilattices and arise in many different contexts in Quantitative Domain Theory ([Sch00]). Examples of well known spaces which are semivaluation spaces are the Baire quasi-metric spaces of [Mat95], the complexity spaces of [Sch95] and the interval domain ([EEP97]). In [Sch00a], we have shown that the totally bounded Scott domains of [Smy91] can also be represented as semivaluation spaces. In this extended abstract we explore the notion of a semivaluation space in the context of semigroups. This extension is a natural one, since for each of the above results, an invariant partial metric is involved. The notion of invariance has been well studied for semigroups as well (e.g. [Ko82]). As a further motivation, we discuss three Computer Science examples of semigroups, given by the domain of words ([Smy91]), the complexity spaces ([Sch95],[RS99]) and the interval domain ([EEP97]). An extension of the correspondence theorem of [Sch00] to the context of semigroups is obtained." @default.
- W2075925569 created "2016-06-24" @default.
- W2075925569 creator A5008660700 @default.
- W2075925569 creator A5016654758 @default.
- W2075925569 date "2001-03-01" @default.
- W2075925569 modified "2023-09-25" @default.
- W2075925569 title "Weightable quasi-metric semigroups and semilattices" @default.
- W2075925569 cites W1668904657 @default.
- W2075925569 cites W1966825584 @default.
- W2075925569 cites W2026278715 @default.
- W2075925569 cites W2029739169 @default.
- W2075925569 cites W2047277075 @default.
- W2075925569 cites W2065220161 @default.
- W2075925569 cites W2081233506 @default.
- W2075925569 cites W2082829593 @default.
- W2075925569 cites W2110149567 @default.
- W2075925569 doi "https://doi.org/10.1016/s1571-0661(05)80061-1" @default.
- W2075925569 hasPublicationYear "2001" @default.
- W2075925569 type Work @default.
- W2075925569 sameAs 2075925569 @default.
- W2075925569 citedByCount "14" @default.
- W2075925569 countsByYear W20759255692012 @default.
- W2075925569 countsByYear W20759255692013 @default.
- W2075925569 countsByYear W20759255692015 @default.
- W2075925569 countsByYear W20759255692020 @default.
- W2075925569 countsByYear W20759255692021 @default.
- W2075925569 countsByYear W20759255692022 @default.
- W2075925569 crossrefType "journal-article" @default.
- W2075925569 hasAuthorship W2075925569A5008660700 @default.
- W2075925569 hasAuthorship W2075925569A5016654758 @default.
- W2075925569 hasBestOaLocation W20759255691 @default.
- W2075925569 hasConcept C118615104 @default.
- W2075925569 hasConcept C134306372 @default.
- W2075925569 hasConcept C136119220 @default.
- W2075925569 hasConcept C151730666 @default.
- W2075925569 hasConcept C190470478 @default.
- W2075925569 hasConcept C198043062 @default.
- W2075925569 hasConcept C199360897 @default.
- W2075925569 hasConcept C202444582 @default.
- W2075925569 hasConcept C24424167 @default.
- W2075925569 hasConcept C2778029271 @default.
- W2075925569 hasConcept C2779343474 @default.
- W2075925569 hasConcept C29585364 @default.
- W2075925569 hasConcept C33923547 @default.
- W2075925569 hasConcept C34388435 @default.
- W2075925569 hasConcept C36503486 @default.
- W2075925569 hasConcept C37914503 @default.
- W2075925569 hasConcept C41008148 @default.
- W2075925569 hasConcept C86803240 @default.
- W2075925569 hasConceptScore W2075925569C118615104 @default.
- W2075925569 hasConceptScore W2075925569C134306372 @default.
- W2075925569 hasConceptScore W2075925569C136119220 @default.
- W2075925569 hasConceptScore W2075925569C151730666 @default.
- W2075925569 hasConceptScore W2075925569C190470478 @default.
- W2075925569 hasConceptScore W2075925569C198043062 @default.
- W2075925569 hasConceptScore W2075925569C199360897 @default.
- W2075925569 hasConceptScore W2075925569C202444582 @default.
- W2075925569 hasConceptScore W2075925569C24424167 @default.
- W2075925569 hasConceptScore W2075925569C2778029271 @default.
- W2075925569 hasConceptScore W2075925569C2779343474 @default.
- W2075925569 hasConceptScore W2075925569C29585364 @default.
- W2075925569 hasConceptScore W2075925569C33923547 @default.
- W2075925569 hasConceptScore W2075925569C34388435 @default.
- W2075925569 hasConceptScore W2075925569C36503486 @default.
- W2075925569 hasConceptScore W2075925569C37914503 @default.
- W2075925569 hasConceptScore W2075925569C41008148 @default.
- W2075925569 hasConceptScore W2075925569C86803240 @default.
- W2075925569 hasLocation W20759255691 @default.
- W2075925569 hasOpenAccess W2075925569 @default.
- W2075925569 hasPrimaryLocation W20759255691 @default.
- W2075925569 hasRelatedWork W1981909949 @default.
- W2075925569 hasRelatedWork W2088544526 @default.
- W2075925569 hasRelatedWork W2143829464 @default.
- W2075925569 hasRelatedWork W2322673389 @default.
- W2075925569 hasRelatedWork W2327475189 @default.
- W2075925569 hasRelatedWork W2376950174 @default.
- W2075925569 hasRelatedWork W2891789437 @default.
- W2075925569 hasRelatedWork W2901496727 @default.
- W2075925569 hasRelatedWork W3080875783 @default.
- W2075925569 hasRelatedWork W4300685937 @default.
- W2075925569 hasVolume "40" @default.
- W2075925569 isParatext "false" @default.
- W2075925569 isRetracted "false" @default.
- W2075925569 magId "2075925569" @default.
- W2075925569 workType "article" @default.