Books by Frank Pfenning

7 books found

Types in logic programming

Types in logic programming

19922 ed.
Generative programming and component engineering

Generative programming and component engineering

20032 ed.
Term Rewriting and Applications

Term Rewriting and Applications

20062 ed.
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

20132 ed.
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

19941 ed.
Computation & Deduction

Computation & Deduction

1 ed.
Automated Deduction - CADE-21

Automated Deduction - CADE-21

20071 ed.