Publications by Frank Pfenning

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 • ACM Sigplan Notices • 39(1):281-292
Dunfield J, Pfenning F

2004 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 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

2003 • Theoretical Computer Science • 290(2):1175-1199
Colby C, Crary K, Harper R, Lee P, Pfenning F

2003 • ACM Transactions on Computational Logic • 4(4):493-529
Momigliano A, Pfenning F

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2741:473-487
Pientka B, Pfenning F

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2830:v
Pfenning F, Smaragdakis Y

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2620:250-266
Dunfield J, Pfenning F

2002 • Information and Computation • 179(1):19-75
Cervesato I, Pfenning F

2002 • ACM Transactions on Computational Logic • 3(3):335-335
Pfenning F

2002 • PROOF AND SYSTEM-RELIABILITY • 62:137-166
Pfenning F

2002 • Microbiology (United Kingdom) • 148(4):1105-1118
Recktenwald J, Shawky R, Puk O, Pfennig F, Keller U, Wohlleben W, Pelzer S

2002 • Electronic Notes in Theoretical Computer Science • 70(2):146
Pfenning F

2002 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2536:112-125
Chang BYE, Crary K, DeLap M, Harper R, Liszka J, Murphy T, Pfenning F

2001 • Mathematical Structures in Computer Science • 11(4):511-540
PFENNING F, DAVIES R