Matches in SemOpenAlex for { <https://semopenalex.org/work/W2184421553> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2184421553 endingPage "155" @default.
- W2184421553 startingPage "140" @default.
- W2184421553 created "2016-06-24" @default.
- W2184421553 creator A5012489692 @default.
- W2184421553 creator A5014450496 @default.
- W2184421553 date "2013-01-01" @default.
- W2184421553 modified "2023-10-03" @default.
- W2184421553 title "A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation" @default.
- W2184421553 cites W1604851874 @default.
- W2184421553 cites W18232636 @default.
- W2184421553 cites W1966663897 @default.
- W2184421553 cites W2032294923 @default.
- W2184421553 cites W2056024754 @default.
- W2184421553 cites W2058174669 @default.
- W2184421553 cites W2090046646 @default.
- W2184421553 cites W2096161640 @default.
- W2184421553 cites W2151520617 @default.
- W2184421553 cites W2158657245 @default.
- W2184421553 cites W2161017670 @default.
- W2184421553 cites W2951383623 @default.
- W2184421553 doi "https://doi.org/10.1007/978-3-642-38946-7_12" @default.
- W2184421553 hasPublicationYear "2013" @default.
- W2184421553 type Work @default.
- W2184421553 sameAs 2184421553 @default.
- W2184421553 citedByCount "2" @default.
- W2184421553 countsByYear W21844215532015 @default.
- W2184421553 countsByYear W21844215532017 @default.
- W2184421553 crossrefType "book-chapter" @default.
- W2184421553 hasAuthorship W2184421553A5012489692 @default.
- W2184421553 hasAuthorship W2184421553A5014450496 @default.
- W2184421553 hasConcept C11413529 @default.
- W2184421553 hasConcept C151730666 @default.
- W2184421553 hasConcept C153269930 @default.
- W2184421553 hasConcept C18903297 @default.
- W2184421553 hasConcept C199360897 @default.
- W2184421553 hasConcept C2777299769 @default.
- W2184421553 hasConcept C2779343474 @default.
- W2184421553 hasConcept C41008148 @default.
- W2184421553 hasConcept C55439883 @default.
- W2184421553 hasConcept C80444323 @default.
- W2184421553 hasConcept C83852419 @default.
- W2184421553 hasConcept C86803240 @default.
- W2184421553 hasConcept C93682546 @default.
- W2184421553 hasConceptScore W2184421553C11413529 @default.
- W2184421553 hasConceptScore W2184421553C151730666 @default.
- W2184421553 hasConceptScore W2184421553C153269930 @default.
- W2184421553 hasConceptScore W2184421553C18903297 @default.
- W2184421553 hasConceptScore W2184421553C199360897 @default.
- W2184421553 hasConceptScore W2184421553C2777299769 @default.
- W2184421553 hasConceptScore W2184421553C2779343474 @default.
- W2184421553 hasConceptScore W2184421553C41008148 @default.
- W2184421553 hasConceptScore W2184421553C55439883 @default.
- W2184421553 hasConceptScore W2184421553C80444323 @default.
- W2184421553 hasConceptScore W2184421553C83852419 @default.
- W2184421553 hasConceptScore W2184421553C86803240 @default.
- W2184421553 hasConceptScore W2184421553C93682546 @default.
- W2184421553 hasLocation W21844215531 @default.
- W2184421553 hasOpenAccess W2184421553 @default.
- W2184421553 hasPrimaryLocation W21844215531 @default.
- W2184421553 hasRelatedWork W1480879962 @default.
- W2184421553 hasRelatedWork W1576690287 @default.
- W2184421553 hasRelatedWork W1994115046 @default.
- W2184421553 hasRelatedWork W2056557620 @default.
- W2184421553 hasRelatedWork W2146937878 @default.
- W2184421553 hasRelatedWork W2184421553 @default.
- W2184421553 hasRelatedWork W2999374896 @default.
- W2184421553 hasRelatedWork W3092664739 @default.
- W2184421553 hasRelatedWork W3205444791 @default.
- W2184421553 hasRelatedWork W54523939 @default.
- W2184421553 isParatext "false" @default.
- W2184421553 isRetracted "false" @default.
- W2184421553 magId "2184421553" @default.
- W2184421553 workType "book-chapter" @default.