Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105945150> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2105945150 endingPage "211" @default.
- W2105945150 startingPage "196" @default.
- W2105945150 created "2016-06-24" @default.
- W2105945150 creator A5012713705 @default.
- W2105945150 creator A5016044555 @default.
- W2105945150 date "2009-01-01" @default.
- W2105945150 modified "2023-10-01" @default.
- W2105945150 title "Formal Certification of a Resource-Aware Language Implementation" @default.
- W2105945150 cites W1503028102 @default.
- W2105945150 cites W1536568106 @default.
- W2105945150 cites W1552921094 @default.
- W2105945150 cites W1553511155 @default.
- W2105945150 cites W1569393732 @default.
- W2105945150 cites W1579338145 @default.
- W2105945150 cites W1590222747 @default.
- W2105945150 cites W1971634047 @default.
- W2105945150 cites W2050469558 @default.
- W2105945150 cites W2052735108 @default.
- W2105945150 cites W2675276594 @default.
- W2105945150 cites W2911450990 @default.
- W2105945150 cites W4250846042 @default.
- W2105945150 cites W4251192040 @default.
- W2105945150 cites W4319715772 @default.
- W2105945150 doi "https://doi.org/10.1007/978-3-642-03359-9_15" @default.
- W2105945150 hasPublicationYear "2009" @default.
- W2105945150 type Work @default.
- W2105945150 sameAs 2105945150 @default.
- W2105945150 citedByCount "4" @default.
- W2105945150 countsByYear W21059451502015 @default.
- W2105945150 crossrefType "book-chapter" @default.
- W2105945150 hasAuthorship W2105945150A5012713705 @default.
- W2105945150 hasAuthorship W2105945150A5016044555 @default.
- W2105945150 hasConcept C104949639 @default.
- W2105945150 hasConcept C108710211 @default.
- W2105945150 hasConcept C122783720 @default.
- W2105945150 hasConcept C169590947 @default.
- W2105945150 hasConcept C17435882 @default.
- W2105945150 hasConcept C199360897 @default.
- W2105945150 hasConcept C203265346 @default.
- W2105945150 hasConcept C2524010 @default.
- W2105945150 hasConcept C2779818221 @default.
- W2105945150 hasConcept C2780624054 @default.
- W2105945150 hasConcept C33923547 @default.
- W2105945150 hasConcept C41008148 @default.
- W2105945150 hasConcept C42383842 @default.
- W2105945150 hasConcept C548217200 @default.
- W2105945150 hasConcept C55439883 @default.
- W2105945150 hasConceptScore W2105945150C104949639 @default.
- W2105945150 hasConceptScore W2105945150C108710211 @default.
- W2105945150 hasConceptScore W2105945150C122783720 @default.
- W2105945150 hasConceptScore W2105945150C169590947 @default.
- W2105945150 hasConceptScore W2105945150C17435882 @default.
- W2105945150 hasConceptScore W2105945150C199360897 @default.
- W2105945150 hasConceptScore W2105945150C203265346 @default.
- W2105945150 hasConceptScore W2105945150C2524010 @default.
- W2105945150 hasConceptScore W2105945150C2779818221 @default.
- W2105945150 hasConceptScore W2105945150C2780624054 @default.
- W2105945150 hasConceptScore W2105945150C33923547 @default.
- W2105945150 hasConceptScore W2105945150C41008148 @default.
- W2105945150 hasConceptScore W2105945150C42383842 @default.
- W2105945150 hasConceptScore W2105945150C548217200 @default.
- W2105945150 hasConceptScore W2105945150C55439883 @default.
- W2105945150 hasLocation W21059451501 @default.
- W2105945150 hasOpenAccess W2105945150 @default.
- W2105945150 hasPrimaryLocation W21059451501 @default.
- W2105945150 hasRelatedWork W1522519483 @default.
- W2105945150 hasRelatedWork W2068737373 @default.
- W2105945150 hasRelatedWork W2105945150 @default.
- W2105945150 hasRelatedWork W2177866842 @default.
- W2105945150 hasRelatedWork W2192862863 @default.
- W2105945150 hasRelatedWork W2792461873 @default.
- W2105945150 hasRelatedWork W3036611088 @default.
- W2105945150 hasRelatedWork W3048095579 @default.
- W2105945150 hasRelatedWork W34452851 @default.
- W2105945150 hasRelatedWork W644277775 @default.
- W2105945150 isParatext "false" @default.
- W2105945150 isRetracted "false" @default.
- W2105945150 magId "2105945150" @default.
- W2105945150 workType "book-chapter" @default.