Matches in SemOpenAlex for { <https://semopenalex.org/work/W4231343555> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4231343555 created "2022-05-12" @default.
- W4231343555 creator A5046475940 @default.
- W4231343555 creator A5083683038 @default.
- W4231343555 date "2018-01-01" @default.
- W4231343555 modified "2023-09-27" @default.
- W4231343555 title "A Coq formalization of normalization by evaluation for Martin-Löf type theory" @default.
- W4231343555 cites W1537686191 @default.
- W4231343555 cites W1553511155 @default.
- W4231343555 cites W1559985026 @default.
- W4231343555 cites W1690628218 @default.
- W4231343555 cites W1973667838 @default.
- W4231343555 cites W2005380195 @default.
- W4231343555 cites W2032294923 @default.
- W4231343555 cites W2058174669 @default.
- W4231343555 cites W2070925023 @default.
- W4231343555 cites W2102151984 @default.
- W4231343555 cites W2141636159 @default.
- W4231343555 cites W2148076999 @default.
- W4231343555 cites W2159419736 @default.
- W4231343555 cites W2395623455 @default.
- W4231343555 cites W3104826616 @default.
- W4231343555 doi "https://doi.org/10.1145/3176245.3167091" @default.
- W4231343555 hasPublicationYear "2018" @default.
- W4231343555 type Work @default.
- W4231343555 citedByCount "0" @default.
- W4231343555 crossrefType "proceedings-article" @default.
- W4231343555 hasAuthorship W4231343555A5046475940 @default.
- W4231343555 hasAuthorship W4231343555A5083683038 @default.
- W4231343555 hasConcept C136886441 @default.
- W4231343555 hasConcept C144024400 @default.
- W4231343555 hasConcept C18903297 @default.
- W4231343555 hasConcept C19165224 @default.
- W4231343555 hasConcept C199360897 @default.
- W4231343555 hasConcept C2777299769 @default.
- W4231343555 hasConcept C41008148 @default.
- W4231343555 hasConcept C86803240 @default.
- W4231343555 hasConcept C93682546 @default.
- W4231343555 hasConceptScore W4231343555C136886441 @default.
- W4231343555 hasConceptScore W4231343555C144024400 @default.
- W4231343555 hasConceptScore W4231343555C18903297 @default.
- W4231343555 hasConceptScore W4231343555C19165224 @default.
- W4231343555 hasConceptScore W4231343555C199360897 @default.
- W4231343555 hasConceptScore W4231343555C2777299769 @default.
- W4231343555 hasConceptScore W4231343555C41008148 @default.
- W4231343555 hasConceptScore W4231343555C86803240 @default.
- W4231343555 hasConceptScore W4231343555C93682546 @default.
- W4231343555 hasLocation W42313435551 @default.
- W4231343555 hasOpenAccess W4231343555 @default.
- W4231343555 hasPrimaryLocation W42313435551 @default.
- W4231343555 hasRelatedWork W1032800 @default.
- W4231343555 hasRelatedWork W10725524 @default.
- W4231343555 hasRelatedWork W11923277 @default.
- W4231343555 hasRelatedWork W1863899 @default.
- W4231343555 hasRelatedWork W2145199 @default.
- W4231343555 hasRelatedWork W619815 @default.
- W4231343555 hasRelatedWork W6835022 @default.
- W4231343555 hasRelatedWork W8053157 @default.
- W4231343555 hasRelatedWork W8308374 @default.
- W4231343555 hasRelatedWork W13553748 @default.
- W4231343555 isParatext "false" @default.
- W4231343555 isRetracted "false" @default.
- W4231343555 workType "article" @default.