Richard W. Weyhrauch

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