Concepedia

Richard W. Weyhrauch

RW

4

Publications

447

Citations

4

H-Index

1972

Active since

Affiliations

Stanford University(Current)

Richard W. Weyhrauch is an author at Stanford University specializing in formal methods, formal verification, and automated reasoning.

Top concepts

Publications per year

1972–1984

4

Publications

4

Prolegomena to a theory of mechanized formal reasoning

Richard W. Weyhrauch · Artificial Intelligence · 1980 · 370 citations

, , +5

A decidable fragment of predicate calculus

Jussi Ketonen, Richard W. Weyhrauch · Theoretical Computer Science · 1984 · 51 citations

, , +6

Proving compiler correctness in a mechanised logic

Robin Milner, Richard W. Weyhrauch · Machine intelligence · 1972 · 15 citations

, , +10

A users manual for FOL.

Richard W. Weyhrauch · 1977 · 11 citations

, , +15

Rows per page

1–4 of 4