Matches in SemOpenAlex for { <https://semopenalex.org/work/W3088039095> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3088039095 endingPage "1485" @default.
- W3088039095 startingPage "1469" @default.
- W3088039095 abstract "Abstract Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there are only few logic-based models for blockchains available. We introduce $mathsf{BCL}$, a dynamic logic to reason about blockchain updates, and show that $mathsf{BCL}$ is sound and complete with respect to a simple blockchain model." @default.
- W3088039095 created "2020-10-01" @default.
- W3088039095 creator A5057280880 @default.
- W3088039095 creator A5085141248 @default.
- W3088039095 creator A5086903137 @default.
- W3088039095 date "2020-09-25" @default.
- W3088039095 modified "2023-10-01" @default.
- W3088039095 title "A logic of blockchain updates" @default.
- W3088039095 cites W1984217892 @default.
- W3088039095 cites W2043468053 @default.
- W3088039095 cites W2138642144 @default.
- W3088039095 cites W2152584723 @default.
- W3088039095 cites W2170447572 @default.
- W3088039095 cites W2271730576 @default.
- W3088039095 cites W2531314315 @default.
- W3088039095 cites W2592068898 @default.
- W3088039095 cites W2938691515 @default.
- W3088039095 cites W2963146767 @default.
- W3088039095 cites W2972190194 @default.
- W3088039095 cites W3137092842 @default.
- W3088039095 cites W4211092209 @default.
- W3088039095 cites W4246988958 @default.
- W3088039095 doi "https://doi.org/10.1093/logcom/exaa045" @default.
- W3088039095 hasPublicationYear "2020" @default.
- W3088039095 type Work @default.
- W3088039095 sameAs 3088039095 @default.
- W3088039095 citedByCount "6" @default.
- W3088039095 countsByYear W30880390952022 @default.
- W3088039095 countsByYear W30880390952023 @default.
- W3088039095 crossrefType "journal-article" @default.
- W3088039095 hasAuthorship W3088039095A5057280880 @default.
- W3088039095 hasAuthorship W3088039095A5085141248 @default.
- W3088039095 hasAuthorship W3088039095A5086903137 @default.
- W3088039095 hasBestOaLocation W30880390952 @default.
- W3088039095 hasConcept C111472728 @default.
- W3088039095 hasConcept C138885662 @default.
- W3088039095 hasConcept C15744967 @default.
- W3088039095 hasConcept C180706569 @default.
- W3088039095 hasConcept C2779687700 @default.
- W3088039095 hasConcept C2780586882 @default.
- W3088039095 hasConcept C2780586970 @default.
- W3088039095 hasConcept C38652104 @default.
- W3088039095 hasConcept C41008148 @default.
- W3088039095 hasConcept C77805123 @default.
- W3088039095 hasConcept C80444323 @default.
- W3088039095 hasConceptScore W3088039095C111472728 @default.
- W3088039095 hasConceptScore W3088039095C138885662 @default.
- W3088039095 hasConceptScore W3088039095C15744967 @default.
- W3088039095 hasConceptScore W3088039095C180706569 @default.
- W3088039095 hasConceptScore W3088039095C2779687700 @default.
- W3088039095 hasConceptScore W3088039095C2780586882 @default.
- W3088039095 hasConceptScore W3088039095C2780586970 @default.
- W3088039095 hasConceptScore W3088039095C38652104 @default.
- W3088039095 hasConceptScore W3088039095C41008148 @default.
- W3088039095 hasConceptScore W3088039095C77805123 @default.
- W3088039095 hasConceptScore W3088039095C80444323 @default.
- W3088039095 hasFunder F4320320924 @default.
- W3088039095 hasIssue "8" @default.
- W3088039095 hasLocation W30880390951 @default.
- W3088039095 hasLocation W30880390952 @default.
- W3088039095 hasLocation W30880390953 @default.
- W3088039095 hasOpenAccess W3088039095 @default.
- W3088039095 hasPrimaryLocation W30880390951 @default.
- W3088039095 hasRelatedWork W2902611211 @default.
- W3088039095 hasRelatedWork W2995102552 @default.
- W3088039095 hasRelatedWork W2996468513 @default.
- W3088039095 hasRelatedWork W3082132484 @default.
- W3088039095 hasRelatedWork W3110657606 @default.
- W3088039095 hasRelatedWork W3188313903 @default.
- W3088039095 hasRelatedWork W4213000553 @default.
- W3088039095 hasRelatedWork W4226450231 @default.
- W3088039095 hasRelatedWork W4226470295 @default.
- W3088039095 hasRelatedWork W4297984640 @default.
- W3088039095 hasVolume "30" @default.
- W3088039095 isParatext "false" @default.
- W3088039095 isRetracted "false" @default.
- W3088039095 magId "3088039095" @default.
- W3088039095 workType "article" @default.