Matches in SemOpenAlex for { <https://semopenalex.org/work/W2561578438> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2561578438 created "2017-01-06" @default.
- W2561578438 creator A5021805478 @default.
- W2561578438 date "2016-01-01" @default.
- W2561578438 modified "2023-09-27" @default.
- W2561578438 title "Improving Error Messages for Dependent Types with Constraint-based Unification" @default.
- W2561578438 hasPublicationYear "2016" @default.
- W2561578438 type Work @default.
- W2561578438 sameAs 2561578438 @default.
- W2561578438 citedByCount "0" @default.
- W2561578438 crossrefType "dissertation" @default.
- W2561578438 hasAuthorship W2561578438A5021805478 @default.
- W2561578438 hasConcept C199360897 @default.
- W2561578438 hasConcept C2524010 @default.
- W2561578438 hasConcept C2776036281 @default.
- W2561578438 hasConcept C33923547 @default.
- W2561578438 hasConcept C41008148 @default.
- W2561578438 hasConcept C96146094 @default.
- W2561578438 hasConceptScore W2561578438C199360897 @default.
- W2561578438 hasConceptScore W2561578438C2524010 @default.
- W2561578438 hasConceptScore W2561578438C2776036281 @default.
- W2561578438 hasConceptScore W2561578438C33923547 @default.
- W2561578438 hasConceptScore W2561578438C41008148 @default.
- W2561578438 hasConceptScore W2561578438C96146094 @default.
- W2561578438 hasLocation W25615784381 @default.
- W2561578438 hasOpenAccess W2561578438 @default.
- W2561578438 hasPrimaryLocation W25615784381 @default.
- W2561578438 hasRelatedWork W1032800 @default.
- W2561578438 hasRelatedWork W1503552388 @default.
- W2561578438 hasRelatedWork W1554667392 @default.
- W2561578438 hasRelatedWork W1566445069 @default.
- W2561578438 hasRelatedWork W1986270432 @default.
- W2561578438 hasRelatedWork W2006691463 @default.
- W2561578438 hasRelatedWork W2021519440 @default.
- W2561578438 hasRelatedWork W2022209705 @default.
- W2561578438 hasRelatedWork W2033843600 @default.
- W2561578438 hasRelatedWork W2071395587 @default.
- W2561578438 hasRelatedWork W2098504640 @default.
- W2561578438 hasRelatedWork W2119846530 @default.
- W2561578438 hasRelatedWork W2119897009 @default.
- W2561578438 hasRelatedWork W2124126159 @default.
- W2561578438 hasRelatedWork W2134658687 @default.
- W2561578438 hasRelatedWork W2308470703 @default.
- W2561578438 hasRelatedWork W2621223372 @default.
- W2561578438 hasRelatedWork W3003990530 @default.
- W2561578438 hasRelatedWork W3015128396 @default.
- W2561578438 hasRelatedWork W3081281523 @default.
- W2561578438 isParatext "false" @default.
- W2561578438 isRetracted "false" @default.
- W2561578438 magId "2561578438" @default.
- W2561578438 workType "dissertation" @default.