Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519465599> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1519465599 endingPage "529" @default.
- W1519465599 startingPage "515" @default.
- W1519465599 abstract "Program correctness is a serious concern, and has consequently received considerable attention. This attention has taken three approaches: While considerable progress has been made, the question of whether a given computation was performed correctly still has no practical solution. However, a new approach, proposed by Manuel Blum, promises to be both practical and of theoretical significance, and is intrinsically closer to a computer scientist’s heart, since the approach is" @default.
- W1519465599 created "2016-06-24" @default.
- W1519465599 creator A5048720314 @default.
- W1519465599 creator A5056941986 @default.
- W1519465599 date "2007-12-03" @default.
- W1519465599 modified "2023-09-26" @default.
- W1519465599 title "Fast Checkers for Cryptography" @default.
- W1519465599 cites W2033361557 @default.
- W1519465599 cites W2156186849 @default.
- W1519465599 cites W4232836212 @default.
- W1519465599 doi "https://doi.org/10.1007/3-540-38424-3_36" @default.
- W1519465599 hasPublicationYear "2007" @default.
- W1519465599 type Work @default.
- W1519465599 sameAs 1519465599 @default.
- W1519465599 citedByCount "1" @default.
- W1519465599 crossrefType "book-chapter" @default.
- W1519465599 hasAuthorship W1519465599A5048720314 @default.
- W1519465599 hasAuthorship W1519465599A5056941986 @default.
- W1519465599 hasBestOaLocation W15194655991 @default.
- W1519465599 hasConcept C178489894 @default.
- W1519465599 hasConcept C199360897 @default.
- W1519465599 hasConcept C38652104 @default.
- W1519465599 hasConcept C41008148 @default.
- W1519465599 hasConcept C45374587 @default.
- W1519465599 hasConcept C55439883 @default.
- W1519465599 hasConcept C80444323 @default.
- W1519465599 hasConceptScore W1519465599C178489894 @default.
- W1519465599 hasConceptScore W1519465599C199360897 @default.
- W1519465599 hasConceptScore W1519465599C38652104 @default.
- W1519465599 hasConceptScore W1519465599C41008148 @default.
- W1519465599 hasConceptScore W1519465599C45374587 @default.
- W1519465599 hasConceptScore W1519465599C55439883 @default.
- W1519465599 hasConceptScore W1519465599C80444323 @default.
- W1519465599 hasLocation W15194655991 @default.
- W1519465599 hasOpenAccess W1519465599 @default.
- W1519465599 hasPrimaryLocation W15194655991 @default.
- W1519465599 hasRelatedWork W1559954017 @default.
- W1519465599 hasRelatedWork W170957052 @default.
- W1519465599 hasRelatedWork W2015340470 @default.
- W1519465599 hasRelatedWork W2042340048 @default.
- W1519465599 hasRelatedWork W2138888883 @default.
- W1519465599 hasRelatedWork W2151178082 @default.
- W1519465599 hasRelatedWork W2293021588 @default.
- W1519465599 hasRelatedWork W39738311 @default.
- W1519465599 hasRelatedWork W4236017443 @default.
- W1519465599 hasRelatedWork W3123912048 @default.
- W1519465599 isParatext "false" @default.
- W1519465599 isRetracted "false" @default.
- W1519465599 magId "1519465599" @default.
- W1519465599 workType "book-chapter" @default.