Concepedia

William W. McCune

WW

Statistics

Publications

6

Citations

186

H-Index

6

Active since

1950

Affiliations

Argonne National Laboratory(Current)

University of Chicago

William W. McCune is an author at Argonne National Laboratory specializing in public health, automated reasoning, and reproductive biology.

Top concepts

Publications per year

1950–1993

6

Publications

6

Maintaining state constraints in relational databases: a proof theoretic basis

William W. McCune, Lawrence J. Henschen · Journal of the ACM · 1989 · 66 citations · Full text

, , +18

Single axioms for groups and Abelian groups with various operations

William W. McCune · Journal of Automated Reasoning · 1993 · 43 citations

, , +3

Fructolysis of Human Spermatozoa

M. Edward Davis, William W. McCune · Fertility and Sterility · 1950 · 39 citations

, , +6

Single axioms for the left group and right group calculi.

William W. McCune · Notre Dame Journal of Formal Logic · 1992 · 13 citations · Full text

Un-skolemizing clause sets

William W. McCune · Information Processing Letters · 1988 · 13 citations

, , +5

1–5 of 6