Concepedia

Amy Felty

AF

Statistics

Publications

3

Citations

161

H-Index

3

Active since

1986

Affiliations

University of Pennsylvania(Current)

Amy Felty is an author at University of Pennsylvania specializing in computer science, computing, and formal methods.

Publications per year

1986–1991

3

Publications

3

The Coq proof assistant user's guide : version 5.6

Gilles Dowek, Amy Felty, Hugo Herbelin et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 1991 · 124 citations · Full text

, , +7

Proof Explanation and Revision

Amy Felty, Dale Miller · ScholarlyCommons (University of Pennsylvania) · 1987 · 19 citations · Full text

, , +16

An integration of resolution and natural deduction theorem proving

Dale Miller, Amy Felty · 1986 · 18 citations

, , +16

1–3 of 3