Matches in SemOpenAlex for { <https://semopenalex.org/work/W1510220347> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1510220347 endingPage "28" @default.
- W1510220347 startingPage "28" @default.
- W1510220347 created "2016-06-24" @default.
- W1510220347 creator A5064972235 @default.
- W1510220347 date "2008-08-12" @default.
- W1510220347 modified "2023-09-24" @default.
- W1510220347 title "Programming with Effects in Coq" @default.
- W1510220347 doi "https://doi.org/10.1007/978-3-540-70594-9_3" @default.
- W1510220347 hasPublicationYear "2008" @default.
- W1510220347 type Work @default.
- W1510220347 sameAs 1510220347 @default.
- W1510220347 citedByCount "0" @default.
- W1510220347 crossrefType "book-chapter" @default.
- W1510220347 hasAuthorship W1510220347A5064972235 @default.
- W1510220347 hasConcept C101468663 @default.
- W1510220347 hasConcept C104949639 @default.
- W1510220347 hasConcept C108710211 @default.
- W1510220347 hasConcept C115903868 @default.
- W1510220347 hasConcept C169590947 @default.
- W1510220347 hasConcept C18903297 @default.
- W1510220347 hasConcept C199360897 @default.
- W1510220347 hasConcept C203265346 @default.
- W1510220347 hasConcept C2524010 @default.
- W1510220347 hasConcept C2777299769 @default.
- W1510220347 hasConcept C2780624054 @default.
- W1510220347 hasConcept C33923547 @default.
- W1510220347 hasConcept C41008148 @default.
- W1510220347 hasConcept C42383842 @default.
- W1510220347 hasConcept C44779574 @default.
- W1510220347 hasConcept C55439883 @default.
- W1510220347 hasConcept C86803240 @default.
- W1510220347 hasConcept C93682546 @default.
- W1510220347 hasConceptScore W1510220347C101468663 @default.
- W1510220347 hasConceptScore W1510220347C104949639 @default.
- W1510220347 hasConceptScore W1510220347C108710211 @default.
- W1510220347 hasConceptScore W1510220347C115903868 @default.
- W1510220347 hasConceptScore W1510220347C169590947 @default.
- W1510220347 hasConceptScore W1510220347C18903297 @default.
- W1510220347 hasConceptScore W1510220347C199360897 @default.
- W1510220347 hasConceptScore W1510220347C203265346 @default.
- W1510220347 hasConceptScore W1510220347C2524010 @default.
- W1510220347 hasConceptScore W1510220347C2777299769 @default.
- W1510220347 hasConceptScore W1510220347C2780624054 @default.
- W1510220347 hasConceptScore W1510220347C33923547 @default.
- W1510220347 hasConceptScore W1510220347C41008148 @default.
- W1510220347 hasConceptScore W1510220347C42383842 @default.
- W1510220347 hasConceptScore W1510220347C44779574 @default.
- W1510220347 hasConceptScore W1510220347C55439883 @default.
- W1510220347 hasConceptScore W1510220347C86803240 @default.
- W1510220347 hasConceptScore W1510220347C93682546 @default.
- W1510220347 hasLocation W15102203471 @default.
- W1510220347 hasOpenAccess W1510220347 @default.
- W1510220347 hasPrimaryLocation W15102203471 @default.
- W1510220347 hasRelatedWork W1510220347 @default.
- W1510220347 hasRelatedWork W1573380057 @default.
- W1510220347 hasRelatedWork W2048536148 @default.
- W1510220347 hasRelatedWork W2105945150 @default.
- W1510220347 hasRelatedWork W2177866842 @default.
- W1510220347 hasRelatedWork W2561717017 @default.
- W1510220347 hasRelatedWork W2886069053 @default.
- W1510220347 hasRelatedWork W3006157134 @default.
- W1510220347 hasRelatedWork W3157773961 @default.
- W1510220347 hasRelatedWork W49489561 @default.
- W1510220347 isParatext "false" @default.
- W1510220347 isRetracted "false" @default.
- W1510220347 magId "1510220347" @default.
- W1510220347 workType "book-chapter" @default.