F

Frank Pfenning

Carnegie Mellon University

ORCID: 0000-0002-8279-5817

341 papers and 11.5k citations.

PubIndex Score98Top 2%How it's scored

🌟#6 Current Senior Leader in Logic, programming, and type systems

341Publications

11.5kTotal Citations

#6in Logic, programming, and type systems

First publication: 1988First senior author: 1988

Top publicationsby citations

Bottom-Up Logic Programming

Frank Pfenning|Unknown|2006

Cited by 0

Indexing the rest of 341 publications…