| |
| 2006 | ||
|---|---|---|
| 4 | EE | Tatjana Lutovac, James Harland: Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006) |
| 2005 | ||
| 3 | EE | Tatjana Lutovac, James Harland: A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200 |
| 2 | EE | 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 | EE | James Harland, Tatjana Lutovac, Michael Winikoff: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268 |
| 1 | James Harland | [1] [2] [3] [4] |
| 2 | Michael Winikoff | [1] |