Publications by Frank Pfenning

2005 • ACM Sigplan Notices • 40(1):171-182
Park S, Pfenning F, Thrun S

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3634:200-215
Chaudhuri K, Pfenning F

2005 35-46
López P, Pfenning F, Polakow J, Watkins K

2005 • ACM Transactions on Computational Logic • 6(1):61-101
Harper R, Pfenning F

2005
Pfenning F

2005 • ACM Sigplan Notices • 40(9):
Pfenning F

2005 • Journal of Functional Programming • 15:893-939
Nanevski A, Pfenning F

2005 1-1
Pfenning F

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3653:6-20
Garg D, Pfenning R

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3085:355-377
Watkins K, Cervesato I, Pfenning F, Walker D

2004 • Proceedings - Symposium on Logic in Computer Science • 286-295
Murphy T, Crary K, Harper R, Pfenning F

2004 • Bulletin of Symbolic Logic • 10(2):213-214
Pfenning F

2004 • Journal of Automated Reasoning • 32(1):75-92
Andrews PB, Brown CE, Pfenning F, Bishop M, Issar S, Xi HW

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3302:196-196
Pfenning F

2004 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 281-292
Dunfield J, Pfenning F

2004 • ACM Sigplan Notices • 39(1):281-292
Dunfield J, Pfenning F

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3223:18-33
Anderson P, Pfenning F

2003
Watkins K, Cervesato I, Pfenning F, Walker D

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2758:120-135
Schürmann C, Pfenning F

2003
Watkins K, Cervesato I, Pfenning F, Walker D

2003 • IJCAI International Joint Conference on Artificial Intelligence • 1427-1428
Berna M, Sellner B, Lisien B, Thrun S, Gordon G, Pfenning F

2003 • Journal of Logic and Computation • 13(5):639-688
Cervesato I, Pfenning F

2003 1-6
Nanevski A, Pientka B, Pfenning F

2003 • ACM Sigplan Notices • 38(1):172-184
Petersen L, Harper R, Crary K, Pfenning F

2003 • ACM Sigplan Notices • 38(1):172-184
Petersen L, Harper R, Crary K, Pfenning F