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 |