Efficient checking of computations
From Thermodynamics of Computation
- reference groups
- Computer Science Theory
- author-supplied keywords
- keywords
- authors
- Richard J. Lipton
- title
- Efficient checking of computations
- type
- conference_proceedings
- year
- 1990
- source
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- pages
- 207-215
- volume
- 415 LNCS
- publisher
- Springer Verlag
- link
- https://www.mendeley.com/catalogue/9426cdda-6449-3eb0-aa19-d2a96d3b0d63/(1)
Counts
- Citation count
- 56
- Page views
- 2
Identifiers
- doi: 10.1007/3-540-52282-4_44 (Google search)
- issn: 16113349
- sgr: 85032506453
- isbn: 9783540522829
- scopus: 2-s2.0-85032506453
- pui: 619028300