Prikaz rezultata 1 do 20 od 46
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
| 2005 | A Redundancy Analysis of Sequent Proofs | T. Lutovac   ; J. Harland | Article | |
| 2013 | A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules | Lutovac, Tatjana ; Harland, James | Article | |
| 2025 | A new approach to selecting constants for some analytic inequalities | B. Malešević ; M. Mićović ; B. Mihailović ; T. Lutovac | Article | |
| 2018 | A New Method for Proving Some Inequalities Related to Several Special Functions | Lutovac, Tatjana ; Malešević, Branko ; Rašajski, Marija | Article | |
| 2025 | A Novel Parametric Method for Proving Some Analytic Inequalities and Determining Minimax Approximations | M. Mićović ; B. Malešević ; T. Lutovac ; B. Mihailović | Article | |
| 2018 | A proof of an open problem of Yusuke Nishizawa for a power-exponential function | Malešević, Branko ; Lutovac, Tatjana ; Banjac, Bojan | Article | |
| 2005 | A redundancy analysis of sequent proofs | Lutovac, Tatjana ; Harland, J. | Conference Paper | |
| 2013 | A Syntax Approach to Automated Detection of Some Redundancies in Linear Logic Sequent Derivations | Lutovac, Tatjana ; J. Harland | Conference Paper | |
| 2018 | About some exponential inequalities related to the sinc function | Rašajski, Marija ; Lutovac, Tatjana ; Malešević, Branko | Article | |
| 2012 | An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus | Lutovac, Tatjana | Conference Paper | |
| 2011 | Contibutions to compact Representation of Sequent Proofs | Lutovac, Tatjana | Conference Paper | |
| 2023 | Convexity and double-sided Taylor's approximations | BAGUL, Yogesh; CHESNEAU, Christophe; KOSTİC, Marko ; LUTOVAC, Tatjana ; MALESEVİC, Branko ; RAŠAJSKİ, Marija | Article | |
| 2006 | Detecting Loops During Proof Search in Propositional Affine Logic | T. Lutovac ; J. Harland | Article | |
| 2006 | Detecting loops during proof search in propositional affine logic | Lutovac, Tatjana ; Harland, J. | Conference Paper | |
| 2013 | Detection and analysis of some redundancies in linear logic sequent proofs | Lutovac, Tatjana ; Harland, J. | Article | |
| 2019 | Double–Sided Taylor’s Approximations and Their Applications in Theory of Analytic Inequalities | Malešević, Branko ; Rašajski, Marija ; Lutovac, Tatjana | Book parts | |
| 2020 | Error-Functions in Double-Sided Taylor’s Approximations | Malešević, Branko ; Lutovac, Tatjana ; Rašajski, Marija ; Banjac, Bojan | Article | |
| 2018 | Extensions of the natural approach to refinements, and generalizations of some trigonometric inequalities | B. Malešević ; T. Lutovac ; M. Rašajski ; C. Mortici | Article | |
| 2018 | Fuzzy AHP approach to passenger aircraft type selection | Dožić, Slavica ; Lutovac, Tatjana ; Kalić, Milica | Article | |
| 2000 | Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic | J. Harland; T. Lutovac ; M. Winikoff | Article | |