Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225524072> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W4225524072 abstract "This notes explains how standard algorithms that construct sorting networks have been formalised and proved correct in the Coq proof assistant using the SSReflect extension." @default.
- W4225524072 created "2022-05-05" @default.
- W4225524072 creator A5024129541 @default.
- W4225524072 date "2022-03-03" @default.
- W4225524072 modified "2023-09-29" @default.
- W4225524072 title "A Formalisation of Algorithms for Sorting Network" @default.
- W4225524072 doi "https://doi.org/10.48550/arxiv.2203.01579" @default.
- W4225524072 hasPublicationYear "2022" @default.
- W4225524072 type Work @default.
- W4225524072 citedByCount "0" @default.
- W4225524072 crossrefType "posted-content" @default.
- W4225524072 hasAuthorship W4225524072A5024129541 @default.
- W4225524072 hasBestOaLocation W42255240721 @default.
- W4225524072 hasConcept C108094655 @default.
- W4225524072 hasConcept C111696304 @default.
- W4225524072 hasConcept C11413529 @default.
- W4225524072 hasConcept C41008148 @default.
- W4225524072 hasConcept C80444323 @default.
- W4225524072 hasConceptScore W4225524072C108094655 @default.
- W4225524072 hasConceptScore W4225524072C111696304 @default.
- W4225524072 hasConceptScore W4225524072C11413529 @default.
- W4225524072 hasConceptScore W4225524072C41008148 @default.
- W4225524072 hasConceptScore W4225524072C80444323 @default.
- W4225524072 hasLocation W42255240721 @default.
- W4225524072 hasOpenAccess W4225524072 @default.
- W4225524072 hasPrimaryLocation W42255240721 @default.
- W4225524072 hasRelatedWork W1970013943 @default.
- W4225524072 hasRelatedWork W2004633095 @default.
- W4225524072 hasRelatedWork W2040444614 @default.
- W4225524072 hasRelatedWork W2111500802 @default.
- W4225524072 hasRelatedWork W2183338438 @default.
- W4225524072 hasRelatedWork W2330205009 @default.
- W4225524072 hasRelatedWork W2389598404 @default.
- W4225524072 hasRelatedWork W3166991162 @default.
- W4225524072 hasRelatedWork W1590619243 @default.
- W4225524072 hasRelatedWork W1779598675 @default.
- W4225524072 isParatext "false" @default.
- W4225524072 isRetracted "false" @default.
- W4225524072 workType "article" @default.