Richard W. Weyhrauch

According to our database, Richard W. Weyhrauch authored at least 11 papers between 1975 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Using Abstract Resources to Control Reasoning.

Richard W. Weyhrauch, Marco Cadoli, Carolyn L. Talcott

J. Log. Lang. Inf., 1998

A Many-Sorted Natural Deduction.

Alessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch

Comput. Intell., 1998

1994

The Logic of FOL Systems: Formulated in Set Theory.

Richard W. Weyhrauch, Carolyn L. Talcott

Proceedings of the Logic, 1994

1991

The Incorrectness of the Bisection Algorithm.

Richard W. Weyhrauch

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990

Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View.

Carolyn L. Talcott, Richard W. Weyhrauch

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1984

A Decidable Fragment of Predicate Calculus.

Jussi Ketonen, Richard W. Weyhrauch

Theor. Comput. Sci., 1984

1982

An Example of FOL Using Metatheory.

Richard W. Weyhrauch

Proceedings of the 6th Conference on Automated Deduction, 1982

1980

Prolegomena to a Theory of Mechanized Formal Reasoning.

Richard W. Weyhrauch

Artif. Intell., 1980

Using Meta-Theoretic Reasoning to do Algebra.

Luigia Carlucci Aiello, Richard W. Weyhrauch

Proceedings of the 5th Conference on Automated Deduction, 1980

1977

Pascal in LCF: Semantics and Examples of Proof.

Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch

Theor. Comput. Sci., 1977

1975

Checking Proofs in the Metamathematics of First Order Logic.

Mario Aiello, Richard W. Weyhrauch

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975