Tatjana Lutovac

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

4 Tatjana Lutovac, James Harland: Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006)

2005

3 Tatjana Lutovac, James Harland: A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200

2 Tatjana Lutovac, James Harland: Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. Electr. Notes Theor. Comput. Sci. 125(2): 115-147 (2005)

2000

1 James Harland, Tatjana Lutovac, Michael Winikoff: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268

	2006
4		Tatjana Lutovac, James Harland: Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006)
	2005
3		Tatjana Lutovac, James Harland: A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200
2		Tatjana Lutovac, James Harland: Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. Electr. Notes Theor. Comput. Sci. 125(2): 115-147 (2005)
	2000
1		James Harland, Tatjana Lutovac, Michael Winikoff: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268

Coauthor Index