Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009780609> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2009780609 endingPage "424" @default.
- W2009780609 startingPage "399" @default.
- W2009780609 abstract "Separation Logic and Context Logic have been used to reason locally about heap update and simple tree update. We study local reasoning based on Context Logic for a more realistic, local tree-update language which combines update commands with queries. This combination results in updates at multiple locations, which significantly affects the complexity of the reasoning." @default.
- W2009780609 created "2016-06-24" @default.
- W2009780609 creator A5047951273 @default.
- W2009780609 creator A5052030545 @default.
- W2009780609 date "2006-05-01" @default.
- W2009780609 modified "2023-10-17" @default.
- W2009780609 title "Local Reasoning About Tree Update" @default.
- W2009780609 cites W1608869910 @default.
- W2009780609 cites W1953089651 @default.
- W2009780609 cites W2008132476 @default.
- W2009780609 cites W2137628566 @default.
- W2009780609 cites W2167998587 @default.
- W2009780609 cites W3004968422 @default.
- W2009780609 cites W4233546248 @default.
- W2009780609 cites W4243994983 @default.
- W2009780609 doi "https://doi.org/10.1016/j.entcs.2006.04.020" @default.
- W2009780609 hasPublicationYear "2006" @default.
- W2009780609 type Work @default.
- W2009780609 sameAs 2009780609 @default.
- W2009780609 citedByCount "3" @default.
- W2009780609 countsByYear W20097806092013 @default.
- W2009780609 crossrefType "journal-article" @default.
- W2009780609 hasAuthorship W2009780609A5047951273 @default.
- W2009780609 hasAuthorship W2009780609A5052030545 @default.
- W2009780609 hasBestOaLocation W20097806091 @default.
- W2009780609 hasConcept C113174947 @default.
- W2009780609 hasConcept C134306372 @default.
- W2009780609 hasConcept C134757568 @default.
- W2009780609 hasConcept C173856430 @default.
- W2009780609 hasConcept C199360897 @default.
- W2009780609 hasConcept C33923547 @default.
- W2009780609 hasConcept C41008148 @default.
- W2009780609 hasConcept C80444323 @default.
- W2009780609 hasConceptScore W2009780609C113174947 @default.
- W2009780609 hasConceptScore W2009780609C134306372 @default.
- W2009780609 hasConceptScore W2009780609C134757568 @default.
- W2009780609 hasConceptScore W2009780609C173856430 @default.
- W2009780609 hasConceptScore W2009780609C199360897 @default.
- W2009780609 hasConceptScore W2009780609C33923547 @default.
- W2009780609 hasConceptScore W2009780609C41008148 @default.
- W2009780609 hasConceptScore W2009780609C80444323 @default.
- W2009780609 hasLocation W20097806091 @default.
- W2009780609 hasOpenAccess W2009780609 @default.
- W2009780609 hasPrimaryLocation W20097806091 @default.
- W2009780609 hasRelatedWork W112032180 @default.
- W2009780609 hasRelatedWork W2111558906 @default.
- W2009780609 hasRelatedWork W2143485404 @default.
- W2009780609 hasRelatedWork W2146329212 @default.
- W2009780609 hasRelatedWork W3023197541 @default.
- W2009780609 hasRelatedWork W3165665356 @default.
- W2009780609 hasRelatedWork W3183749185 @default.
- W2009780609 hasRelatedWork W4287164412 @default.
- W2009780609 hasRelatedWork W4288021755 @default.
- W2009780609 hasRelatedWork W56863910 @default.
- W2009780609 hasVolume "158" @default.
- W2009780609 isParatext "false" @default.
- W2009780609 isRetracted "false" @default.
- W2009780609 magId "2009780609" @default.
- W2009780609 workType "article" @default.