`Travelled to:`

1 × France

1 × USA

`Collaborated with:`

∅ L.C.Aiello

`Talks about:`

use (2) metatheori (1) theoret (1) algebra (1) reason (1) exampl (1) meta (1) fol (1) do (1)

## Person: Richard W. Weyhrauch

### DBLP: Weyhrauch:Richard_W=

### Contributed to:

### Wrote 2 papers:

- CADE-1982-Weyhrauch #using
- An Example of FOL Using Metatheory (RWW), pp. 151–158.
- CADE-1980-AielloW #algebra #reasoning #using
- Using Meta-Theoretic Reasoning to do Algebra (LCA, RWW), pp. 1–13.