MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Frank Pfenning – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 164 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • L11.2 Difference Lists  
  • by Frank Pfenning — 2006
  • …15-819K: Logic Programming Lecture 11 Difference Lists Frank Pfenning October 3, 2006…
  • Add To MetaCart
  • L1.2 Logic Programming  
  • by Frank Pfenning — 2006
  • …15-819K: Logic Programming Lecture 1 Logic Programming Frank Pfenning August 29, 2006…
  • Add To MetaCart
  • Sequent Calculi  
  • by Frank Pfenning — 1995
  • …Sequent Calculi (DRAFT) Frank Pfenning February 27, 1995 Material for the seminar on Linear Logic…
  • Add To MetaCart
  • Formalization in a Logical Framework  
  • by Frank Pfenning
  • …Syntax The first task in the formalization of a language in a logical framework is the representation of its expressions. We base the representation on abstract (rather than concrete) syntax in order to expose the essential structure of the object language so we can concentrate on semantics and met…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB