Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023309117> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2023309117 endingPage "205" @default.
- W2023309117 startingPage "181" @default.
- W2023309117 abstract "In order to define semantics of non deterministic recursive programs we are led to consider infinite computations and to replace the structure of cpo on computation domain by the structure of complete metric space. In this setting we prove the two main theorems of semantics: (i) equivalence between operational and denotational semantics, where this last one is defined as a greatest fixed point for inclusion, (ii) the one-many function computed by a program is the image of the set of trees computed by the scheme associated with it." @default.
- W2023309117 created "2016-06-24" @default.
- W2023309117 creator A5018498749 @default.
- W2023309117 creator A5038604784 @default.
- W2023309117 date "1980-06-01" @default.
- W2023309117 modified "2023-10-17" @default.
- W2023309117 title "Metric interpretations of infinite trees and semantics of non deterministic recursive programs" @default.
- W2023309117 cites W1487230569 @default.
- W2023309117 cites W1553074388 @default.
- W2023309117 cites W2032076167 @default.
- W2023309117 cites W2061786858 @default.
- W2023309117 cites W2062024564 @default.
- W2023309117 cites W2129233074 @default.
- W2023309117 cites W4213381987 @default.
- W2023309117 doi "https://doi.org/10.1016/0304-3975(80)90045-6" @default.
- W2023309117 hasPublicationYear "1980" @default.
- W2023309117 type Work @default.
- W2023309117 sameAs 2023309117 @default.
- W2023309117 citedByCount "72" @default.
- W2023309117 countsByYear W20233091172012 @default.
- W2023309117 countsByYear W20233091172015 @default.
- W2023309117 countsByYear W20233091172017 @default.
- W2023309117 countsByYear W20233091172018 @default.
- W2023309117 countsByYear W20233091172019 @default.
- W2023309117 countsByYear W20233091172020 @default.
- W2023309117 countsByYear W20233091172021 @default.
- W2023309117 countsByYear W20233091172023 @default.
- W2023309117 crossrefType "journal-article" @default.
- W2023309117 hasAuthorship W2023309117A5018498749 @default.
- W2023309117 hasAuthorship W2023309117A5038604784 @default.
- W2023309117 hasConcept C11413529 @default.
- W2023309117 hasConcept C118615104 @default.
- W2023309117 hasConcept C136119220 @default.
- W2023309117 hasConcept C156325763 @default.
- W2023309117 hasConcept C162324750 @default.
- W2023309117 hasConcept C176217482 @default.
- W2023309117 hasConcept C177264268 @default.
- W2023309117 hasConcept C184337299 @default.
- W2023309117 hasConcept C198043062 @default.
- W2023309117 hasConcept C199360897 @default.
- W2023309117 hasConcept C202444582 @default.
- W2023309117 hasConcept C207648694 @default.
- W2023309117 hasConcept C21547014 @default.
- W2023309117 hasConcept C2780069185 @default.
- W2023309117 hasConcept C29585364 @default.
- W2023309117 hasConcept C33923547 @default.
- W2023309117 hasConcept C41008148 @default.
- W2023309117 hasConcept C45374587 @default.
- W2023309117 hasConcept C80444323 @default.
- W2023309117 hasConcept C89497691 @default.
- W2023309117 hasConceptScore W2023309117C11413529 @default.
- W2023309117 hasConceptScore W2023309117C118615104 @default.
- W2023309117 hasConceptScore W2023309117C136119220 @default.
- W2023309117 hasConceptScore W2023309117C156325763 @default.
- W2023309117 hasConceptScore W2023309117C162324750 @default.
- W2023309117 hasConceptScore W2023309117C176217482 @default.
- W2023309117 hasConceptScore W2023309117C177264268 @default.
- W2023309117 hasConceptScore W2023309117C184337299 @default.
- W2023309117 hasConceptScore W2023309117C198043062 @default.
- W2023309117 hasConceptScore W2023309117C199360897 @default.
- W2023309117 hasConceptScore W2023309117C202444582 @default.
- W2023309117 hasConceptScore W2023309117C207648694 @default.
- W2023309117 hasConceptScore W2023309117C21547014 @default.
- W2023309117 hasConceptScore W2023309117C2780069185 @default.
- W2023309117 hasConceptScore W2023309117C29585364 @default.
- W2023309117 hasConceptScore W2023309117C33923547 @default.
- W2023309117 hasConceptScore W2023309117C41008148 @default.
- W2023309117 hasConceptScore W2023309117C45374587 @default.
- W2023309117 hasConceptScore W2023309117C80444323 @default.
- W2023309117 hasConceptScore W2023309117C89497691 @default.
- W2023309117 hasIssue "2" @default.
- W2023309117 hasLocation W20233091171 @default.
- W2023309117 hasOpenAccess W2023309117 @default.
- W2023309117 hasPrimaryLocation W20233091171 @default.
- W2023309117 hasRelatedWork W1578958123 @default.
- W2023309117 hasRelatedWork W1970532182 @default.
- W2023309117 hasRelatedWork W2047273923 @default.
- W2023309117 hasRelatedWork W2130402398 @default.
- W2023309117 hasRelatedWork W2139185116 @default.
- W2023309117 hasRelatedWork W2551539219 @default.
- W2023309117 hasRelatedWork W2963887901 @default.
- W2023309117 hasRelatedWork W3036972880 @default.
- W2023309117 hasRelatedWork W3129725704 @default.
- W2023309117 hasRelatedWork W848138105 @default.
- W2023309117 hasVolume "11" @default.
- W2023309117 isParatext "false" @default.
- W2023309117 isRetracted "false" @default.
- W2023309117 magId "2023309117" @default.
- W2023309117 workType "article" @default.