William McCune

Publications by Year

Research Areas

Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Advanced Algebra and Logic, semigroups and automata theory

Most-Cited Works

• → Endoscopic Cannulation of the Ampulla of Vater(1968)633 cited
• → Solution of the Robbins Problem(1997)282 cited
• → Endoscopic Cannulation of the Ampulla of Vater: A Preliminary Report(1988)151 cited
• → Mace4 reference manual and guide.(2003)133 cited
• → Experiments with discrimination-tree indexing and path indexing for term retrieval(1992)132 cited
• → OTTER 3.3 reference manual.(2003)127 cited
• → Otter - The CADE-13 Competition Incarnations(1997)103 cited