Publications by Frank Pfenning

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 Notes in Theoretical Informatics and Computer Science • Volume 1 - Proceedings of MFPS XXXVIII:
DeYoung H, Pfenning F

• Electronic Notes in Theoretical Informatics and Computer Science • Volume 3 - Proceedings of MFPS XXXIX:
Somayyajula S, Pfenning F

Mordido A, DeYoung H, Das A, Pfenning F

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