Autori: Harland J
| Naslov | Detection and analysis of some redundancies in linear logic sequent proofs (Article) |
| Autori | Lutovac Tatjana A Harland J |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2014), vol. 24 br. 1, str. 187-232 |
| Projekat | Serbian Ministry of Science [TR 32023] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules (Article) |
| Autori | Lutovac Tatjana A Harland J |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2013), vol. 10 br. 3, str. 1185-1210 |
| Projekat | Serbian Ministry of Science [TR 32023] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Detecting loops during proof search in propositional affine logic (Article) |
| Autori | Lutovac Tatjana A Harland J |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2006), vol. 16 br. 1, str. 61-133 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A redundancy analysis of sequent proofs (Article) |
| Autori | Lutovac Tatjana A Harland J |
| Info | AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, (2005), vol. 3702 br. , str. 185-200 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
