Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139080007> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2139080007 created "2016-06-24" @default.
- W2139080007 creator A5010037751 @default.
- W2139080007 date "1985-01-01" @default.
- W2139080007 modified "2023-09-23" @default.
- W2139080007 title "The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables" @default.
- W2139080007 hasPublicationYear "1985" @default.
- W2139080007 type Work @default.
- W2139080007 sameAs 2139080007 @default.
- W2139080007 citedByCount "6" @default.
- W2139080007 crossrefType "book" @default.
- W2139080007 hasAuthorship W2139080007A5010037751 @default.
- W2139080007 hasConcept C121375916 @default.
- W2139080007 hasConcept C154945302 @default.
- W2139080007 hasConcept C193702766 @default.
- W2139080007 hasConcept C199360897 @default.
- W2139080007 hasConcept C40422974 @default.
- W2139080007 hasConcept C41008148 @default.
- W2139080007 hasConceptScore W2139080007C121375916 @default.
- W2139080007 hasConceptScore W2139080007C154945302 @default.
- W2139080007 hasConceptScore W2139080007C193702766 @default.
- W2139080007 hasConceptScore W2139080007C199360897 @default.
- W2139080007 hasConceptScore W2139080007C40422974 @default.
- W2139080007 hasConceptScore W2139080007C41008148 @default.
- W2139080007 hasLocation W21390800071 @default.
- W2139080007 hasOpenAccess W2139080007 @default.
- W2139080007 hasPrimaryLocation W21390800071 @default.
- W2139080007 hasRelatedWork W1553472522 @default.
- W2139080007 hasRelatedWork W1573218854 @default.
- W2139080007 hasRelatedWork W1964727056 @default.
- W2139080007 hasRelatedWork W1975586790 @default.
- W2139080007 hasRelatedWork W1984831616 @default.
- W2139080007 hasRelatedWork W2007408338 @default.
- W2139080007 hasRelatedWork W2023808162 @default.
- W2139080007 hasRelatedWork W2030590001 @default.
- W2139080007 hasRelatedWork W2038952689 @default.
- W2139080007 hasRelatedWork W2060551365 @default.
- W2139080007 hasRelatedWork W2061841985 @default.
- W2139080007 hasRelatedWork W2086070079 @default.
- W2139080007 hasRelatedWork W2090551028 @default.
- W2139080007 hasRelatedWork W2111619838 @default.
- W2139080007 hasRelatedWork W3049713846 @default.
- W2139080007 hasRelatedWork W3144368627 @default.
- W2139080007 hasRelatedWork W3146075203 @default.
- W2139080007 hasRelatedWork W80370608 @default.
- W2139080007 isParatext "false" @default.
- W2139080007 isRetracted "false" @default.
- W2139080007 magId "2139080007" @default.
- W2139080007 workType "book" @default.