Browsing eNauka
Browsing by Author Harland, James
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2013 | A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules | Lutovac, Tatjana   ; Harland, James | Article | 22M22 |