Matches in SemOpenAlex for { <https://semopenalex.org/work/W2337963709> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2337963709 created "2016-06-24" @default.
- W2337963709 creator A5008409124 @default.
- W2337963709 date "2009-01-01" @default.
- W2337963709 modified "2023-09-24" @default.
- W2337963709 title "Dependent type inference for program verification" @default.
- W2337963709 hasPublicationYear "2009" @default.
- W2337963709 type Work @default.
- W2337963709 sameAs 2337963709 @default.
- W2337963709 citedByCount "0" @default.
- W2337963709 crossrefType "journal-article" @default.
- W2337963709 hasAuthorship W2337963709A5008409124 @default.
- W2337963709 hasConcept C127313418 @default.
- W2337963709 hasConcept C151730666 @default.
- W2337963709 hasConcept C154945302 @default.
- W2337963709 hasConcept C198370458 @default.
- W2337963709 hasConcept C199360897 @default.
- W2337963709 hasConcept C2776214188 @default.
- W2337963709 hasConcept C2777299769 @default.
- W2337963709 hasConcept C41008148 @default.
- W2337963709 hasConceptScore W2337963709C127313418 @default.
- W2337963709 hasConceptScore W2337963709C151730666 @default.
- W2337963709 hasConceptScore W2337963709C154945302 @default.
- W2337963709 hasConceptScore W2337963709C198370458 @default.
- W2337963709 hasConceptScore W2337963709C199360897 @default.
- W2337963709 hasConceptScore W2337963709C2776214188 @default.
- W2337963709 hasConceptScore W2337963709C2777299769 @default.
- W2337963709 hasConceptScore W2337963709C41008148 @default.
- W2337963709 hasLocation W23379637091 @default.
- W2337963709 hasOpenAccess W2337963709 @default.
- W2337963709 hasPrimaryLocation W23379637091 @default.
- W2337963709 hasRelatedWork W112807247 @default.
- W2337963709 hasRelatedWork W144372381 @default.
- W2337963709 hasRelatedWork W1480105416 @default.
- W2337963709 hasRelatedWork W1515363397 @default.
- W2337963709 hasRelatedWork W1517959189 @default.
- W2337963709 hasRelatedWork W1563202346 @default.
- W2337963709 hasRelatedWork W1582868218 @default.
- W2337963709 hasRelatedWork W1606950856 @default.
- W2337963709 hasRelatedWork W1968868944 @default.
- W2337963709 hasRelatedWork W2003823454 @default.
- W2337963709 hasRelatedWork W2067871120 @default.
- W2337963709 hasRelatedWork W2129864820 @default.
- W2337963709 hasRelatedWork W2141814015 @default.
- W2337963709 hasRelatedWork W2147650172 @default.
- W2337963709 hasRelatedWork W2154016114 @default.
- W2337963709 hasRelatedWork W2154861576 @default.
- W2337963709 hasRelatedWork W2158837316 @default.
- W2337963709 hasRelatedWork W2362813669 @default.
- W2337963709 hasRelatedWork W2460482979 @default.
- W2337963709 hasRelatedWork W3150270915 @default.
- W2337963709 isParatext "false" @default.
- W2337963709 isRetracted "false" @default.
- W2337963709 magId "2337963709" @default.
- W2337963709 workType "article" @default.