Publications by Frank Pfenning

2000 • Information and Computation • 157(1-2):84-141
Pfenning F

1999
Davies R, Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1657:179-193
Pfenning F, Schürmann C

1999 406-419 vol.1
Crary K, Harper R, Lee P, Pfenning F

1999 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 214-227
Xi H, Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1702:206-206
Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1702:206-206
Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1581:295-309
Polakow J, Pfenning F

1999 • Electronic Notes in Theoretical Computer Science • 26:21-33
Danvy O, Dzafic B, Pfennin F

1999 33
Pfenning F

1999 • ACM Sigplan Notices • 34(11):33-33
Pfenning F

1999 • Electronic Notes in Theoretical Computer Science • 20:449-466
Polakow J, Pfenning F

1999 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1632:202-206
Pfenning F, Schürmann C

1999 • LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING • 380-394
Momigliano A, Pfenning F

1998 • Journal of Logic and Computation • 8(1):5-31
Harper R, Pfenning F

1998 • Electronic Notes in Theoretical Computer Science • 17:1-13
Pfenning F, Schürmann C

1998 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1421:286-300
Schürmann C, Pfenning F

1998 • ACM Sigplan Notices • 33(5):249-257
Xi HW, Pfenning F

1998 249-257
Xi H, Pfenning F

1998
Pfenning F

1998 • ACM Computing Surveys • 30(3es):8
Wickline P, Lee P, Pfenning F, Davies R

1998 • Studia Logica • 60(1):1-1
Sieg W, Pfenning F

1998 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1421:1-2
Pfenning F

1998
Wickline P, Lee P, Pfenning F

1998 • ACM Sigplan Notices • 33(5):224-235
Wickline P, Lee P, Pfenning F