The following pages link to H. James Hoover (Q811126):
Displaying 12 items.
- Real functions, contraction mappings, and P-completeness (Q811127) (← links)
- Bounding Fan-out in Logical Networks (Q3030723) (← links)
- (Q3045436) (← links)
- Feasible Real Functions and Arithmetic Circuits (Q3474279) (← links)
- Towards Automatic Exception Safety Verification (Q3506875) (← links)
- A Depth-Universal Circuit (Q3691586) (← links)
- Log Depth Circuits for Division and Related Problems (Q3756526) (← links)
- (Q3833617) (← links)
- (Q4035312) (← links)
- (Q4259981) (← links)
- (Q4302459) (← links)
- (Q4843270) (← links)
