Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105757856> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2105757856 abstract "A formal semantics for Z based on naive settheory is presented. In this approach a so-called Zbase is postulated to be used in the definition of a Zscript (a specification). From a Zbase we may construct a more powerfull Zbase by a Zscript. This allows us to work in a modular way. In our approach the semantics of a schema is a table from the relation datamodel. This suggests a link with the relational algebra and this link is further explored." @default.
- W2105757856 created "2016-06-24" @default.
- W2105757856 creator A5078346412 @default.
- W2105757856 creator A5090050148 @default.
- W2105757856 date "1990-01-01" @default.
- W2105757856 modified "2023-09-25" @default.
- W2105757856 title "A formal semantics for Z and the link between Z and the relational algebra" @default.
- W2105757856 cites W1600849051 @default.
- W2105757856 cites W2914693551 @default.
- W2105757856 doi "https://doi.org/10.1007/3-540-52513-0_26" @default.
- W2105757856 hasPublicationYear "1990" @default.
- W2105757856 type Work @default.
- W2105757856 sameAs 2105757856 @default.
- W2105757856 citedByCount "17" @default.
- W2105757856 countsByYear W21057578562013 @default.
- W2105757856 countsByYear W21057578562014 @default.
- W2105757856 crossrefType "book-chapter" @default.
- W2105757856 hasAuthorship W2105757856A5078346412 @default.
- W2105757856 hasAuthorship W2105757856A5090050148 @default.
- W2105757856 hasBestOaLocation W21057578562 @default.
- W2105757856 hasConcept C101468663 @default.
- W2105757856 hasConcept C136119220 @default.
- W2105757856 hasConcept C146499914 @default.
- W2105757856 hasConcept C150607116 @default.
- W2105757856 hasConcept C156325763 @default.
- W2105757856 hasConcept C184337299 @default.
- W2105757856 hasConcept C199360897 @default.
- W2105757856 hasConcept C202444582 @default.
- W2105757856 hasConcept C207648694 @default.
- W2105757856 hasConcept C23123220 @default.
- W2105757856 hasConcept C2778753846 @default.
- W2105757856 hasConcept C2780801425 @default.
- W2105757856 hasConcept C31258907 @default.
- W2105757856 hasConcept C33923547 @default.
- W2105757856 hasConcept C41008148 @default.
- W2105757856 hasConcept C52146309 @default.
- W2105757856 hasConcept C5655090 @default.
- W2105757856 hasConcept C80444323 @default.
- W2105757856 hasConcept C95916125 @default.
- W2105757856 hasConceptScore W2105757856C101468663 @default.
- W2105757856 hasConceptScore W2105757856C136119220 @default.
- W2105757856 hasConceptScore W2105757856C146499914 @default.
- W2105757856 hasConceptScore W2105757856C150607116 @default.
- W2105757856 hasConceptScore W2105757856C156325763 @default.
- W2105757856 hasConceptScore W2105757856C184337299 @default.
- W2105757856 hasConceptScore W2105757856C199360897 @default.
- W2105757856 hasConceptScore W2105757856C202444582 @default.
- W2105757856 hasConceptScore W2105757856C207648694 @default.
- W2105757856 hasConceptScore W2105757856C23123220 @default.
- W2105757856 hasConceptScore W2105757856C2778753846 @default.
- W2105757856 hasConceptScore W2105757856C2780801425 @default.
- W2105757856 hasConceptScore W2105757856C31258907 @default.
- W2105757856 hasConceptScore W2105757856C33923547 @default.
- W2105757856 hasConceptScore W2105757856C41008148 @default.
- W2105757856 hasConceptScore W2105757856C52146309 @default.
- W2105757856 hasConceptScore W2105757856C5655090 @default.
- W2105757856 hasConceptScore W2105757856C80444323 @default.
- W2105757856 hasConceptScore W2105757856C95916125 @default.
- W2105757856 hasLocation W21057578561 @default.
- W2105757856 hasLocation W21057578562 @default.
- W2105757856 hasOpenAccess W2105757856 @default.
- W2105757856 hasPrimaryLocation W21057578561 @default.
- W2105757856 hasRelatedWork W1120181906 @default.
- W2105757856 hasRelatedWork W1486594037 @default.
- W2105757856 hasRelatedWork W1522816362 @default.
- W2105757856 hasRelatedWork W1564174837 @default.
- W2105757856 hasRelatedWork W1574019160 @default.
- W2105757856 hasRelatedWork W1590686765 @default.
- W2105757856 hasRelatedWork W1591667750 @default.
- W2105757856 hasRelatedWork W1604839169 @default.
- W2105757856 hasRelatedWork W1973782766 @default.
- W2105757856 hasRelatedWork W1982879916 @default.
- W2105757856 hasRelatedWork W2082314565 @default.
- W2105757856 hasRelatedWork W2087515863 @default.
- W2105757856 hasRelatedWork W2136739120 @default.
- W2105757856 hasRelatedWork W2138709157 @default.
- W2105757856 hasRelatedWork W2144973245 @default.
- W2105757856 hasRelatedWork W2348535145 @default.
- W2105757856 hasRelatedWork W2386888169 @default.
- W2105757856 hasRelatedWork W2393711593 @default.
- W2105757856 hasRelatedWork W2782325837 @default.
- W2105757856 hasRelatedWork W93340174 @default.
- W2105757856 isParatext "false" @default.
- W2105757856 isRetracted "false" @default.
- W2105757856 magId "2105757856" @default.
- W2105757856 workType "book-chapter" @default.