Browsing by Subject readable proofs
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 17-Aug-2012 | CDCL-based abstract state transition system for coherent logic | Nikolić, Mladen ; Janičić, Predrag | M33 |
| 2015 | Proof Simplification in the Framework of Coherent Logic | Marinković, Vesna | M23 |