Pfenning, Frank.
VIAF ID: 49903263 (Personal)
Permalink: http://viaf.org/viaf/49903263
Preferred Forms
-
100 1 _ ‡a Pfenning, Frank
-
100 1 _ ‡a Pfenning, Frank.
-
100 1 0 ‡a Pfenning, Frank
-
100 1 _ ‡a Pfenning, Frank (undifferentiated)
-
100 1 _ ‡a Pfenning, Frank
Selected Titles
- Automated deduction
(3)
- Types in logic programming, c1992:
(2)
- Term rewriting and applications 17th international conference ; proceedings
(2)
- Term rewriting and applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
(2)
- Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
(2)
- Generative programming and component engineering : second international conference, GPCE 2003, Erfurt, Germany, September 22-35, 2003 : proceedings
(2)
- Generative programming and component engineering
(2)
- GPCE 2003
(2)
- Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
(2)
- The practice of logical frameworks
(1)
