Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914479487> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2914479487 endingPage "11" @default.
- W2914479487 startingPage "1" @default.
- W2914479487 abstract "In this paper, concepts of generalized algebraic information system (in short, GA-inf) and weak algebraic information system (in short, wA-inf) are introduced. Relationships among several algebraicities of information systems are explored. Main results are: (1) A dcpo D is an algebraic domain iff D is represented by an algebraic information system (in short, A-inf), and iff D is represented by a GA-inf; (2) every A-inf is a GA-inf and a wA-inf; (3) every C-inf S ( D , B ) induced by a domain with a basis B is a wA-inf; (4) the category WAINF of wA-infs and approximable mappings is equivalent to the category DOM of domains and Scott continuous functions; (5) every wA-inf S satisfying Condition (MT) is a retract of w S (the information structure induced by S ) in category WAINF of wA-infs and approximable mappings. Particularly, C-inf S ( D , B ) induced by a domain D with a basis B is a retract of A-inf w S ( D , B ) in category WAINF ." @default.
- W2914479487 created "2019-02-21" @default.
- W2914479487 creator A5001965029 @default.
- W2914479487 creator A5058040461 @default.
- W2914479487 date "2019-04-01" @default.
- W2914479487 modified "2023-09-29" @default.
- W2914479487 title "Weak algebraic information systems and a new equivalent category of DOM of domains" @default.
- W2914479487 cites W1965578790 @default.
- W2914479487 cites W1972813191 @default.
- W2914479487 cites W2009183043 @default.
- W2914479487 cites W2021433230 @default.
- W2914479487 cites W2039082066 @default.
- W2914479487 cites W2072231667 @default.
- W2914479487 cites W2077869556 @default.
- W2914479487 cites W2082152502 @default.
- W2914479487 cites W2187587455 @default.
- W2914479487 cites W2213176044 @default.
- W2914479487 doi "https://doi.org/10.1016/j.tcs.2019.01.042" @default.
- W2914479487 hasPublicationYear "2019" @default.
- W2914479487 type Work @default.
- W2914479487 sameAs 2914479487 @default.
- W2914479487 citedByCount "4" @default.
- W2914479487 countsByYear W29144794872019 @default.
- W2914479487 countsByYear W29144794872020 @default.
- W2914479487 countsByYear W29144794872022 @default.
- W2914479487 crossrefType "journal-article" @default.
- W2914479487 hasAuthorship W2914479487A5001965029 @default.
- W2914479487 hasAuthorship W2914479487A5058040461 @default.
- W2914479487 hasBestOaLocation W29144794871 @default.
- W2914479487 hasConcept C134306372 @default.
- W2914479487 hasConcept C136119220 @default.
- W2914479487 hasConcept C202444582 @default.
- W2914479487 hasConcept C33923547 @default.
- W2914479487 hasConcept C41008148 @default.
- W2914479487 hasConcept C54884031 @default.
- W2914479487 hasConcept C80444323 @default.
- W2914479487 hasConcept C9376300 @default.
- W2914479487 hasConceptScore W2914479487C134306372 @default.
- W2914479487 hasConceptScore W2914479487C136119220 @default.
- W2914479487 hasConceptScore W2914479487C202444582 @default.
- W2914479487 hasConceptScore W2914479487C33923547 @default.
- W2914479487 hasConceptScore W2914479487C41008148 @default.
- W2914479487 hasConceptScore W2914479487C54884031 @default.
- W2914479487 hasConceptScore W2914479487C80444323 @default.
- W2914479487 hasConceptScore W2914479487C9376300 @default.
- W2914479487 hasFunder F4320321605 @default.
- W2914479487 hasFunder F4320324130 @default.
- W2914479487 hasLocation W29144794871 @default.
- W2914479487 hasOpenAccess W2914479487 @default.
- W2914479487 hasPrimaryLocation W29144794871 @default.
- W2914479487 hasRelatedWork W1552204709 @default.
- W2914479487 hasRelatedWork W2018671907 @default.
- W2914479487 hasRelatedWork W2019790099 @default.
- W2914479487 hasRelatedWork W2047742505 @default.
- W2914479487 hasRelatedWork W2090649758 @default.
- W2914479487 hasRelatedWork W2102067092 @default.
- W2914479487 hasRelatedWork W2112811681 @default.
- W2914479487 hasRelatedWork W2165848164 @default.
- W2914479487 hasRelatedWork W2885964212 @default.
- W2914479487 hasRelatedWork W3176049953 @default.
- W2914479487 hasVolume "763" @default.
- W2914479487 isParatext "false" @default.
- W2914479487 isRetracted "false" @default.
- W2914479487 magId "2914479487" @default.
- W2914479487 workType "article" @default.