Frank Pfenning

  1. home
  2. Author
  3. Frank Pfenning
Frank Pfenning

12 Published BooksFrank Pfenning

Popular Books by Frank Pfenning

Types in Logic Programming
Types in Logic Programming
View More

Types in Logic Programming

By: Frank Pfenning
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science, 2830)
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science, 2830)
View More

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science, 2830)

By: Frank Pfenning
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science, 4603)
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science, 4603)
View More

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science, 4603)

By: Frank Pfenning
Computation and Deduction
Computation and Deduction
View More

Computation and Deduction

By: Frank Pfenning
Term Rewriting and Applications
Term Rewriting and Applications
View More

Term Rewriting and Applications

By: Frank Pfenning
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... Computer Science and General Issues)
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... Computer Science and General Issues)
View More

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... Computer Science and General Issues)

By: Frank Pfenning
Constructive Logic
Constructive Logic
View More

Constructive Logic

By: Frank Pfenning
Automated Deduction - CADE-21
Automated Deduction - CADE-21
View More

Automated Deduction - CADE-21

By: Frank Pfenning
Structural Cut Elimination in Linear Logic
Structural Cut Elimination in Linear Logic
View More

Structural Cut Elimination in Linear Logic

By: Frank Pfenning
Inductively defined types in the Calculus of Constructions
Inductively defined types in the Calculus of Constructions
View More

Inductively defined types in the Calculus of Constructions

By: Frank Pfenning