Browsing eNauka
Browsing by Project Swiss National Science Foundation [SCOPES IZ73Z0_127979/1]
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2015 | Proof Simplification in the Framework of Coherent Logic | Marinković, Vesna N.   | Article | 23M23 |