Publications by Frank Pfenning

1989 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 352:345-359
PFENNING F, LEE P

1989 • ACM Sigplan Notices • 24(2):110-120
NORD RL, PFENNING F

1989 • ACM Sigplan Notices • 24(2):25-34
LEE P, PFENNING F, ROLLINS G, SCHERLIS W

1988 • ACM Sigplan Notices • 23(7):199-208
Pfenning F, Elliott C

1988 • ACM Sigplan Notices • 23(7):199-208
PFENNING F, ELLIOTT C

1988 153-163
Pfenning F

1988 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 310:710-713
PFENNING F

1988 • Software Engineering Notes • 13(5):110-120
Nord RL, Pfenning F

1988 110-120
Nord RL, Pfenning F

1988 25-34
Lee P, Pfenning F, Rollins G, Scherlis W

1988 • Software Engineering Notes • 13(5):25-34
Lee P, Pfenning F, Rollins G, Scherlis W

1988 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 310:760-761
ANDREWS PB, ISSAR S, NESMITH D, PFENNING F

1986 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 230:661-664
Andrews PB, Pfenning F, Issar S, Klapper CP

1986 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 230:663-664
ANDREWS PB, PFENNING F, ISSAR S, KLAPPER CP

1984 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 170:394-413
Pfenning F

1984 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 170:394-413
Pfenning F

1984 • Contemporary Mathematics (Singapore) • 29:169-192
Andrews P, Miller D, Cohen EL, Pfenning F

• Electronic Proceedings in Theoretical Computer Science • 431:34-41
Chen Z, Pfenning F

• Electronic Notes in Theoretical Informatics and Computer Science • Volume 1 - Proceedings of MFPS XXXVIII:
DeYoung H, Pfenning F

Mordido A, DeYoung H, Das A, Pfenning F

• BRICS Report Series • 6(23):
Danvy O, Dzafic B, Pfenning F