Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287640902> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4287640902 created "2022-07-25" @default.
- W4287640902 creator A5023497951 @default.
- W4287640902 creator A5039972599 @default.
- W4287640902 creator A5057489415 @default.
- W4287640902 creator A5067172912 @default.
- W4287640902 creator A5074606459 @default.
- W4287640902 creator A5091372985 @default.
- W4287640902 date "2020-10-14" @default.
- W4287640902 modified "2023-09-27" @default.
- W4287640902 title "Gradual Verification of Recursive Heap Data Structures" @default.
- W4287640902 doi "https://doi.org/10.5281/zenodo.4085933" @default.
- W4287640902 hasPublicationYear "2020" @default.
- W4287640902 type Work @default.
- W4287640902 citedByCount "0" @default.
- W4287640902 crossrefType "proceedings" @default.
- W4287640902 hasAuthorship W4287640902A5023497951 @default.
- W4287640902 hasAuthorship W4287640902A5039972599 @default.
- W4287640902 hasAuthorship W4287640902A5057489415 @default.
- W4287640902 hasAuthorship W4287640902A5067172912 @default.
- W4287640902 hasAuthorship W4287640902A5074606459 @default.
- W4287640902 hasAuthorship W4287640902A5091372985 @default.
- W4287640902 hasBestOaLocation W42876409021 @default.
- W4287640902 hasConcept C134757568 @default.
- W4287640902 hasConcept C162319229 @default.
- W4287640902 hasConcept C173608175 @default.
- W4287640902 hasConcept C199360897 @default.
- W4287640902 hasConcept C41008148 @default.
- W4287640902 hasConcept C80444323 @default.
- W4287640902 hasConceptScore W4287640902C134757568 @default.
- W4287640902 hasConceptScore W4287640902C162319229 @default.
- W4287640902 hasConceptScore W4287640902C173608175 @default.
- W4287640902 hasConceptScore W4287640902C199360897 @default.
- W4287640902 hasConceptScore W4287640902C41008148 @default.
- W4287640902 hasConceptScore W4287640902C80444323 @default.
- W4287640902 hasLocation W42876409021 @default.
- W4287640902 hasLocation W42876409022 @default.
- W4287640902 hasOpenAccess W4287640902 @default.
- W4287640902 hasPrimaryLocation W42876409021 @default.
- W4287640902 hasRelatedWork W1502289629 @default.
- W4287640902 hasRelatedWork W1586759316 @default.
- W4287640902 hasRelatedWork W1967362387 @default.
- W4287640902 hasRelatedWork W2025670560 @default.
- W4287640902 hasRelatedWork W202830804 @default.
- W4287640902 hasRelatedWork W2169071157 @default.
- W4287640902 hasRelatedWork W2899100898 @default.
- W4287640902 hasRelatedWork W4231553033 @default.
- W4287640902 hasRelatedWork W4233387348 @default.
- W4287640902 hasRelatedWork W222915317 @default.
- W4287640902 isParatext "false" @default.
- W4287640902 isRetracted "false" @default.
- W4287640902 workType "paratext" @default.