The following pages link to Greg Butler (Q672502):
Displayed 12 items.
- Easy verification of behavioural subtyping in common cases (Q672503) (← links)
- On Holt's algorithm (Q1260764) (← links)
- The transitive groups of degree fourteen and fifteen (Q1322769) (← links)
- (Q2729896) (← links)
- Object-oriented design of the subsumption architecture (Q2745240) (← links)
- (Q4038742) (← links)
- (Q4234248) (← links)
- (Q4237397) (← links)
- An Inductive Schema for Computing Conjugacy Classes in Permutation Groups (Q4286607) (← links)
- (Q4440325) (← links)
- (Q4738866) (← links)
- (Q4866211) (← links)