Author Info
Name
Affiliation
Papers
TATJANA LUTOVAC
Department of Applied Mathematics, Faculty of Electrical Engineering, University of Belgrade, Belgrade, Serbia
8
Collaborators
Citations 
PageRank 
5
6
2.84
Referers 
Referees 
References 
6
88
88
Title
Citations
PageRank
Year
The natural algorithmic approach of mixed trigonometric-polynomial problems.00.342017
Detection and analysis of some redundancies in linear logic sequent proofs.00.342014
A contribution to automated-oriented reasoning about permutability of sequent calculi rules.10.362013
An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus00.342012
Detecting Loops During Proof Search in Propositional Affine Logic20.382006
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics30.412005
A redundancy analysis of sequent proofs00.342005
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic00.342000