dblp.uni-trier.dewww.uni-trier.de

Richard W. Weyhrauch

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Luigia Carlucci Aiello (Luigia Aiello) [2] [4]
2Mario Aiello [1] [2]
3Marco Cadoli [9]
4Alessandro Cimatti [10]
5Fausto Giunchiglia [10]
6Jussi Ketonen [6]
7Carolyn L. Talcott [7] [8] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)