Richard W. Weyhrauch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1975–1990
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | ECAI | Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. | Carolyn L. Talcott, Richard W. Weyhrauch |
| 1982 | CADE | An Example of FOL Using Metatheory. | Richard W. Weyhrauch |
| 1980 | CADE | Using Meta-Theoretic Reasoning to do Algebra. | Luigia Carlucci Aiello, Richard W. Weyhrauch |
| 1975 | IJCAI | Checking Proofs in the Metamathematics of First Order Logic. | Mario Aiello, Richard W. Weyhrauch |