Richard A. DeMillo

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5075308	2022-05-12	Paper
On the importance of eliminating errors in cryptographic computations	2003-08-26	Paper
Social processes and proofs of theorems and programs	1980-01-01	Paper
Space-Time Trade-Offs in Structured Programming	1980-01-01	Paper
A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings	1979-01-01	Paper
A probabilistic remark on algebraic program testing	1978-01-01	Paper
Preserving average proximity in arrays	1978-01-01	Paper
Some applications of model theory to the metatheory of program schemata	1977-01-01	Paper
A Study of Schedules as Models of Synchronous Parallel Computation	1977-01-01	Paper
Space and Time Hierarchies for Classes of Control Structures and Data Structures	1976-01-01	Paper
On the Computational Complexity of a Generalized Scheduling Problem	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4195939	1975-01-01	Paper
Non-definability of certain semantic properties of programs	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4116081	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138105	1974-01-01	Paper

This page was built for person: Richard A. DeMillo