- Home
- Science
- Mathematics
- Logic Programming in the LF Logical Framework (1991)
Science · Mathematics
Logic Programming in the LF Logical Framework (1991)
Listed in the directory · updated 23 Jul 2022
About Logic Programming in the LF Logical Framework (1991)
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.