Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144977887> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2144977887 endingPage "181" @default.
- W2144977887 startingPage "181" @default.
- W2144977887 created "2016-06-24" @default.
- W2144977887 creator A5068136684 @default.
- W2144977887 date "2006-01-01" @default.
- W2144977887 modified "2023-09-23" @default.
- W2144977887 title "Separation Logic and Program Analysis" @default.
- W2144977887 doi "https://doi.org/10.1007/11823230_12" @default.
- W2144977887 hasPublicationYear "2006" @default.
- W2144977887 type Work @default.
- W2144977887 sameAs 2144977887 @default.
- W2144977887 citedByCount "2" @default.
- W2144977887 crossrefType "book-chapter" @default.
- W2144977887 hasAuthorship W2144977887A5068136684 @default.
- W2144977887 hasConcept C102993220 @default.
- W2144977887 hasConcept C108710211 @default.
- W2144977887 hasConcept C138885662 @default.
- W2144977887 hasConcept C142362112 @default.
- W2144977887 hasConcept C150202949 @default.
- W2144977887 hasConcept C153349607 @default.
- W2144977887 hasConcept C154945302 @default.
- W2144977887 hasConcept C171018156 @default.
- W2144977887 hasConcept C173856430 @default.
- W2144977887 hasConcept C199360897 @default.
- W2144977887 hasConcept C203659156 @default.
- W2144977887 hasConcept C2524010 @default.
- W2144977887 hasConcept C2779478453 @default.
- W2144977887 hasConcept C2779808786 @default.
- W2144977887 hasConcept C33923547 @default.
- W2144977887 hasConcept C3845977 @default.
- W2144977887 hasConcept C41008148 @default.
- W2144977887 hasConcept C41895202 @default.
- W2144977887 hasConcept C54355233 @default.
- W2144977887 hasConcept C558565934 @default.
- W2144977887 hasConcept C73301696 @default.
- W2144977887 hasConcept C80444323 @default.
- W2144977887 hasConcept C80467683 @default.
- W2144977887 hasConcept C86803240 @default.
- W2144977887 hasConceptScore W2144977887C102993220 @default.
- W2144977887 hasConceptScore W2144977887C108710211 @default.
- W2144977887 hasConceptScore W2144977887C138885662 @default.
- W2144977887 hasConceptScore W2144977887C142362112 @default.
- W2144977887 hasConceptScore W2144977887C150202949 @default.
- W2144977887 hasConceptScore W2144977887C153349607 @default.
- W2144977887 hasConceptScore W2144977887C154945302 @default.
- W2144977887 hasConceptScore W2144977887C171018156 @default.
- W2144977887 hasConceptScore W2144977887C173856430 @default.
- W2144977887 hasConceptScore W2144977887C199360897 @default.
- W2144977887 hasConceptScore W2144977887C203659156 @default.
- W2144977887 hasConceptScore W2144977887C2524010 @default.
- W2144977887 hasConceptScore W2144977887C2779478453 @default.
- W2144977887 hasConceptScore W2144977887C2779808786 @default.
- W2144977887 hasConceptScore W2144977887C33923547 @default.
- W2144977887 hasConceptScore W2144977887C3845977 @default.
- W2144977887 hasConceptScore W2144977887C41008148 @default.
- W2144977887 hasConceptScore W2144977887C41895202 @default.
- W2144977887 hasConceptScore W2144977887C54355233 @default.
- W2144977887 hasConceptScore W2144977887C558565934 @default.
- W2144977887 hasConceptScore W2144977887C73301696 @default.
- W2144977887 hasConceptScore W2144977887C80444323 @default.
- W2144977887 hasConceptScore W2144977887C80467683 @default.
- W2144977887 hasConceptScore W2144977887C86803240 @default.
- W2144977887 hasLocation W21449778871 @default.
- W2144977887 hasOpenAccess W2144977887 @default.
- W2144977887 hasPrimaryLocation W21449778871 @default.
- W2144977887 hasRelatedWork W109398478 @default.
- W2144977887 hasRelatedWork W1965240571 @default.
- W2144977887 hasRelatedWork W2144977887 @default.
- W2144977887 hasRelatedWork W2388225464 @default.
- W2144977887 hasRelatedWork W2484255726 @default.
- W2144977887 hasRelatedWork W2522419648 @default.
- W2144977887 hasRelatedWork W2564359929 @default.
- W2144977887 hasRelatedWork W3099800985 @default.
- W2144977887 hasRelatedWork W755706730 @default.
- W2144977887 hasRelatedWork W2473782931 @default.
- W2144977887 isParatext "false" @default.
- W2144977887 isRetracted "false" @default.
- W2144977887 magId "2144977887" @default.
- W2144977887 workType "book-chapter" @default.