Matches in SemOpenAlex for { <https://semopenalex.org/work/W38165312> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W38165312 endingPage "269" @default.
- W38165312 startingPage "245" @default.
- W38165312 created "2016-06-24" @default.
- W38165312 creator A5019942972 @default.
- W38165312 creator A5052847689 @default.
- W38165312 date "1992-01-01" @default.
- W38165312 modified "2023-09-23" @default.
- W38165312 title "Refinement algebra proves correctness of compilation" @default.
- W38165312 cites W1603028978 @default.
- W38165312 cites W2066210260 @default.
- W38165312 cites W2110846749 @default.
- W38165312 doi "https://doi.org/10.1007/978-3-642-77572-7_12" @default.
- W38165312 hasPublicationYear "1992" @default.
- W38165312 type Work @default.
- W38165312 sameAs 38165312 @default.
- W38165312 citedByCount "4" @default.
- W38165312 countsByYear W381653122021 @default.
- W38165312 crossrefType "book-chapter" @default.
- W38165312 hasAuthorship W38165312A5019942972 @default.
- W38165312 hasAuthorship W38165312A5052847689 @default.
- W38165312 hasConcept C111919701 @default.
- W38165312 hasConcept C122783720 @default.
- W38165312 hasConcept C133162039 @default.
- W38165312 hasConcept C154526789 @default.
- W38165312 hasConcept C154945302 @default.
- W38165312 hasConcept C169590947 @default.
- W38165312 hasConcept C199360897 @default.
- W38165312 hasConcept C2144512 @default.
- W38165312 hasConcept C26517878 @default.
- W38165312 hasConcept C2780801425 @default.
- W38165312 hasConcept C2781238097 @default.
- W38165312 hasConcept C41008148 @default.
- W38165312 hasConcept C43126263 @default.
- W38165312 hasConcept C55439883 @default.
- W38165312 hasConcept C68366613 @default.
- W38165312 hasConcept C80444323 @default.
- W38165312 hasConceptScore W38165312C111919701 @default.
- W38165312 hasConceptScore W38165312C122783720 @default.
- W38165312 hasConceptScore W38165312C133162039 @default.
- W38165312 hasConceptScore W38165312C154526789 @default.
- W38165312 hasConceptScore W38165312C154945302 @default.
- W38165312 hasConceptScore W38165312C169590947 @default.
- W38165312 hasConceptScore W38165312C199360897 @default.
- W38165312 hasConceptScore W38165312C2144512 @default.
- W38165312 hasConceptScore W38165312C26517878 @default.
- W38165312 hasConceptScore W38165312C2780801425 @default.
- W38165312 hasConceptScore W38165312C2781238097 @default.
- W38165312 hasConceptScore W38165312C41008148 @default.
- W38165312 hasConceptScore W38165312C43126263 @default.
- W38165312 hasConceptScore W38165312C55439883 @default.
- W38165312 hasConceptScore W38165312C68366613 @default.
- W38165312 hasConceptScore W38165312C80444323 @default.
- W38165312 hasLocation W381653121 @default.
- W38165312 hasOpenAccess W38165312 @default.
- W38165312 hasPrimaryLocation W381653121 @default.
- W38165312 hasRelatedWork W1487643886 @default.
- W38165312 hasRelatedWork W2143964278 @default.
- W38165312 hasRelatedWork W2155323044 @default.
- W38165312 hasRelatedWork W2184391316 @default.
- W38165312 hasRelatedWork W2996838589 @default.
- W38165312 hasRelatedWork W3175817815 @default.
- W38165312 hasRelatedWork W38165312 @default.
- W38165312 hasRelatedWork W4211166115 @default.
- W38165312 hasRelatedWork W53584863 @default.
- W38165312 hasRelatedWork W1774384314 @default.
- W38165312 isParatext "false" @default.
- W38165312 isRetracted "false" @default.
- W38165312 magId "38165312" @default.
- W38165312 workType "book-chapter" @default.