Matches in SemOpenAlex for { <https://semopenalex.org/work/W70450538> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W70450538 abstract "The design of automatic verification methods for programs manipulating dynamic data structures is a challenging problem. We consider programs that operate on a data structures with one next-pointer ..." @default.
- W70450538 created "2016-06-24" @default.
- W70450538 creator A5077648921 @default.
- W70450538 date "2009-01-01" @default.
- W70450538 modified "2023-09-27" @default.
- W70450538 title "Implementing Order Relations on Graphs" @default.
- W70450538 cites W1506323687 @default.
- W70450538 cites W1508482211 @default.
- W70450538 cites W1522742464 @default.
- W70450538 cites W1567479568 @default.
- W70450538 cites W1574642627 @default.
- W70450538 cites W1577233792 @default.
- W70450538 cites W1578881602 @default.
- W70450538 cites W1603554695 @default.
- W70450538 cites W1606654639 @default.
- W70450538 cites W1860772589 @default.
- W70450538 cites W1988441831 @default.
- W70450538 cites W1991837261 @default.
- W70450538 cites W2053229198 @default.
- W70450538 cites W2072851563 @default.
- W70450538 cites W2135163511 @default.
- W70450538 cites W2137628566 @default.
- W70450538 cites W2166858727 @default.
- W70450538 cites W3004540582 @default.
- W70450538 cites W3145128584 @default.
- W70450538 cites W574814119 @default.
- W70450538 hasPublicationYear "2009" @default.
- W70450538 type Work @default.
- W70450538 sameAs 70450538 @default.
- W70450538 citedByCount "0" @default.
- W70450538 crossrefType "journal-article" @default.
- W70450538 hasAuthorship W70450538A5077648921 @default.
- W70450538 hasConcept C10138342 @default.
- W70450538 hasConcept C144133560 @default.
- W70450538 hasConcept C182306322 @default.
- W70450538 hasConcept C33923547 @default.
- W70450538 hasConcept C41008148 @default.
- W70450538 hasConceptScore W70450538C10138342 @default.
- W70450538 hasConceptScore W70450538C144133560 @default.
- W70450538 hasConceptScore W70450538C182306322 @default.
- W70450538 hasConceptScore W70450538C33923547 @default.
- W70450538 hasConceptScore W70450538C41008148 @default.
- W70450538 hasLocation W704505381 @default.
- W70450538 hasOpenAccess W70450538 @default.
- W70450538 hasPrimaryLocation W704505381 @default.
- W70450538 hasRelatedWork W116151670 @default.
- W70450538 hasRelatedWork W121912923 @default.
- W70450538 hasRelatedWork W1527934470 @default.
- W70450538 hasRelatedWork W1542612681 @default.
- W70450538 hasRelatedWork W1587996980 @default.
- W70450538 hasRelatedWork W1961824217 @default.
- W70450538 hasRelatedWork W2126680000 @default.
- W70450538 hasRelatedWork W2186526396 @default.
- W70450538 hasRelatedWork W2198660300 @default.
- W70450538 hasRelatedWork W2337674744 @default.
- W70450538 hasRelatedWork W2399515709 @default.
- W70450538 hasRelatedWork W2490313081 @default.
- W70450538 hasRelatedWork W2516696752 @default.
- W70450538 hasRelatedWork W2534107961 @default.
- W70450538 hasRelatedWork W2559867293 @default.
- W70450538 hasRelatedWork W2885851392 @default.
- W70450538 hasRelatedWork W3048411260 @default.
- W70450538 hasRelatedWork W3104371626 @default.
- W70450538 hasRelatedWork W3199754933 @default.
- W70450538 hasRelatedWork W2558797842 @default.
- W70450538 isParatext "false" @default.
- W70450538 isRetracted "false" @default.
- W70450538 magId "70450538" @default.
- W70450538 workType "article" @default.