Frank Pfenning

Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and was head of the Computer Science Department at Carnegie Mellon University from 2013 to 2018. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Pfenning, Frank', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
    Published 2002
    Other Authors: “…Pfenning, Frank…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
    Published 2006
    Other Authors: “…Pfenning, Frank…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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 /
    Published 2013
    Other Authors: “…Pfenning, Frank…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
    Published 2007
    Other Authors: “…Pfenning, Frank…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Generative Programming and Component Engineering Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings /
    Published 2003
    Other Authors: “…Pfenning, Frank…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
    Published 2000
    Other Authors: “…Pfenning, Frank…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search