ABSFOL
swMATH ID: | 29687 |
Software Authors: | Giunchiglia, Fausto; Villafiorita, Adolfo |
Description: | ABSFOL: a proof checker with abstraction. |
Homepage: | https://link.springer.com/chapter/10.1007/3-540-61511-3_74 |
Keywords: | inference rule; current context; natural deduction; elimination rule; abstract proof |
Related Software: | InKa; KIV; PLAGIATOR; GETFOL |
Cited in: | 2 Documents |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
ABSFOL: a proof checker with abstraction. Zbl 1412.68226 Giunchiglia, Fausto; Villafiorita, Adolfo |
1996
|
Cited by 4 Authors
1 | Brauburger, Jürgen |
1 | Giunchiglia, Fausto |
1 | Kolbe, Thomas H. |
1 | Villafiorita, Adolfo |
Cited in 0 Serials
Cited in 1 Field
2 | Computer science (68-XX) |