Publications by Frank Pfenning

1995
Davies R, Pfenning F

1995 • Electronic Notes in Theoretical Computer Science • 1:515-534
Pfenning F, Wong HC

1995 • Proceedings - Symposium on Logic in Computer Science • 156-166
PFENNING F

1995
Danvy O, Pfenning F

1994 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 814:811-815
Pfenning F

1994
Harper R, Pfenning F, Lee P, Rollins E

1994 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 822 LNAI:v
Pfenning F

1994 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 780:366-370
Andrews PB, Bishop M, Issar S, Nesmith D, Pfenning F, Xi H

1993 • Fundamenta Informaticae • 19(1-2):185-199
Pfenning F

1993 • Proceedings - Symposium on Logic in Computer Science • 57-63
NARENDRAN P, PFENNING F, STATMAN R

1992
Harper R, Pfenning F

1992
Pfenning F

1992 407-418
Hannan J, Pfenning F

1992 • Machine Learning • 9(1):23-55
DIETZEN S, PFENNING F

1992 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 607:537-551
Pfenning F, Rohwedder E

1992 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 607:536-551
PFENNING F, ROHWEDDER E

1992 • AUTOMATED DEDUCTION - CADE-11 • 607:536-551
PFENNING F, ROHWEDDER E

1992 • EXTENSIONS OF LOGIC PROGRAMMING • 596:299-344
MICHAYLOV S, PFENNING F

1992 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 596:299-344
MICHAYLOV S, PFENNING F

1991 • ACM Sigplan Notices • 26(9):285-296
Michaylov S, Pfenning F

1991 • ACM Sigplan Notices • 26(9):285-296
MICHAYLOV S, PFENNING F

1991 • undefined • 372-386
Dietzen S, Pfenning F

1991 149-182
Pfenning F

1991 • Theoretical Computer Science • 89(1):137-159
PFENNING F, LEE P

1991 • ACM Sigplan Notices • 26(6):268-277
Freeman T, Pfenning F