`Travelled to:`

1 × USA

`Collaborated with:`

P.Flake G.Musgrave

`Talks about:`

strength (1) algebra (1) simul (1) logic (1)

## Person: Philip Moorby

### DBLP: Moorby:Philip

### Contributed to:

### Wrote 1 papers:

- DAC-1983-FlakeMM #algebra #logic #simulation
- An algebra for logic strength simulation (PF, PM, GM), pp. 615–618.