 | 1998 |
|---|
| 10 |       | Alessandro Cimatti,
Fausto Giunchiglia,
Richard W. Weyhrauch:
A Many-Sorted Natural Deduction.
Computational Intelligence 14: 134-149 (1998) |
| 9 | | Richard W. Weyhrauch,
Marco Cadoli,
Carolyn L. Talcott:
Using Abstract Resources to Control Reasoning.
Journal of Logic, Language and Information 7(1): 77-101 (1998) |
| 1994 |
|---|
| 8 | | Richard W. Weyhrauch,
Carolyn L. Talcott:
The Logic of FOL Systems: Formulated in Set Theory.
Logic, Language and Computation 1994: 119-132 |
| 1990 |
|---|
| 7 | | Carolyn L. Talcott,
Richard W. Weyhrauch:
Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View.
ECAI 1990: 634-639 |
| 1984 |
|---|
| 6 | | Jussi Ketonen,
Richard W. Weyhrauch:
A Decidable Fragment of Predicate Calculus.
Theor. Comput. Sci. 32: 297-307 (1984) |
| 1982 |
|---|
| 5 |  | Richard W. Weyhrauch:
An Example of FOL Using Metatheory.
CADE 1982: 151-158 |
| 1980 |
|---|
| 4 | | Luigia Carlucci Aiello,
Richard W. Weyhrauch:
Using Meta-Theoretic Reasoning to do Algebra.
CADE 1980: 1-13 |
| 3 | | Richard W. Weyhrauch:
Prolegomena to a Theory of Mechanized Formal Reasoning.
Artif. Intell. 13(1-2): 133-170 (1980) |
| 1977 |
|---|
| 2 | | Luigia Carlucci Aiello,
Mario Aiello,
Richard W. Weyhrauch:
Pascal in LCF: Semantics and Examples of Proof.
Theor. Comput. Sci. 5(2): 135-177 (1977) |
| 1975 |
|---|
| 1 | | Mario Aiello,
Richard W. Weyhrauch:
Checking Proofs in the Metamathematics of First Order Logic.
IJCAI 1975: 1-8 |
