Tatjana Lutovac

According to our database, Tatjana Lutovac authored at least 8 papers between 2000 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

The natural algorithmic approach of mixed trigonometric-polynomial problems.

Tatjana Lutovac, Branko Malesevic, Cristinel Mortici

CoRR, 2017

2014

Detection and analysis of some redundancies in linear logic sequent proofs.

Tatjana Lutovac, James Harland

J. Log. Comput., 2014

2013

A contribution to automated-oriented reasoning about permutability of sequent calculi rules.

Tatjana Lutovac, James Harland

Comput. Sci. Inf. Syst., 2013

2012

An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus.

Tatjana Lutovac

Proceedings of the Balkan Conference in Informatics, 2012, 2012

2006

Detecting Loops During Proof Search in Propositional Affine Logic.

Tatjana Lutovac, James Harland

J. Log. Comput., 2006

2005

A Redundancy Analysis of Sequent Proofs.

Tatjana Lutovac, James Harland

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2004

Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics.

Tatjana Lutovac, James Harland

Proceedings of the 5th International Workshop on Strategies in Automated Deduction, 2004

2000

Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic.

James Harland, Tatjana Lutovac, Michael Winikoff

Proceedings of the Computational Logic, 2000