The following pages link to Richard A. DeMillo (Q181989):
Displaying 15 items.
- Social processes and proofs of theorems and programs (Q1150266) (← links)
- Some applications of model theory to the metatheory of program schemata (Q1220499) (← links)
- A probabilistic remark on algebraic program testing (Q1253894) (← links)
- Non-definability of certain semantic properties of programs (Q2559350) (← links)
- Space-Time Trade-Offs in Structured Programming (Q3862426) (← links)
- A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings (Q3872452) (← links)
- Space and Time Hierarchies for Classes of Control Structures and Data Structures (Q4099200) (← links)
- (Q4116081) (← links)
- On the Computational Complexity of a Generalized Scheduling Problem (Q4136565) (← links)
- (Q4138105) (← links)
- Preserving average proximity in arrays (Q4157931) (← links)
- A Study of Schedules as Models of Synchronous Parallel Computation (Q4188727) (← links)
- (Q4195939) (← links)
- (Q5075308) (← links)
- On the importance of eliminating errors in cryptographic computations (Q5934142) (← links)