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) |
