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:
19821980Wrote 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.