LF Logical Framework Logical Frameworks Computational Logic Logic and Foundations
The Edinburgh Logical Framework is, with De Bruijn's AUTOMATH, one ofexistence.
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 computational logic serves as a proof search engine for LF.
MySQL - Cache Direct
