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.