Autori: Lutovac Tatjana A
| Naslov | The natural algorithmic approach of mixed trigonometric-polynomial problems (Article) |
| Autori | Lutovac Tatjana A Malesevic Branko J  Mortici Cristinel
|
| Info | JOURNAL OF INEQUALITIES AND APPLICATIONS, (2017), vol. br. , str. - |
| Projekat | Serbian Ministry of Education, Science and Technological Development [TR 32023, ON 174032, III 44006]; Romanian National Authority for Scientific Research, CNCS-UEFISCDI [PN-II-ID-PCE-2011-3-0087] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
