The following pages link to Richard L. Gault (Q2509041):
Displayed 6 items.
- Item:Q2509041 (redirect page) (← links)
- New tractable classes from old (Q1424765) (← links)
- Implementing a test for tractability (Q1768752) (← links)
- An infinite hierarchy in a class of polynomial-time program schemes (Q2509042) (← links)
- On a hierarchy involving transitive closure logic and existential second-order quantification (Q3147357) (← links)
- (Q4473024) (← links)