Web Directory

  Top: Science: Math: Logic_and_Foundations: Computational_Logic: Logical_Frameworks: LF_Logical_Framework:

  LF Logical Framework (1)

Submit a Featured Link: [$19.00] Submit a Regular Link: [$9.00]  

Regular Websites in this category

Logic Programming in the LF Logical Framework (1991) Open in a new windowLink Details
- Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF.
- http://citeseer.ist.psu.edu/pfenning91logic.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing

Submit a Featured Link: [$19.00]  Submit a Regular Link: [$9.00]