`Travelled to:`

1 × France

`Collaborated with:`

A.Bundy

`Talks about:`

multipl (1) manipul (1) algebra (1) select (1) rewrit (1) applic (1) level (1) infer (1) rule (1) meta (1)

## Person: Bob Welham

### DBLP: Welham:Bob

### Contributed to:

### Wrote 1 papers:

- CADE-1980-BundyW #algebra #multi #using
- Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation (AB, BW), pp. 24–38.