Autori: Lutovac Tatjana A
| Naslov | A Proof of An Open Problem of Yusuke Nisihzawa for a Power-Exponential Function (Article) |
| Autori | Malesevic Branko J Lutovac Tatjana A Banjac Bojan D |
| Info | JOURNAL OF MATHEMATICAL INEQUALITIES, (2018), vol. 12 br. 2, str. 473-485 |
| Projekat | Serbian Ministry of Education, Science and Technological Development [ON 174032, III 44006, TR 32023] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Fuzzy AHP approach to passenger aircraft type selection (Article) |
| Autori | Dozic Slavica Z Lutovac Tatjana A Kalic Milica Dj |
| Info | JOURNAL OF AIR TRANSPORT MANAGEMENT, (2018), vol. 68 br. , str. 165-175 |
| Projekat | Ministry of Education, Science and Technological Development, Republic of Serbia [TR36033, TR32023] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities (Article) |
| Autori | Malesevic Branko J Lutovac Tatjana A Rasajski Marija S Mortici Cristinel |
| Info | ADVANCES IN DIFFERENCE EQUATIONS, (2018), vol. br. , str. - |
| Projekat | Serbian Ministry of Education, Science and Technological Development [ON 174032, III 44006, TR 32023, ON 174033] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Refinements and generalizations of some inequalities of Shafer-Fink's type for the inverse sine function (Article) |
| Autori | Malesevic Branko J Rasajski Marija S Lutovac Tatjana A |
| Info | JOURNAL OF INEQUALITIES AND APPLICATIONS, (2017), vol. br. , str. - |
| Projekat | Serbian Ministry of Education, Science and Technological Development [ON 174032, III 44006, ON 174033, TR 32023] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| 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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/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 | 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 |
