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