Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387032370> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W4387032370 created "2023-09-27" @default.
- W4387032370 creator A5012704417 @default.
- W4387032370 creator A5061482746 @default.
- W4387032370 creator A5076929578 @default.
- W4387032370 date "2023-09-25" @default.
- W4387032370 modified "2023-09-27" @default.
- W4387032370 title "artifact for Lexicographic Ranking Supermartingales with Lazy Lower Bounds of POPL'24." @default.
- W4387032370 doi "https://doi.org/10.5281/zenodo.8374953" @default.
- W4387032370 hasPublicationYear "2023" @default.
- W4387032370 type Work @default.
- W4387032370 citedByCount "0" @default.
- W4387032370 crossrefType "journal-article" @default.
- W4387032370 hasAuthorship W4387032370A5012704417 @default.
- W4387032370 hasAuthorship W4387032370A5061482746 @default.
- W4387032370 hasAuthorship W4387032370A5076929578 @default.
- W4387032370 hasConcept C114614502 @default.
- W4387032370 hasConcept C154945302 @default.
- W4387032370 hasConcept C159254197 @default.
- W4387032370 hasConcept C189430467 @default.
- W4387032370 hasConcept C199360897 @default.
- W4387032370 hasConcept C2779010991 @default.
- W4387032370 hasConcept C33923547 @default.
- W4387032370 hasConcept C41008148 @default.
- W4387032370 hasConceptScore W4387032370C114614502 @default.
- W4387032370 hasConceptScore W4387032370C154945302 @default.
- W4387032370 hasConceptScore W4387032370C159254197 @default.
- W4387032370 hasConceptScore W4387032370C189430467 @default.
- W4387032370 hasConceptScore W4387032370C199360897 @default.
- W4387032370 hasConceptScore W4387032370C2779010991 @default.
- W4387032370 hasConceptScore W4387032370C33923547 @default.
- W4387032370 hasConceptScore W4387032370C41008148 @default.
- W4387032370 hasLocation W43870323701 @default.
- W4387032370 hasOpenAccess W4387032370 @default.
- W4387032370 hasPrimaryLocation W43870323701 @default.
- W4387032370 hasRelatedWork W1570525976 @default.
- W4387032370 hasRelatedWork W2007005467 @default.
- W4387032370 hasRelatedWork W2010477561 @default.
- W4387032370 hasRelatedWork W2089001936 @default.
- W4387032370 hasRelatedWork W2166247150 @default.
- W4387032370 hasRelatedWork W3011875448 @default.
- W4387032370 hasRelatedWork W3210272485 @default.
- W4387032370 hasRelatedWork W4243252198 @default.
- W4387032370 hasRelatedWork W4285787285 @default.
- W4387032370 hasRelatedWork W4321439950 @default.
- W4387032370 isParatext "false" @default.
- W4387032370 isRetracted "false" @default.
- W4387032370 workType "article" @default.