Top > Science > Math > Logic and Foundations > Computational Logic > Logical Frameworks > LF Logical Framework

» Logic Programming in the LF Logical Framework (1991) - Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and may have been modified by clixShare