Matches in SemOpenAlex for { <https://semopenalex.org/work/W1548045258> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1548045258 endingPage "73" @default.
- W1548045258 startingPage "62" @default.
- W1548045258 created "2016-06-24" @default.
- W1548045258 creator A5007329344 @default.
- W1548045258 creator A5068751792 @default.
- W1548045258 date "1999-01-01" @default.
- W1548045258 modified "2023-10-17" @default.
- W1548045258 title "Towards Rigorous Compiler Implementation Verification" @default.
- W1548045258 cites W1534850143 @default.
- W1548045258 cites W1593280365 @default.
- W1548045258 cites W2024625456 @default.
- W1548045258 cites W2034711041 @default.
- W1548045258 cites W2051632385 @default.
- W1548045258 cites W2058125478 @default.
- W1548045258 cites W2126815079 @default.
- W1548045258 cites W2170267084 @default.
- W1548045258 cites W4206362261 @default.
- W1548045258 cites W4210241296 @default.
- W1548045258 doi "https://doi.org/10.1007/10703260_4" @default.
- W1548045258 hasPublicationYear "1999" @default.
- W1548045258 type Work @default.
- W1548045258 sameAs 1548045258 @default.
- W1548045258 citedByCount "5" @default.
- W1548045258 countsByYear W15480452582019 @default.
- W1548045258 crossrefType "book-chapter" @default.
- W1548045258 hasAuthorship W1548045258A5007329344 @default.
- W1548045258 hasAuthorship W1548045258A5068751792 @default.
- W1548045258 hasConcept C160145156 @default.
- W1548045258 hasConcept C169590947 @default.
- W1548045258 hasConcept C190902152 @default.
- W1548045258 hasConcept C199360897 @default.
- W1548045258 hasConcept C26713055 @default.
- W1548045258 hasConcept C41008148 @default.
- W1548045258 hasConcept C55439883 @default.
- W1548045258 hasConcept C68366613 @default.
- W1548045258 hasConcept C9957790 @default.
- W1548045258 hasConceptScore W1548045258C160145156 @default.
- W1548045258 hasConceptScore W1548045258C169590947 @default.
- W1548045258 hasConceptScore W1548045258C190902152 @default.
- W1548045258 hasConceptScore W1548045258C199360897 @default.
- W1548045258 hasConceptScore W1548045258C26713055 @default.
- W1548045258 hasConceptScore W1548045258C41008148 @default.
- W1548045258 hasConceptScore W1548045258C55439883 @default.
- W1548045258 hasConceptScore W1548045258C68366613 @default.
- W1548045258 hasConceptScore W1548045258C9957790 @default.
- W1548045258 hasLocation W15480452581 @default.
- W1548045258 hasOpenAccess W1548045258 @default.
- W1548045258 hasPrimaryLocation W15480452581 @default.
- W1548045258 hasRelatedWork W1517926351 @default.
- W1548045258 hasRelatedWork W1977285665 @default.
- W1548045258 hasRelatedWork W2245390655 @default.
- W1548045258 hasRelatedWork W2559332729 @default.
- W1548045258 hasRelatedWork W2999274628 @default.
- W1548045258 hasRelatedWork W3031951370 @default.
- W1548045258 hasRelatedWork W3092853977 @default.
- W1548045258 hasRelatedWork W3124740916 @default.
- W1548045258 hasRelatedWork W3152373953 @default.
- W1548045258 hasRelatedWork W1602178951 @default.
- W1548045258 isParatext "false" @default.
- W1548045258 isRetracted "false" @default.
- W1548045258 magId "1548045258" @default.
- W1548045258 workType "book-chapter" @default.