Jeremy E. Dawson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1998–2021
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TABLEAUX | A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. | Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Gor |
| 2018 | CADE | Well-Founded Unions. | Jeremy E. Dawson, Nachum Dershowitz, Rajeev Gor |
| 2017 | TABLEAUX | Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. | Jeremy E. Dawson, Rajeev Gor |
| 2016 | CADE | Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. | Jeremy E. Dawson, James Brotherston, Rajeev Gor |
| 2013 | CSL | Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. | Ranald Clouston, Jeremy E. Dawson, Rajeev Gor, Alwen Tiu |
| 2010 | LPAR | Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. | Jeremy E. Dawson, Rajeev Gor |
| 2004 | CSL | A General Theorem on Termination of Rewriting. | Jeremy E. Dawson, Rajeev Gor |
| 1998 | JELIA | A Mechanised Proof System for Relation Algebra using Display Logic. | Jeremy E. Dawson, Rajeev Gor |