Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788166335> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2788166335 endingPage "490" @default.
- W2788166335 startingPage "475" @default.
- W2788166335 created "2018-03-06" @default.
- W2788166335 creator A5091334181 @default.
- W2788166335 date "2004-01-01" @default.
- W2788166335 modified "2023-09-25" @default.
- W2788166335 title "Extending Separation Logic with Fixpoints and Postponed Substitution" @default.
- W2788166335 cites W1486095773 @default.
- W2788166335 cites W1608869910 @default.
- W2788166335 cites W2014764321 @default.
- W2788166335 cites W2169907127 @default.
- W2788166335 cites W2987907651 @default.
- W2788166335 cites W39637947 @default.
- W2788166335 cites W4243994983 @default.
- W2788166335 doi "https://doi.org/10.1007/978-3-540-27815-3_36" @default.
- W2788166335 hasPublicationYear "2004" @default.
- W2788166335 type Work @default.
- W2788166335 sameAs 2788166335 @default.
- W2788166335 citedByCount "4" @default.
- W2788166335 crossrefType "book-chapter" @default.
- W2788166335 hasAuthorship W2788166335A5091334181 @default.
- W2788166335 hasConcept C11413529 @default.
- W2788166335 hasConcept C156325763 @default.
- W2788166335 hasConcept C167729594 @default.
- W2788166335 hasConcept C173856430 @default.
- W2788166335 hasConcept C184337299 @default.
- W2788166335 hasConcept C199360897 @default.
- W2788166335 hasConcept C207648694 @default.
- W2788166335 hasConcept C2524010 @default.
- W2788166335 hasConcept C2778029271 @default.
- W2788166335 hasConcept C2778220771 @default.
- W2788166335 hasConcept C33923547 @default.
- W2788166335 hasConcept C41008148 @default.
- W2788166335 hasConcept C58041814 @default.
- W2788166335 hasConcept C80444323 @default.
- W2788166335 hasConcept C94375191 @default.
- W2788166335 hasConceptScore W2788166335C11413529 @default.
- W2788166335 hasConceptScore W2788166335C156325763 @default.
- W2788166335 hasConceptScore W2788166335C167729594 @default.
- W2788166335 hasConceptScore W2788166335C173856430 @default.
- W2788166335 hasConceptScore W2788166335C184337299 @default.
- W2788166335 hasConceptScore W2788166335C199360897 @default.
- W2788166335 hasConceptScore W2788166335C207648694 @default.
- W2788166335 hasConceptScore W2788166335C2524010 @default.
- W2788166335 hasConceptScore W2788166335C2778029271 @default.
- W2788166335 hasConceptScore W2788166335C2778220771 @default.
- W2788166335 hasConceptScore W2788166335C33923547 @default.
- W2788166335 hasConceptScore W2788166335C41008148 @default.
- W2788166335 hasConceptScore W2788166335C58041814 @default.
- W2788166335 hasConceptScore W2788166335C80444323 @default.
- W2788166335 hasConceptScore W2788166335C94375191 @default.
- W2788166335 hasLocation W27881663351 @default.
- W2788166335 hasOpenAccess W2788166335 @default.
- W2788166335 hasPrimaryLocation W27881663351 @default.
- W2788166335 hasRelatedWork W1587224678 @default.
- W2788166335 hasRelatedWork W1778728081 @default.
- W2788166335 hasRelatedWork W2047793074 @default.
- W2788166335 hasRelatedWork W2053558194 @default.
- W2788166335 hasRelatedWork W2170606418 @default.
- W2788166335 hasRelatedWork W2388062429 @default.
- W2788166335 hasRelatedWork W4250918063 @default.
- W2788166335 hasRelatedWork W4297797338 @default.
- W2788166335 hasRelatedWork W47398997 @default.
- W2788166335 hasRelatedWork W89732893 @default.
- W2788166335 isParatext "false" @default.
- W2788166335 isRetracted "false" @default.
- W2788166335 magId "2788166335" @default.
- W2788166335 workType "book-chapter" @default.