Richard W. Weyhrauch

Publication Activity (10 Years)

Years Active: 1975-1998
Publications (10 Years): 0

Publications

Alessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch
A Many-Sorted Natural Deduction. Comput. Intell. 14 (1) (1998)
Richard W. Weyhrauch, Marco Cadoli, Carolyn L. Talcott
Using Abstract Resources to Control Reasoning. J. Log. Lang. Inf. 7 (1) (1998)
Richard W. Weyhrauch, Carolyn L. Talcott
The Logic of FOL Systems: Formulated in Set Theory. Logic, Language and Computation (1994)
Richard W. Weyhrauch
The Incorrectness of the Bisection Algorithm. Artificial and Mathematical Theory of Computation (1991)
Carolyn L. Talcott, Richard W. Weyhrauch
Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. ECAI (1990)
Jussi Ketonen, Richard W. Weyhrauch
A Decidable Fragment of Predicate Calculus. Theor. Comput. Sci. 32 (1984)
Richard W. Weyhrauch
An Example of FOL Using Metatheory. CADE (1982)
Luigia Carlucci Aiello, Richard W. Weyhrauch
Using Meta-Theoretic Reasoning to do Algebra. CADE (1980)
Richard W. Weyhrauch
Prolegomena to a Theory of Mechanized Formal Reasoning. Artif. Intell. 13 (1-2) (1980)
Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch
Pascal in LCF: Semantics and Examples of Proof. Theor. Comput. Sci. 5 (2) (1977)
Mario Aiello, Richard W. Weyhrauch
Checking Proofs in the Metamathematics of First Order Logic. IJCAI (1975)