Browsing eNauka
Browsing by Author M. Winikoff
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2000 | Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic | J. Harland; T. Lutovac   ; M. Winikoff | Article | 21M21 |