Publications by Frank Pfenning

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 • ACM Sigplan Notices • 33(5):224-235
Wickline P, Lee P, Pfenning F

1998
Wickline P, Lee P, Pfenning F

1998 224-235
Wickline P, Lee P, Pfenning F

1998
Harper R, Lee P, Pfenning F

1997 • Proceedings - Symposium on Logic in Computer Science • 422-433
Cervesato I, Pfenning F

1997 • Journal of Symbolic Logic (JSL) • 62(2):636-647
Narendran P, Pfenning F, Statman R

1997 • Journal of Symbolic Logic (JSL) • 62(2):636-647
Narendran P, Pfenning F, Statman R

1997 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1210:147-163
Despeyroux J, Pfenning F, Schurmann C

1996 • Proceedings - Symposium on Logic in Computer Science • 264-275
Cervesato I, Pfenning F

1996 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 258-270
Davies R, Pfenning F

1996 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1050:67-81
Cervesato I, Hodas JS, Pfenning F

1996 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1058:296-310
Rohwedder E, Pfenning F

1996 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1059:119-134
Pfenning F

1996 • Journal of Automated Reasoning • 16(3):321-353
Andrews PB, Bishop M, Issar S, Nesmith D, Pfenning F, Xi HW