The following pages link to William R. Harris (Q1696588):
Displayed 5 items.
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Real even symmetric ternary forms (Q1969481) (← links)
- Alternation for Termination (Q4930735) (← links)
- Program analysis via satisfiability modulo path programs (Q5255063) (← links)
- Complexity verification using guided theorem enumeration (Q5370898) (← links)