Pfenning, Frank.
Frank Pfenning American computer scientist
VIAF ID: 49903263 ( Personal )
Permalink: http://viaf.org/viaf/49903263
Preferred Forms
- 100 0 _ ‡a Frank Pfenning ‡c American computer scientist
- 100 1 _ ‡a Pfenning, Frank
-
-
- 100 1 0 ‡a Pfenning, Frank
- 100 1 _ ‡a Pfenning, Frank
-
-
-
-
- 100 1 _ ‡a Pfenning, Frank
-
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Automated Deduction – CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings | |
CADE-21 | |
CADE-twenty-one | |
ETAPS 2013 | |
FOSSACS 2013 | |
Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings | |
Generative programming and component engineering : second international conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings | |
GPCE 2003 | |
Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings | |
logical foundation for session-based concurrent computation | |
LPAR'94 | |
Proof transformations in higher-order logic | |
RTA 2006 | |
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings | |
Types in logic programming | |
Workshop on the Lambda-PROLOG programming language : 31 july - 1 august 1992, University of Pennsylvania, Philadelphia, PA, USA : conference record |