eNauka - pregled
Pregled prema Autor Harland, J.
Prikaz rezultata 1 do 3 od 3
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2005 | A redundancy analysis of sequent proofs | Lutovac, Tatjana   ; Harland, J. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2006 | Detecting loops during proof search in propositional affine logic | Lutovac, Tatjana ; Harland, J. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Detection and analysis of some redundancies in linear logic sequent proofs | Lutovac, Tatjana ; Harland, J. | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |