TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Event name
TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Start date
06-09-2021
End date
09-09-2021
Location
Birmingham
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gore, Rajeev | A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic | Konferenzbeitrag Inproceedings  | 2021 | |
| 2 | Gore, Rajeev | CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT | Konferenzbeitrag Inproceedings | 2021 | |
| 3 | Gore, Rajeev ; Ramanayake, Revantha | Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq | Konferenzbeitrag Inproceedings | 2021 | |
| 4 | Dalmonte, Tiziano | Terminating Calculi and Countermodels for Constructive Modal Logics | Konferenzbeitrag Inproceedings | 2021 |