Matches in SemOpenAlex for { <https://semopenalex.org/work/W2808040475> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2808040475 created "2018-06-21" @default.
- W2808040475 creator A5001567598 @default.
- W2808040475 creator A5002432085 @default.
- W2808040475 date "2005-01-01" @default.
- W2808040475 modified "2023-09-27" @default.
- W2808040475 title "A probabilistic Hoare-style logic for game-based cryptographic proofs" @default.
- W2808040475 hasPublicationYear "2005" @default.
- W2808040475 type Work @default.
- W2808040475 sameAs 2808040475 @default.
- W2808040475 citedByCount "0" @default.
- W2808040475 crossrefType "journal-article" @default.
- W2808040475 hasAuthorship W2808040475A5001567598 @default.
- W2808040475 hasAuthorship W2808040475A5002432085 @default.
- W2808040475 hasConcept C104949639 @default.
- W2808040475 hasConcept C108710211 @default.
- W2808040475 hasConcept C154945302 @default.
- W2808040475 hasConcept C15927051 @default.
- W2808040475 hasConcept C166957645 @default.
- W2808040475 hasConcept C178489894 @default.
- W2808040475 hasConcept C199360897 @default.
- W2808040475 hasConcept C205649164 @default.
- W2808040475 hasConcept C2524010 @default.
- W2808040475 hasConcept C2776445246 @default.
- W2808040475 hasConcept C33884865 @default.
- W2808040475 hasConcept C33923547 @default.
- W2808040475 hasConcept C38652104 @default.
- W2808040475 hasConcept C41008148 @default.
- W2808040475 hasConcept C49937458 @default.
- W2808040475 hasConcept C55439883 @default.
- W2808040475 hasConcept C80444323 @default.
- W2808040475 hasConceptScore W2808040475C104949639 @default.
- W2808040475 hasConceptScore W2808040475C108710211 @default.
- W2808040475 hasConceptScore W2808040475C154945302 @default.
- W2808040475 hasConceptScore W2808040475C15927051 @default.
- W2808040475 hasConceptScore W2808040475C166957645 @default.
- W2808040475 hasConceptScore W2808040475C178489894 @default.
- W2808040475 hasConceptScore W2808040475C199360897 @default.
- W2808040475 hasConceptScore W2808040475C205649164 @default.
- W2808040475 hasConceptScore W2808040475C2524010 @default.
- W2808040475 hasConceptScore W2808040475C2776445246 @default.
- W2808040475 hasConceptScore W2808040475C33884865 @default.
- W2808040475 hasConceptScore W2808040475C33923547 @default.
- W2808040475 hasConceptScore W2808040475C38652104 @default.
- W2808040475 hasConceptScore W2808040475C41008148 @default.
- W2808040475 hasConceptScore W2808040475C49937458 @default.
- W2808040475 hasConceptScore W2808040475C55439883 @default.
- W2808040475 hasConceptScore W2808040475C80444323 @default.
- W2808040475 hasLocation W28080404751 @default.
- W2808040475 hasOpenAccess W2808040475 @default.
- W2808040475 hasPrimaryLocation W28080404751 @default.
- W2808040475 hasRelatedWork W1511360918 @default.
- W2808040475 hasRelatedWork W1553762530 @default.
- W2808040475 hasRelatedWork W1561531759 @default.
- W2808040475 hasRelatedWork W1600911961 @default.
- W2808040475 hasRelatedWork W170604229 @default.
- W2808040475 hasRelatedWork W1969414773 @default.
- W2808040475 hasRelatedWork W1995015365 @default.
- W2808040475 hasRelatedWork W2072448715 @default.
- W2808040475 hasRelatedWork W2082769874 @default.
- W2808040475 hasRelatedWork W2137657593 @default.
- W2808040475 hasRelatedWork W2394958322 @default.
- W2808040475 hasRelatedWork W2463700520 @default.
- W2808040475 hasRelatedWork W2483613969 @default.
- W2808040475 hasRelatedWork W2510622047 @default.
- W2808040475 hasRelatedWork W2587442880 @default.
- W2808040475 hasRelatedWork W2736366676 @default.
- W2808040475 hasRelatedWork W2751465014 @default.
- W2808040475 hasRelatedWork W2901281245 @default.
- W2808040475 hasRelatedWork W2957722170 @default.
- W2808040475 hasRelatedWork W3101136070 @default.
- W2808040475 isParatext "false" @default.
- W2808040475 isRetracted "false" @default.
- W2808040475 magId "2808040475" @default.
- W2808040475 workType "article" @default.